Searched defs:Conjunction (Results 1 – 2 of 2) sorted by relevance
44 Conjunction, enumerator
1175 auto Conjunction = fromConstraintExpr(S, D, E[0]); in fromConstraintExprs() local