Package org.xcsp.modeler.entities
Class VarEntities.VarArray
- java.lang.Object
-
- org.xcsp.modeler.entities.ModelingEntity
-
- org.xcsp.modeler.entities.VarEntities.VarEntity
-
- org.xcsp.modeler.entities.VarEntities.VarArray
-
- Enclosing class:
- VarEntities
public abstract class VarEntities.VarArray extends VarEntities.VarEntity
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class org.xcsp.modeler.entities.ModelingEntity
ModelingEntity.TagDummy
-
-
Constructor Summary
Constructors Modifier Constructor Description protected
VarArray(String id, int[] sizes, String note, Types.TypeClass[] classes, Object vars)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected String
compactFormOf(IVar[] t)
String
getEmptyStringSize()
String
getStringSize()
Types.TypeVar
getType()
protected void
updateRanges(IVar[] t)
-
Methods inherited from class org.xcsp.modeler.entities.ModelingEntity
id, note, nullBasicAttributes, tag, tag
-
-
-
-
Constructor Detail
-
VarArray
protected VarArray(String id, int[] sizes, String note, Types.TypeClass[] classes, Object vars)
-
-
Method Detail
-
getStringSize
public String getStringSize()
-
getEmptyStringSize
public String getEmptyStringSize()
-
getType
public Types.TypeVar getType()
- Specified by:
getType
in classVarEntities.VarEntity
-
updateRanges
protected void updateRanges(IVar[] t)
-
-