Searched refs:RightSubVal (Results 1 – 2 of 2) sorted by relevance
112 RightSubVal(RightSubVal) {} in ConjunctionValue()122 BoolValue &getRightSubValue() const { return RightSubVal; } in getRightSubValue()126 BoolValue &RightSubVal; variable134 RightSubVal(RightSubVal) {} in DisjunctionValue()144 BoolValue &getRightSubValue() const { return RightSubVal; } in getRightSubValue()148 BoolValue &RightSubVal; variable175 RightSubVal(RightSubVal) {} in ImplicationValue()185 BoolValue &getRightSubValue() const { return RightSubVal; } in getRightSubValue()189 BoolValue &RightSubVal; variable199 RightSubVal(RightSubVal) {} in BiconditionalValue()[all …]
233 BoolValue *conj(BoolValue *LeftSubVal, BoolValue *RightSubVal) { in conj() argument235 std::make_unique<ConjunctionValue>(*LeftSubVal, *RightSubVal)); in conj()240 BoolValue *disj(BoolValue *LeftSubVal, BoolValue *RightSubVal) { in disj() argument242 std::make_unique<DisjunctionValue>(*LeftSubVal, *RightSubVal)); in disj()253 BoolValue *impl(BoolValue *LeftSubVal, BoolValue *RightSubVal) { in impl() argument255 std::make_unique<ImplicationValue>(*LeftSubVal, *RightSubVal)); in impl()260 BoolValue *iff(BoolValue *LeftSubVal, BoolValue *RightSubVal) { in iff() argument262 std::make_unique<BiconditionalValue>(*LeftSubVal, *RightSubVal)); in iff()