Package org.jacop.fz.constraints
package org.jacop.fz.constraints
-
ClassesClassDescriptionGeneration of boolean constraints in flatzincIt collects all int_eq_(reif|imp) constraint to create Channel(Reif|Imply) constraints, if possible.Generation of set constraints in flatzincGeneration of set constraints in flatzincGeneration of set constraints in flatzincGeneration of global constraints in flatzinc.It collects all int_eq_imp constraint to create ChannelImply constraints, if possible.Generation of linear constraints in flatzinc.Generation of linear constraints in flatzincIt collects all int_eq_reif constraint to create ChannelReif constraints, if possible.Generation of set constraints in flatzinc