Searched refs:getFoldExpandedConstraint (Results 1 – 2 of 2) sorted by relevance
1456 S, N.getFoldExpandedConstraint()->Constraint, Concept, MLTAL, in substituteParameterMappings()1541 Other.getFoldExpandedConstraint()->Kind, in NormalizedConstraint()1542 NormalizedConstraint(C, Other.getFoldExpandedConstraint()->Constraint), in NormalizedConstraint()1543 Other.getFoldExpandedConstraint()->Pattern); in NormalizedConstraint()1845 NormalizedConstraint::getFoldExpandedConstraint() const { in getFoldExpandedConstraint() function in NormalizedConstraint1983 return {{find(NC.getFoldExpandedConstraint())}}; in Normalize()
113 FoldExpandedConstraint *getFoldExpandedConstraint() const;