Searched defs:LeftSubVal (Results 1 – 1 of 1) sorted by relevance
135 explicit ConjunctionValue(BoolValue &LeftSubVal, BoolValue &RightSubVal) in ConjunctionValue()157 explicit DisjunctionValue(BoolValue &LeftSubVal, BoolValue &RightSubVal) in DisjunctionValue()198 explicit ImplicationValue(BoolValue &LeftSubVal, BoolValue &RightSubVal) in ImplicationValue()222 explicit BiconditionalValue(BoolValue &LeftSubVal, BoolValue &RightSubVal) in BiconditionalValue()