Searched refs:getRightSubValue (Results 1 – 5 of 5) sorted by relevance
210 UnprocessedSubVals.push(&C->getRightSubValue()); in buildBooleanFormula()216 UnprocessedSubVals.push(&D->getRightSubValue()); in buildBooleanFormula()227 UnprocessedSubVals.push(&I->getRightSubValue()); in buildBooleanFormula()233 UnprocessedSubVals.push(&B->getRightSubValue()); in buildBooleanFormula()281 const Variable RightSubVar = GetVar(&C->getRightSubValue()); in buildBooleanFormula()302 UnprocessedSubVals.push(&C->getRightSubValue()); in buildBooleanFormula()306 const Variable RightSubVar = GetVar(&D->getRightSubValue()); in buildBooleanFormula()327 UnprocessedSubVals.push(&D->getRightSubValue()); in buildBooleanFormula()342 const Variable RightSubVar = GetVar(&I->getRightSubValue()); in buildBooleanFormula()354 UnprocessedSubVals.push(&I->getRightSubValue()); in buildBooleanFormula()[all …]
112 auto R = debugString(C.getRightSubValue(), Depth + 1); in debugString()119 auto R = debugString(D.getRightSubValue(), Depth + 1); in debugString()131 auto R = debugString(IV.getRightSubValue(), Depth + 1); in debugString()138 auto R = debugString(BV.getRightSubValue(), Depth + 1); in debugString()
278 substituteBoolValue(Disjunct.getRightSubValue(), SubstitutionsCache); in substituteBoolValue()287 substituteBoolValue(Conjunct.getRightSubValue(), SubstitutionsCache); in substituteBoolValue()296 substituteBoolValue(IV.getRightSubValue(), SubstitutionsCache); in substituteBoolValue()305 substituteBoolValue(BV.getRightSubValue(), SubstitutionsCache); in substituteBoolValue()
60 BoolValue &Right = V.getRightSubValue(); in unpackBinaryBoolValue()
147 BoolValue &getRightSubValue() const { return RightSubVal; } in getRightSubValue() function169 BoolValue &getRightSubValue() const { return RightSubVal; } in getRightSubValue() function210 BoolValue &getRightSubValue() const { return RightSubVal; } in getRightSubValue() function234 BoolValue &getRightSubValue() const { return RightSubVal; } in getRightSubValue() function