Searched defs:LeftSubVal (Results 1 – 2 of 2) sorted by relevance
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()
110 explicit ConjunctionValue(BoolValue &LeftSubVal, BoolValue &RightSubVal) in ConjunctionValue()132 explicit DisjunctionValue(BoolValue &LeftSubVal, BoolValue &RightSubVal) in DisjunctionValue()173 explicit ImplicationValue(BoolValue &LeftSubVal, BoolValue &RightSubVal) in ImplicationValue()197 explicit BiconditionalValue(BoolValue &LeftSubVal, BoolValue &RightSubVal) in BiconditionalValue()