Searched refs:getSubVal (Results 1 – 5 of 5) sorted by relevance
221 UnprocessedSubVals.push(&N->getSubVal()); in buildBooleanFormula()325 const Variable SubVar = GetVar(&N->getSubVal()); in buildBooleanFormula()334 UnprocessedSubVals.push(&N->getSubVal()); in buildBooleanFormula()
96 S = formatv("(not\n{0})", debugString(N.getSubVal(), Depth + 1)); in debugString()
250 auto &Sub = substituteBoolValue(Negation.getSubVal(), SubstitutionsCache); in substituteBoolValue()
162 BoolValue &getSubVal() const { return SubVal; } in getSubVal() function
2837 EXPECT_EQ(&BarVal->getSubVal(), FooVal); in TEST()