Package org.jacop.fz
Class DefaultSearchVars
- java.lang.Object
-
- org.jacop.fz.DefaultSearchVars
-
public class DefaultSearchVars extends java.lang.ObjectThe class gathers variables and array variables for default or complementary search. Two methods are supported. One gathers all output variables and the second one all non-introduced variables and arrays.- Version:
- 4.8
-
-
Field Summary
Fields Modifier and Type Field Description (package private) Var[]bool_search_variables(package private) Tablesdictionaryprivate java.util.Comparator<Var>domainSizeComparator(package private) FloatVar[]float_search_variables(package private) Var[]int_search_variables(package private) Var[]set_search_variables
-
Constructor Summary
Constructors Constructor Description DefaultSearchVars(Tables dict)It constructs the class for collecting default and complementary search variables.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (package private) voiddefaultVars()It collects all variables that were identified as search variables by VariablesParameters class during parsing variable definitions.(package private) Var[]getBoolVars()(package private) FloatVar[]getFloatVars()(package private) Var[]getIntVars()(package private) Var[]getSetVars()(package private) voidoutputVars()It collects all output variables for search.java.lang.StringtoString()
-
-
-
Field Detail
-
int_search_variables
Var[] int_search_variables
-
set_search_variables
Var[] set_search_variables
-
bool_search_variables
Var[] bool_search_variables
-
float_search_variables
FloatVar[] float_search_variables
-
dictionary
Tables dictionary
-
domainSizeComparator
private java.util.Comparator<Var> domainSizeComparator
-
-
Constructor Detail
-
DefaultSearchVars
public DefaultSearchVars(Tables dict)
It constructs the class for collecting default and complementary search variables.- Parameters:
dict- tables with model variables.
-
-
Method Detail
-
outputVars
void outputVars()
It collects all output variables for search.
-
defaultVars
void defaultVars()
It collects all variables that were identified as search variables by VariablesParameters class during parsing variable definitions.
-
getIntVars
Var[] getIntVars()
-
getSetVars
Var[] getSetVars()
-
getBoolVars
Var[] getBoolVars()
-
getFloatVars
FloatVar[] getFloatVars()
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
-