Direct modelling
[Functionality by programming task]
Collaboration diagram for Direct modelling:
|
Classes | |
| class | org.gecode.BExpr |
| This class is used to construct boolean expressions from booleans, BoolVars, BExprs, and relations (Expr IntRelType Expr) using the different connectives available in Gecode. More... | |
| class | org.gecode.Expr |
| This class is used to construct linear expressions from IntVar's and BExpr's, possibly with constant factors in front, as well as constants. More... | |
Functions | |
| static void | org::gecode::Gecode.linear (Space home, IntVar a, IntVar b, IntRelType rel, IntVar c) |
Post propagator for the linear equation a+b rel c. | |
| static void | org::gecode::Gecode.linear (Space home, int ca, IntVar a, int cb, IntVar b, int cc, IntVar c, IntRelType rel, int d) |
Post propagator for the linear equation ca*a + cb*b + cc*c rel d. | |
| static void | org::gecode::Gecode.linear (Space home, int ca, IntVar a, int cb, IntVar b, IntRelType rel, int d) |
Post propagator for the linear equation ca*a + cb*b rel d. | |
| static void | org::gecode::Gecode.post (Space home, Expr e1, IntRelType irt, int d) |
Post propagator for the linear expression e1 irt d. | |
| static void | org::gecode::Gecode.post (Space home, Expr e1, IntRelType irt, int d, IntConLevel cl) |
Post propagator for the linear expression e1 irt d. | |
| static void | org::gecode::Gecode.post (Space home, Expr e1, IntRelType irt, IntVar v) |
Post propagator for the linear expression e1 irt v. | |
| static void | org::gecode::Gecode.post (Space home, Expr e1, IntRelType irt, IntVar v, IntConLevel cl) |
Post propagator for the linear expression e1 irt v. | |
| static void | org::gecode::Gecode.post (Space home, Expr e1, IntRelType irt, Expr e2) |
Post propagator for the linear expression e1 irt e2. | |
| static void | org::gecode::Gecode.post (Space home, Expr e1, IntRelType irt, Expr e2, IntConLevel cl) |
Post propagator for the linear expression e1 irt e2. | |
| static void | org::gecode::Gecode.post (Space home, Expr e1, IntRelType irt, Expr e2, BoolVar b) |
Post propagator for the reified linear expression (e1 irt e2) <=> b . | |
| static void | org::gecode::Gecode.post (Space home, Expr e1, IntRelType irt, Expr e2, BoolVar b, IntConLevel cl) |
Post propagator for the reified linear expression (e1 irt e2) <=> b . | |
| static void | org::gecode::Gecode.post (Space home, BExpr be, boolean val) |
Post propagator that the boolean expression be should be equal to val. | |
| static void | org::gecode::Gecode.post (Space home, BExpr be) |
Post propagator that the boolean expression be should hold. | |
Function Documentation
| static void org.gecode.Gecode.linear | ( | Space | home, | |
| IntVar | a, | |||
| IntVar | b, | |||
| IntRelType | rel, | |||
| IntVar | c | |||
| ) | [static, inherited] |
Post propagator for the linear equation a+b rel c.
The rel parameter can be one of IRT_EQ, IRT_NQ, IRT_LQ, IRT_LE, IRT_GQ, and IRT_GR.
Definition at line 25 of file Gecode.java.
| static void org.gecode.Gecode.linear | ( | Space | home, | |
| int | ca, | |||
| IntVar | a, | |||
| int | cb, | |||
| IntVar | b, | |||
| int | cc, | |||
| IntVar | c, | |||
| IntRelType | rel, | |||
| int | d | |||
| ) | [static, inherited] |
Post propagator for the linear equation ca*a + cb*b + cc*c rel d.
The rel parameter can be one of IRT_EQ, IRT_NQ, IRT_LQ, IRT_LE, IRT_GQ, and IRT_GR.
Definition at line 39 of file Gecode.java.
| static void org.gecode.Gecode.linear | ( | Space | home, | |
| int | ca, | |||
| IntVar | a, | |||
| int | cb, | |||
| IntVar | b, | |||
| IntRelType | rel, | |||
| int | d | |||
| ) | [static, inherited] |
Post propagator for the linear equation ca*a + cb*b rel d.
The rel parameter can be one of IRT_EQ, IRT_NQ, IRT_LQ, IRT_LE, IRT_GQ, and IRT_GR.
Definition at line 57 of file Gecode.java.
| static void org.gecode.Gecode.post | ( | Space | home, | |
| Expr | e1, | |||
| IntRelType | irt, | |||
| int | d | |||
| ) | [static, inherited] |
| static void org.gecode.Gecode.post | ( | Space | home, | |
| Expr | e1, | |||
| IntRelType | irt, | |||
| int | d, | |||
| IntConLevel | cl | |||
| ) | [static, inherited] |
| static void org.gecode.Gecode.post | ( | Space | home, | |
| Expr | e1, | |||
| IntRelType | irt, | |||
| IntVar | v | |||
| ) | [static, inherited] |
| static void org.gecode.Gecode.post | ( | Space | home, | |
| Expr | e1, | |||
| IntRelType | irt, | |||
| IntVar | v, | |||
| IntConLevel | cl | |||
| ) | [static, inherited] |
| static void org.gecode.Gecode.post | ( | Space | home, | |
| Expr | e1, | |||
| IntRelType | irt, | |||
| Expr | e2 | |||
| ) | [static, inherited] |
| static void org.gecode.Gecode.post | ( | Space | home, | |
| Expr | e1, | |||
| IntRelType | irt, | |||
| Expr | e2, | |||
| IntConLevel | cl | |||
| ) | [static, inherited] |
| static void org.gecode.Gecode.post | ( | Space | home, | |
| Expr | e1, | |||
| IntRelType | irt, | |||
| Expr | e2, | |||
| BoolVar | b | |||
| ) | [static, inherited] |
Post propagator for the reified linear expression (e1 irt e2) <=> b .
Definition at line 155 of file Gecode.java.
| static void org.gecode.Gecode.post | ( | Space | home, | |
| Expr | e1, | |||
| IntRelType | irt, | |||
| Expr | e2, | |||
| BoolVar | b, | |||
| IntConLevel | cl | |||
| ) | [static, inherited] |
Post propagator for the reified linear expression (e1 irt e2) <=> b .
Definition at line 168 of file Gecode.java.
Post propagator that the boolean expression be should be equal to val.
Definition at line 190 of file Gecode.java.
Post propagator that the boolean expression be should hold.
Definition at line 202 of file Gecode.java.