| applyConstraints(Varnode *vn, int4 type, const CircleRange &range, PcodeOp *cbranch) | ghidra::ValueSetSolver | private |
| beginValueSetReads(void) const | ghidra::ValueSetSolver | inline |
| beginValueSets(void) const | ghidra::ValueSetSolver | inline |
| checkRelativeConstant(Varnode *vn, int4 &typeCode, uintb &value) const | ghidra::ValueSetSolver | private |
| component(ValueSet *vertex, Partition &part) | ghidra::ValueSetSolver | private |
| constraintsFromCBranch(PcodeOp *cbranch) | ghidra::ValueSetSolver | private |
| constraintsFromPath(int4 type, CircleRange &lift, Varnode *startVn, Varnode *endVn, PcodeOp *cbranch) | ghidra::ValueSetSolver | private |
| depthFirstIndex | ghidra::ValueSetSolver | private |
| endValueSetReads(void) const | ghidra::ValueSetSolver | inline |
| endValueSets(void) const | ghidra::ValueSetSolver | inline |
| establishTopologicalOrder(void) | ghidra::ValueSetSolver | private |
| establishValueSets(const vector< Varnode * > &sinks, const vector< PcodeOp * > &reads, Varnode *stackReg, bool indirectAsCopy) | ghidra::ValueSetSolver | |
| generateConstraints(const vector< Varnode * > &worklist, const vector< PcodeOp * > &reads) | ghidra::ValueSetSolver | private |
| generateFalseEquation(Varnode *vn, PcodeOp *op, int4 slot, int4 type, const CircleRange &range) | ghidra::ValueSetSolver | private |
| generateRelativeConstraint(PcodeOp *compOp, PcodeOp *cbranch) | ghidra::ValueSetSolver | private |
| generateTrueEquation(Varnode *vn, PcodeOp *op, int4 slot, int4 type, const CircleRange &range) | ghidra::ValueSetSolver | private |
| getNumIterations(void) const | ghidra::ValueSetSolver | inline |
| getValueSetRead(const SeqNum &seq) | ghidra::ValueSetSolver | inline |
| maxIterations | ghidra::ValueSetSolver | private |
| newValueSet(Varnode *vn, int4 tCode) | ghidra::ValueSetSolver | private |
| nodeStack | ghidra::ValueSetSolver | private |
| numIterations | ghidra::ValueSetSolver | private |
| orderPartition | ghidra::ValueSetSolver | private |
| partitionPrepend(ValueSet *vertex, Partition &part) | ghidra::ValueSetSolver | inlineprivatestatic |
| partitionPrepend(const Partition &head, Partition &part) | ghidra::ValueSetSolver | inlineprivatestatic |
| partitionSurround(Partition &part) | ghidra::ValueSetSolver | private |
| readNodes | ghidra::ValueSetSolver | private |
| recordStorage | ghidra::ValueSetSolver | private |
| rootNodes | ghidra::ValueSetSolver | private |
| solve(int4 max, Widener &widener) | ghidra::ValueSetSolver | |
| valueNodes | ghidra::ValueSetSolver | private |
| visit(ValueSet *vertex, Partition &part) | ghidra::ValueSetSolver | private |