Package org.jacop.fz
Class DefaultSearchVars
- java.lang.Object
-
- org.jacop.fz.DefaultSearchVars
-
public class DefaultSearchVars extends java.lang.Object
The 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) Tables
dictionary
private 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) void
defaultVars()
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) void
outputVars()
It collects all output variables for search.java.lang.String
toString()
-
-
-
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:
toString
in classjava.lang.Object
-
-