Searched refs:CkConstr (Results 1 – 6 of 6) sorted by relevance
32 attributes[Attributes::CkConstr]=""; in Constraint()681 attributes[Attributes::CkConstr]=""; in getCodeDefinition()688 attrib=Attributes::CkConstr; in getCodeDefinition()
5072 if(attribs[Attributes::Type]==Attributes::CkConstr) in createConstraint()
73 CkConstr("ck-constr"), variable
88 CkConstr,
441 if(attribs[Attributes::Type]!=Attributes::CkConstr || in createConstraints()442 (attribs[Attributes::Type]==Attributes::CkConstr && in createConstraints()2140 else if(attribs[Attributes::Type]==Attributes::CkConstr) in createConstraint()
752 {Attributes::CkConstr, ConstraintType(ConstraintType::Check)}, in formatConstraintAttribs()