Package org.xcsp.modeler.definitions
Class DefXCSP
- java.lang.Object
-
- org.xcsp.modeler.definitions.DefXCSP
-
public class DefXCSP extends Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description class
DefXCSP.Son
-
Field Summary
Fields Modifier and Type Field Description List<AbstractMap.SimpleEntry<String,Object>>
attributes
Attributes associated with the constraint.Map<String,Object>
map
String
name
Name of the element (constraint or objective).boolean
possibleSimplification
List<DefXCSP.Son>
sons
Parameters of the constraint, seen as children (sons) of the constraint.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description DefXCSP
add(String... params)
DefXCSP
addConditional(String param)
DefXCSP
addListOrLifted()
DefXCSP
addOne(String key)
DefXCSP
addSon(String name, Object content)
DefXCSP
addSon(String name, Object content, String attName, Object attValue)
DefXCSP
addSon(String name, Object content, String attName1, Object attValue1, String attName2, Object attValue2)
int[]
differencesWith(DefXCSP def)
String
toString()
-
-
-
Field Detail
-
name
public String name
Name of the element (constraint or objective). For example, this may beallDifferent
,regular
, orextension
.
-
attributes
public List<AbstractMap.SimpleEntry<String,Object>> attributes
Attributes associated with the constraint. Some of them can be useful for defining the semantics.
-
sons
public List<DefXCSP.Son> sons
Parameters of the constraint, seen as children (sons) of the constraint.
-
possibleSimplification
public boolean possibleSimplification
-
-