Package org.xcsp.modeler.entities
Class CtrEntities
- java.lang.Object
-
- org.xcsp.modeler.entities.CtrEntities
-
public final class CtrEntities extends Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description class
CtrEntities.CtrAlone
class
CtrEntities.CtrAloneDummy
Objects of this class correspond to extreme cases where the constraint is irrelevant (for example, a sum with 0 variable).class
CtrEntities.CtrArray
class
CtrEntities.CtrArrayDummy
Objects of this class correspond to cases where a set of constraints will have to be merged with another one.class
CtrEntities.CtrEntity
-
Field Summary
Fields Modifier and Type Field Description List<CtrEntities.CtrEntity>
allEntities
Map<ICtr,CtrEntities.CtrAlone>
ctrToCtrAlone
Map<ICtr,CtrEntities.CtrArray>
ctrToCtrArray
-
Constructor Summary
Constructors Constructor Description CtrEntities()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description CtrEntities.CtrArray
newCtrArrayEntity(ICtr[] ctrs, boolean dummy, Types.TypeClass... classes)
String
toString()
-
-
-
Field Detail
-
allEntities
public List<CtrEntities.CtrEntity> allEntities
-
ctrToCtrAlone
public Map<ICtr,CtrEntities.CtrAlone> ctrToCtrAlone
-
ctrToCtrArray
public Map<ICtr,CtrEntities.CtrArray> ctrToCtrArray
-
-
Method Detail
-
newCtrArrayEntity
public CtrEntities.CtrArray newCtrArrayEntity(ICtr[] ctrs, boolean dummy, Types.TypeClass... classes)
-
-