Searched defs:RightSubVal (Results 1 – 2 of 2) sorted by relevance
110 explicit ConjunctionValue(BoolValue &LeftSubVal, BoolValue &RightSubVal) in ConjunctionValue()126 BoolValue &RightSubVal; variable132 explicit DisjunctionValue(BoolValue &LeftSubVal, BoolValue &RightSubVal) in DisjunctionValue()148 BoolValue &RightSubVal; variable173 explicit ImplicationValue(BoolValue &LeftSubVal, BoolValue &RightSubVal) in ImplicationValue()189 BoolValue &RightSubVal; variable197 explicit BiconditionalValue(BoolValue &LeftSubVal, BoolValue &RightSubVal) in BiconditionalValue()213 BoolValue &RightSubVal; variable
233 BoolValue *conj(BoolValue *LeftSubVal, BoolValue *RightSubVal) { in conj()240 BoolValue *disj(BoolValue *LeftSubVal, BoolValue *RightSubVal) { in disj()253 BoolValue *impl(BoolValue *LeftSubVal, BoolValue *RightSubVal) { in impl()260 BoolValue *iff(BoolValue *LeftSubVal, BoolValue *RightSubVal) { in iff()