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.

Constructor Summary

Constructors

Constructor	Description
DefXCSP(String name)
DefXCSP(String name, boolean possibleSimplification, Map<String,Object> map)
DefXCSP(String name, Map<String,Object> map)

Method Summary

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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

name

public String name

Name of the element (constraint or objective). For example, this may be allDifferent, regular, or extension.

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

map

public Map<String,Object> map

Constructor Detail

DefXCSP

public DefXCSP(String name,
               boolean possibleSimplification,
               Map<String,Object> map)

DefXCSP

public DefXCSP(String name,
               Map<String,Object> map)

DefXCSP

public DefXCSP(String name)

Method Detail

addSon

public DefXCSP addSon(String name,
                      Object content)

addSon

public DefXCSP addSon(String name,
                      Object content,
                      String attName,
                      Object attValue)

addSon

public DefXCSP addSon(String name,
                      Object content,
                      String attName1,
                      Object attValue1,
                      String attName2,
                      Object attValue2)

add

public DefXCSP add(String... params)

addConditional

public DefXCSP addConditional(String param)

addOne

public DefXCSP addOne(String key)

addListOrLifted

public DefXCSP addListOrLifted()

differencesWith

public int[] differencesWith(DefXCSP def)

toString

public String toString()

Overrides:

toString in class Object