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

Modifier and Type	Method	Description
CtrEntities.CtrArray	newCtrArrayEntity(ICtr[] ctrs, boolean dummy, Types.TypeClass... classes)
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

allEntities

public List<CtrEntities.CtrEntity> allEntities

ctrToCtrAlone

public Map<ICtr,CtrEntities.CtrAlone> ctrToCtrAlone

ctrToCtrArray

public Map<ICtr,CtrEntities.CtrArray> ctrToCtrArray

Constructor Detail

CtrEntities

public CtrEntities()

Method Detail

newCtrArrayEntity

public CtrEntities.CtrArray newCtrArrayEntity(ICtr[] ctrs,
                                              boolean dummy,
                                              Types.TypeClass... classes)

toString

public String toString()

Overrides:

toString in class Object