Package org.jacop.fz.constraints
Class GlobalConstraints
java.lang.Object
org.jacop.fz.constraints.GlobalConstraints
- All Implemented Interfaces:
ParserTreeConstants
Generation of global constraints in flatzinc
-
Nested Class Summary
Nested Classes -
Field Summary
FieldsModifier and TypeFieldDescription(package private) ArrayList<GlobalConstraints.Pair>
(package private) Store
(package private) Support
(package private) boolean
(package private) boolean
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 -
Method Summary
Modifier and TypeMethodDescription(package private) boolean
allVarGround
(IntVar[] w) (package private) boolean
(package private) void
gen_count_eq_imp
(SimpleNode node) (package private) void
gen_jacop_alldiff
(SimpleNode node) (package private) void
(package private) void
gen_jacop_among
(SimpleNode node) (package private) void
(package private) void
(package private) void
gen_jacop_atleast
(SimpleNode node) (package private) void
(package private) void
gen_jacop_atmost
(SimpleNode node) (package private) void
(package private) void
(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
(package private) void
(package private) void
(package private) void
(package private) void
(package private) void
(package private) void
(package private) void
gen_jacop_diff2
(SimpleNode node) (package private) void
(package private) void
gen_jacop_disjoint
(SimpleNode node) (package private) void
(package private) void
(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
(package private) void
(package private) void
(package private) void
(package private) void
(package private) void
gen_jacop_knapsack
(SimpleNode node) (package private) void
(package private) void
(package private) void
(package private) void
gen_jacop_maximum
(SimpleNode node) (package private) void
(package private) void
gen_jacop_member
(SimpleNode node) (package private) void
(package private) void
gen_jacop_minimum
(SimpleNode node) (package private) void
(package private) void
(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
(package private) void
gen_jacop_softgcc
(SimpleNode node) (package private) void
gen_jacop_stretch
(SimpleNode node) (package private) void
(package private) void
(package private) void
(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 Details
-
store
Store store -
support
Support support -
useDisjunctions
boolean useDisjunctions -
useCumulativeUnary
boolean useCumulativeUnary -
duplicates
ArrayList<GlobalConstraints.Pair> duplicates
-
-
Constructor Details
-
GlobalConstraints
-
-
Method Details
-
gen_jacop_cumulative
-
impliedCumulativeUnaryConstraints
-
impliedDisjunctionConstraints
-
gen_jacop_circuit
-
gen_jacop_subcircuit
-
gen_jacop_alldiff
-
gen_jacop_softalldiff
-
gen_jacop_softgcc
-
gen_jacop_alldistinct
-
gen_jacop_among_var
-
gen_jacop_among
-
gen_jacop_gcc
-
gen_jacop_global_cardinality_closed
-
gen_jacop_global_cardinality_low_up_closed
-
varsContain
-
gen_jacop_diff2_strict
-
gen_jacop_diff2
-
gen_jacop_list_diff2
-
gen_jacop_count
-
gen_jacop_count_reif
-
gen_count_eq_imp
-
gen_jacop_count_bounds
-
gen_jacop_count_values
-
gen_jacop_count_values_bounds
-
gen_jacop_count_var
-
gen_jacop_count_var_reif
-
gen_jacop_atleast
-
gen_jacop_atleast_reif
-
gen_jacop_atmost
-
gen_jacop_atmost_reif
-
gen_jacop_nvalue
-
gen_jacop_minimum_arg_int
-
gen_jacop_minimum
-
gen_jacop_maximum_arg_int
-
gen_jacop_maximum
-
gen_jacop_member
-
gen_jacop_member_reif
-
gen_jacop_table_int
-
gen_jacop_assignment
-
gen_jacop_regular
-
gen_jacop_knapsack
-
gen_jacop_sequence
-
gen_jacop_stretch
-
gen_jacop_disjoint
-
gen_jacop_networkflow
-
gen_jacop_lex_less_int
-
gen_jacop_lex_lesseq_int
-
gen_jacop_value_precede_int
-
gen_jacop_bin_packing
-
gen_jacop_float_maximum
-
gen_jacop_float_minimum
-
gen_jacop_geost
-
gen_jacop_geost_bb
-
gen_jacop_if_then_else_int
-
gen_jacop_if_then_else_float
-
gen_jacop_if_then_else_set
-
gen_jacop_channel
-
allVarOne
-
allVarGround
-
uniqueIndex
-
removeInfeasibleTuples
int[][] removeInfeasibleTuples(int[][] t)
-