Package org.jacop.fz.constraints
Class GlobalConstraints
- java.lang.Object
-
- org.jacop.fz.constraints.GlobalConstraints
-
- All Implemented Interfaces:
ParserTreeConstants
class GlobalConstraints extends java.lang.Object implements ParserTreeConstants
Generation of global constraints in flatzinc
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description private static class
GlobalConstraints.Pair
-
Field Summary
Fields Modifier and Type Field Description (package private) java.util.ArrayList<GlobalConstraints.Pair>
duplicates
(package private) Store
store
(package private) Support
support
(package private) boolean
useCumulativeUnary
(package private) boolean
useDisjunctions
-
Fields inherited from interface org.jacop.fz.ParserTreeConstants
JJTANNEXPR, JJTANNOTATION, JJTARRAYLITERAL, JJTBOOLTIEXPRTAIL, JJTCONSTELEM, JJTCONSTRAINT, JJTCONSTRAINTITEMS, JJTFLOATTIEXPRTAIL, JJTINTFLATEXPR, JJTINTLITERALS, JJTINTTIEXPRTAIL, JJTMODEL, JJTMODELEND, jjtNodeName, JJTSCALARFLATEXPR, JJTSETLITERAL, JJTSETTIEXPRTAIL, JJTSOLVEEXPR, JJTSOLVEITEM, JJTSOLVEKIND, JJTVARDECLITEM, JJTVARDECLITEMS, JJTVARIABLEEXPR, JJTVOID
-
-
Constructor Summary
Constructors Constructor Description GlobalConstraints(Support support)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (package private) boolean
allVarGround(IntVar[] w)
(package private) boolean
allVarOne(IntVar[] w)
(package private) void
gen_count_eq_imp(SimpleNode node)
(package private) void
gen_jacop_alldiff(SimpleNode node)
(package private) void
gen_jacop_alldistinct(SimpleNode node)
(package private) void
gen_jacop_among(SimpleNode node)
(package private) void
gen_jacop_among_var(SimpleNode node)
(package private) void
gen_jacop_assignment(SimpleNode node)
(package private) void
gen_jacop_atleast(SimpleNode node)
(package private) void
gen_jacop_atleast_reif(SimpleNode node)
(package private) void
gen_jacop_atmost(SimpleNode node)
(package private) void
gen_jacop_atmost_reif(SimpleNode node)
(package private) void
gen_jacop_bin_packing(SimpleNode node)
(package private) void
gen_jacop_channel(SimpleNode node)
(package private) void
gen_jacop_circuit(SimpleNode node)
(package private) void
gen_jacop_count(SimpleNode node)
(package private) void
gen_jacop_count_bounds(SimpleNode node)
(package private) void
gen_jacop_count_reif(SimpleNode node)
(package private) void
gen_jacop_count_values(SimpleNode node)
(package private) void
gen_jacop_count_values_bounds(SimpleNode node)
(package private) void
gen_jacop_count_var(SimpleNode node)
(package private) void
gen_jacop_count_var_reif(SimpleNode node)
(package private) void
gen_jacop_cumulative(SimpleNode node)
(package private) void
gen_jacop_diff2(SimpleNode node)
(package private) void
gen_jacop_diff2_strict(SimpleNode node)
(package private) void
gen_jacop_disjoint(SimpleNode node)
(package private) void
gen_jacop_float_maximum(SimpleNode node)
(package private) void
gen_jacop_float_minimum(SimpleNode node)
(package private) void
gen_jacop_gcc(SimpleNode node)
(package private) void
gen_jacop_geost(SimpleNode node)
(package private) void
gen_jacop_geost_bb(SimpleNode node)
(package private) void
gen_jacop_global_cardinality_closed(SimpleNode node)
(package private) void
gen_jacop_global_cardinality_low_up_closed(SimpleNode node)
(package private) void
gen_jacop_if_then_else_float(SimpleNode node)
(package private) void
gen_jacop_if_then_else_int(SimpleNode node)
(package private) void
gen_jacop_if_then_else_set(SimpleNode node)
(package private) void
gen_jacop_knapsack(SimpleNode node)
(package private) void
gen_jacop_lex_less_int(SimpleNode node)
(package private) void
gen_jacop_lex_lesseq_int(SimpleNode node)
(package private) void
gen_jacop_list_diff2(SimpleNode node)
(package private) void
gen_jacop_maximum(SimpleNode node)
(package private) void
gen_jacop_maximum_arg_int(SimpleNode node)
(package private) void
gen_jacop_member(SimpleNode node)
(package private) void
gen_jacop_member_reif(SimpleNode node)
(package private) void
gen_jacop_minimum(SimpleNode node)
(package private) void
gen_jacop_minimum_arg_int(SimpleNode node)
(package private) void
gen_jacop_networkflow(SimpleNode node)
(package private) void
gen_jacop_nvalue(SimpleNode node)
(package private) void
gen_jacop_regular(SimpleNode node)
(package private) void
gen_jacop_sequence(SimpleNode node)
(package private) void
gen_jacop_softalldiff(SimpleNode node)
(package private) void
gen_jacop_softgcc(SimpleNode node)
(package private) void
gen_jacop_stretch(SimpleNode node)
(package private) void
gen_jacop_subcircuit(SimpleNode node)
(package private) void
gen_jacop_table_int(SimpleNode node)
(package private) void
gen_jacop_value_precede_int(SimpleNode node)
(package private) void
impliedCumulativeUnaryConstraints(IntVar[] s, IntVar[] d, IntVar[] r, IntVar b)
(package private) void
impliedDisjunctionConstraints(IntVar[] s, IntVar[] d, IntVar[] r, IntVar b)
(package private) int[][]
removeInfeasibleTuples(int[][] t)
(package private) int[]
uniqueIndex(IntVar[] vs)
(package private) boolean
varsContain(IntVar[] x, int e)
-
-
-
Field Detail
-
store
Store store
-
support
Support support
-
useDisjunctions
boolean useDisjunctions
-
useCumulativeUnary
boolean useCumulativeUnary
-
duplicates
java.util.ArrayList<GlobalConstraints.Pair> duplicates
-
-
Constructor Detail
-
GlobalConstraints
public GlobalConstraints(Support support)
-
-
Method Detail
-
gen_jacop_cumulative
void gen_jacop_cumulative(SimpleNode node)
-
impliedCumulativeUnaryConstraints
void impliedCumulativeUnaryConstraints(IntVar[] s, IntVar[] d, IntVar[] r, IntVar b)
-
impliedDisjunctionConstraints
void impliedDisjunctionConstraints(IntVar[] s, IntVar[] d, IntVar[] r, IntVar b)
-
gen_jacop_circuit
void gen_jacop_circuit(SimpleNode node)
-
gen_jacop_subcircuit
void gen_jacop_subcircuit(SimpleNode node)
-
gen_jacop_alldiff
void gen_jacop_alldiff(SimpleNode node)
-
gen_jacop_softalldiff
void gen_jacop_softalldiff(SimpleNode node)
-
gen_jacop_softgcc
void gen_jacop_softgcc(SimpleNode node)
-
gen_jacop_alldistinct
void gen_jacop_alldistinct(SimpleNode node)
-
gen_jacop_among_var
void gen_jacop_among_var(SimpleNode node)
-
gen_jacop_among
void gen_jacop_among(SimpleNode node)
-
gen_jacop_gcc
void gen_jacop_gcc(SimpleNode node)
-
gen_jacop_global_cardinality_closed
void gen_jacop_global_cardinality_closed(SimpleNode node)
-
gen_jacop_global_cardinality_low_up_closed
void gen_jacop_global_cardinality_low_up_closed(SimpleNode node)
-
varsContain
boolean varsContain(IntVar[] x, int e)
-
gen_jacop_diff2_strict
void gen_jacop_diff2_strict(SimpleNode node)
-
gen_jacop_diff2
void gen_jacop_diff2(SimpleNode node)
-
gen_jacop_list_diff2
void gen_jacop_list_diff2(SimpleNode node)
-
gen_jacop_count
void gen_jacop_count(SimpleNode node)
-
gen_jacop_count_reif
void gen_jacop_count_reif(SimpleNode node)
-
gen_count_eq_imp
void gen_count_eq_imp(SimpleNode node)
-
gen_jacop_count_bounds
void gen_jacop_count_bounds(SimpleNode node)
-
gen_jacop_count_values
void gen_jacop_count_values(SimpleNode node)
-
gen_jacop_count_values_bounds
void gen_jacop_count_values_bounds(SimpleNode node)
-
gen_jacop_count_var
void gen_jacop_count_var(SimpleNode node)
-
gen_jacop_count_var_reif
void gen_jacop_count_var_reif(SimpleNode node)
-
gen_jacop_atleast
void gen_jacop_atleast(SimpleNode node)
-
gen_jacop_atleast_reif
void gen_jacop_atleast_reif(SimpleNode node)
-
gen_jacop_atmost
void gen_jacop_atmost(SimpleNode node)
-
gen_jacop_atmost_reif
void gen_jacop_atmost_reif(SimpleNode node)
-
gen_jacop_nvalue
void gen_jacop_nvalue(SimpleNode node)
-
gen_jacop_minimum_arg_int
void gen_jacop_minimum_arg_int(SimpleNode node)
-
gen_jacop_minimum
void gen_jacop_minimum(SimpleNode node)
-
gen_jacop_maximum_arg_int
void gen_jacop_maximum_arg_int(SimpleNode node)
-
gen_jacop_maximum
void gen_jacop_maximum(SimpleNode node)
-
gen_jacop_member
void gen_jacop_member(SimpleNode node)
-
gen_jacop_member_reif
void gen_jacop_member_reif(SimpleNode node)
-
gen_jacop_table_int
void gen_jacop_table_int(SimpleNode node)
-
gen_jacop_assignment
void gen_jacop_assignment(SimpleNode node)
-
gen_jacop_regular
void gen_jacop_regular(SimpleNode node)
-
gen_jacop_knapsack
void gen_jacop_knapsack(SimpleNode node)
-
gen_jacop_sequence
void gen_jacop_sequence(SimpleNode node)
-
gen_jacop_stretch
void gen_jacop_stretch(SimpleNode node)
-
gen_jacop_disjoint
void gen_jacop_disjoint(SimpleNode node)
-
gen_jacop_networkflow
void gen_jacop_networkflow(SimpleNode node)
-
gen_jacop_lex_less_int
void gen_jacop_lex_less_int(SimpleNode node)
-
gen_jacop_lex_lesseq_int
void gen_jacop_lex_lesseq_int(SimpleNode node)
-
gen_jacop_value_precede_int
void gen_jacop_value_precede_int(SimpleNode node)
-
gen_jacop_bin_packing
void gen_jacop_bin_packing(SimpleNode node)
-
gen_jacop_float_maximum
void gen_jacop_float_maximum(SimpleNode node)
-
gen_jacop_float_minimum
void gen_jacop_float_minimum(SimpleNode node)
-
gen_jacop_geost
void gen_jacop_geost(SimpleNode node)
-
gen_jacop_geost_bb
void gen_jacop_geost_bb(SimpleNode node)
-
gen_jacop_if_then_else_int
void gen_jacop_if_then_else_int(SimpleNode node)
-
gen_jacop_if_then_else_float
void gen_jacop_if_then_else_float(SimpleNode node)
-
gen_jacop_if_then_else_set
void gen_jacop_if_then_else_set(SimpleNode node)
-
gen_jacop_channel
void gen_jacop_channel(SimpleNode node)
-
allVarOne
boolean allVarOne(IntVar[] w)
-
allVarGround
boolean allVarGround(IntVar[] w)
-
uniqueIndex
int[] uniqueIndex(IntVar[] vs)
-
removeInfeasibleTuples
int[][] removeInfeasibleTuples(int[][] t)
-
-