Package org.xcsp.modeler.entities
Class CtrEntities.CtrArray
- java.lang.Object
-
- org.xcsp.modeler.entities.ModelingEntity
-
- org.xcsp.modeler.entities.CtrEntities.CtrEntity
-
- org.xcsp.modeler.entities.CtrEntities.CtrArray
-
- Direct Known Subclasses:
CtrEntities.CtrArrayDummy
- Enclosing class:
- CtrEntities
public class CtrEntities.CtrArray extends CtrEntities.CtrEntity
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class org.xcsp.modeler.entities.ModelingEntity
ModelingEntity.TagDummy
-
-
Field Summary
Fields Modifier and Type Field Description ICtr[]
ctrs
List<VarEntities.VarEntity>
varEntitiessSubjectToTags
while managing a loop (or a block), some variables and arrays of variables can be defined internally to this loop.-
Fields inherited from class org.xcsp.modeler.entities.ModelingEntity
classes, id, note
-
-
Constructor Summary
Constructors Constructor Description CtrArray(ICtr[] ctrs, Types.TypeClass... classes)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description CtrEntities.CtrArray
append(CtrEntities.CtrArray ca)
CtrEntities.CtrArray
tag(Types.TypeClass... classes)
CtrEntities.CtrEntity
violationCost(int violationCost)
-
Methods inherited from class org.xcsp.modeler.entities.ModelingEntity
id, note, nullBasicAttributes, tag
-
-
-
-
Field Detail
-
ctrs
public ICtr[] ctrs
-
varEntitiessSubjectToTags
public List<VarEntities.VarEntity> varEntitiessSubjectToTags
while managing a loop (or a block), some variables and arrays of variables can be defined internally to this loop. If a tag applies to the loop, the variables and arrays of variables must also be tagged. This list stores the concerned var entities.
-
-
Constructor Detail
-
CtrArray
public CtrArray(ICtr[] ctrs, Types.TypeClass... classes)
-
-
Method Detail
-
violationCost
public CtrEntities.CtrEntity violationCost(int violationCost)
- Specified by:
violationCost
in classCtrEntities.CtrEntity
-
append
public CtrEntities.CtrArray append(CtrEntities.CtrArray ca)
-
tag
public CtrEntities.CtrArray tag(Types.TypeClass... classes)
- Overrides:
tag
in classModelingEntity
-
-