Package org.xcsp.modeler.entities
Class VarEntities
- java.lang.Object
-
- org.xcsp.modeler.entities.VarEntities
-
public final class VarEntities extends Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description class
VarEntities.VarAlone
class
VarEntities.VarArray
class
VarEntities.VarEntity
-
Field Summary
Fields Modifier and Type Field Description List<VarEntities.VarEntity>
allEntities
Map<VarEntities.VarEntity,Integer>
buildTimes
List<VarEntities.VarAlone>
varAlones
List<VarEntities.VarArray>
varArrays
Map<IVar,VarEntities.VarAlone>
varToVarAlone
Map<IVar,VarEntities.VarArray>
varToVarArray
-
Constructor Summary
Constructors Constructor Description VarEntities(ProblemIMP imp)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description VarEntities.VarArray
buildVarArray(String id, Size size, Object vars, String note, Types.TypeClass... classes)
String
compact(IVar[] vars)
String[]
compact(IVar[][] vars)
String
compactMatrix(IVar[][] matrix)
String
compactOrdered(IVar[] vars)
String[]
compactOrdered(IVar[][] vars)
void
newVarAloneEntity(String id, IVar var, String note, Types.TypeClass... classes)
void
newVarArrayEntity(String id, Size size, Object vars, String note, Types.TypeClass... classes)
int
nVarsIn(String s)
-
-
-
Field Detail
-
allEntities
public List<VarEntities.VarEntity> allEntities
-
varAlones
public List<VarEntities.VarAlone> varAlones
-
varArrays
public List<VarEntities.VarArray> varArrays
-
varToVarAlone
public Map<IVar,VarEntities.VarAlone> varToVarAlone
-
varToVarArray
public Map<IVar,VarEntities.VarArray> varToVarArray
-
buildTimes
public Map<VarEntities.VarEntity,Integer> buildTimes
-
-
Constructor Detail
-
VarEntities
public VarEntities(ProblemIMP imp)
-
-
Method Detail
-
newVarAloneEntity
public void newVarAloneEntity(String id, IVar var, String note, Types.TypeClass... classes)
-
buildVarArray
public VarEntities.VarArray buildVarArray(String id, Size size, Object vars, String note, Types.TypeClass... classes)
-
newVarArrayEntity
public void newVarArrayEntity(String id, Size size, Object vars, String note, Types.TypeClass... classes)
-
nVarsIn
public int nVarsIn(String s)
-
-