Searched defs:NormalizedConstraint (Results 1 – 1 of 1) sorted by relevance
93 NormalForm makeCNF(const NormalizedConstraint &Normalized); in NormalizedConstraint() argument 99 NormalForm makeDNF(const NormalizedConstraint &Normalized); in NormalizedConstraint() argument 81 struct NormalizedConstraint { global() struct 87 CompoundConstraintNormalizedConstraint global() argument 92 NormalizedConstraintNormalizedConstraint NormalizedConstraint() argument 110 NormalizedConstraintNormalizedConstraint NormalizedConstraint() argument 114 operatorNormalizedConstraint global() argument 130 getLHSNormalizedConstraint getLHS() argument 135 getRHSNormalizedConstraint getRHS() argument 147 getAtomicConstraintNormalizedConstraint global() argument [all...]