Searched refs:getFoldExpandedConstraint (Results 1 – 2 of 2) sorted by relevance
1444 S, N.getFoldExpandedConstraint()->Constraint, Concept, MLTAL, in substituteParameterMappings()1528 Other.getFoldExpandedConstraint()->Kind, in NormalizedConstraint()1529 NormalizedConstraint(C, Other.getFoldExpandedConstraint()->Constraint), in NormalizedConstraint()1530 Other.getFoldExpandedConstraint()->Pattern); in NormalizedConstraint()1691 return {{Normalized.getFoldExpandedConstraint()}}; in makeCNF()1723 return {{Normalized.getFoldExpandedConstraint()}}; in makeDNF()
157 FoldExpandedConstraint *getFoldExpandedConstraint() const { in getFoldExpandedConstraint() function