Package org.jacop.fz.constraints

Class LinearConstraints

java.lang.Object

org.jacop.fz.constraints.LinearConstraints

All Implemented Interfaces:

ParserTreeConstants

class LinearConstraints
extends java.lang.Object
implements ParserTreeConstants

Generation of linear constraints in flatzinc

Field Summary

Fields

Modifier and Type	Field	Description
(package private) SatTranslation	sat
(package private) Store	store
(package private) Support	support

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
LinearConstraints(Support support)

Method Summary

Modifier and Type	Method	Description
(package private) boolean	allConstants(IntVar[] p)
(package private) boolean	allNonPositive(int[] ws)
(package private) boolean	allPositive(int[] ws)
(package private) boolean	allWeightsMinusOne(int[] w)
(package private) boolean	allWeightsOne(int[] w)
(package private) boolean	binaryVar(IntVar v)
(package private) boolean	boolSum(IntVar[] vs)
(package private) void	gen_bool_lin_eq(SimpleNode node)
(package private) void	gen_int_lin_eq(SimpleNode node)
(package private) void	gen_int_lin_eq_imp(SimpleNode node)
(package private) void	gen_int_lin_eq_reif(SimpleNode node)
(package private) void	gen_int_lin_ge_imp(SimpleNode node)
(package private) void	gen_int_lin_gt_imp(SimpleNode node)
(package private) void	gen_int_lin_le(SimpleNode node)
(package private) void	gen_int_lin_le_imp(SimpleNode node)
(package private) void	gen_int_lin_le_reif(SimpleNode node)
(package private) void	gen_int_lin_lt(SimpleNode node)
(package private) void	gen_int_lin_lt_imp(SimpleNode node)
(package private) void	gen_int_lin_lt_reif(SimpleNode node)
(package private) void	gen_int_lin_ne(SimpleNode node)
(package private) void	gen_int_lin_ne_imp(SimpleNode node)
(package private) void	gen_int_lin_ne_reif(SimpleNode node)
(package private) void	int_lin_relation(int operation, SimpleNode node)
(package private) void	int_lin_relation_imp(int operation, SimpleNode node)
(package private) void	int_lin_relation_reif(int operation, SimpleNode node)
(package private) boolean	paramZero(IntVar v)
(package private) int	sumGePossible(int[] ws, int result)
(package private) int	sumLePossible(int[] ws, int result)
(package private) int	sumPossible(int[] ws)
(package private) int	sumPossible(int[] ws, int result)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

store

Store store

support

Support support

sat

SatTranslation sat

Constructor Detail

LinearConstraints

public LinearConstraints(Support support)

Method Detail

gen_bool_lin_eq

void gen_bool_lin_eq(SimpleNode node)

gen_int_lin_eq

void gen_int_lin_eq(SimpleNode node)

gen_int_lin_eq_reif

void gen_int_lin_eq_reif(SimpleNode node)

gen_int_lin_eq_imp

void gen_int_lin_eq_imp(SimpleNode node)

gen_int_lin_ne

void gen_int_lin_ne(SimpleNode node)

gen_int_lin_ne_reif

void gen_int_lin_ne_reif(SimpleNode node)

gen_int_lin_ne_imp

void gen_int_lin_ne_imp(SimpleNode node)

gen_int_lin_lt

void gen_int_lin_lt(SimpleNode node)

gen_int_lin_lt_reif

void gen_int_lin_lt_reif(SimpleNode node)

gen_int_lin_lt_imp

void gen_int_lin_lt_imp(SimpleNode node)

gen_int_lin_le

void gen_int_lin_le(SimpleNode node)

gen_int_lin_le_reif

void gen_int_lin_le_reif(SimpleNode node)

gen_int_lin_le_imp

void gen_int_lin_le_imp(SimpleNode node)

gen_int_lin_gt_imp

void gen_int_lin_gt_imp(SimpleNode node)

gen_int_lin_ge_imp

void gen_int_lin_ge_imp(SimpleNode node)

int_lin_relation_reif

void int_lin_relation_reif(int operation,
                           SimpleNode node)
                    throws FailException

Throws:

FailException

int_lin_relation_imp

void int_lin_relation_imp(int operation,
                          SimpleNode node)
                   throws FailException

Throws:

FailException

int_lin_relation

void int_lin_relation(int operation,
                      SimpleNode node)
               throws FailException

Throws:

FailException

allPositive

boolean allPositive(int[] ws)

allNonPositive

boolean allNonPositive(int[] ws)

allConstants

boolean allConstants(IntVar[] p)

allWeightsOne

boolean allWeightsOne(int[] w)

allWeightsMinusOne

boolean allWeightsMinusOne(int[] w)

boolSum

boolean boolSum(IntVar[] vs)

sumPossible

int sumPossible(int[] ws,
                int result)

sumPossible

int sumPossible(int[] ws)

sumLePossible

int sumLePossible(int[] ws,
                  int result)

sumGePossible

int sumGePossible(int[] ws,
                  int result)

paramZero

boolean paramZero(IntVar v)

binaryVar

boolean binaryVar(IntVar v)