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

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)

Methods inherited from class java.lang.Object

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

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)

compact

public String compact(IVar[] vars)

compactOrdered

public String compactOrdered(IVar[] vars)

compact

public String[] compact(IVar[][] vars)

compactOrdered

public String[] compactOrdered(IVar[][] vars)

compactMatrix

public String compactMatrix(IVar[][] matrix)

nVarsIn

public int nVarsIn(String s)