This class is used to construct linear expressions from IntVar's and BExpr's, possibly with constant factors in front, as well as constants.
|
Public Member Functions |
| | Expr () |
| | Construct an empty expression.
|
| | Expr (Expr e) |
| | Construct a copy of expression e.
|
| | Expr (int c, IntVar v) |
| | Construct an expression representing c*v.
|
| | Expr (IntVar v) |
| | Construct an expression representing 1*v.
|
| | Expr (int d) |
| | Construct an expression representing d.
|
| | Expr (int c, BExpr b) |
| | Construct an expression representing c*b.
|
| | Expr (BExpr b) |
| | Construct an expression representing 1*b.
|
| Expr | plus (int c, IntVar v) |
| | Add the term +c*v to this, and return this.
|
| Expr | minus (int c, IntVar v) |
| | Add the term -c*v to this, and return this.
|
| Expr | plus (int c) |
| | Add the term +c to this, and return this.
|
| Expr | minus (int c) |
| | Add the term -c to this, and return this.
|
| Expr | plus (Expr e) |
| | Add the expression e to this, and return this.
|
| Expr | minus (Expr e) |
| | Add the expression -e to this, and return this.
|
| Expr | plus (int c, BoolVar b) |
| | Add the term +c*b to this, and return this.
|
| Expr | minus (int c, BoolVar b) |
| | Add the term -c*b to this, and return this.
|
| Expr | plus (int c, BExpr b) |
| | Add the term +c*b to this, and return this.
|
| Expr | minus (int c, BExpr b) |
| | Add the term -c*b to this, and return this.
|
| Expr | plus (IntVar v) |
| | Add the term +1*v to this, and return this.
|
| Expr | minus (IntVar v) |
| | Add the term -1*v to this, and return this.
|
| Expr | plus (BoolVar b) |
| | Add the term +1*b to this, and return this.
|
| Expr | minus (BoolVar b) |
| | Add the term -1*b to this, and return this.
|
| Expr | plus (BExpr b) |
| | Add the term +1*b to this, and return this.
|
| Expr | minus (BExpr b) |
| | Add the term -1*b to this, and return this.
|
| Expr | p (int c, IntVar v) |
| | Add the term +c*v to this, and return this.
|
| Expr | m (int c, IntVar v) |
| | Add the term -c*v to this, and return this.
|
| Expr | p (IntVar v) |
| | Add the term +1*v to this, and return this.
|
| Expr | m (IntVar v) |
| | Add the term -1*v to this, and return this.
|
| Expr | p (int c) |
| | Add the term +c to this, and return this.
|
| Expr | m (int c) |
| | Add the term -c to this, and return this.
|
| Expr | p (Expr e) |
| | Add the expression e to this, and return this.
|
| Expr | m (Expr e) |
| | Add the expression -e to this, and return this.
|
| Expr | p (int c, BoolVar b) |
| | Add the term +c*b to this, and return this.
|
| Expr | m (int c, BoolVar b) |
| | Add the term -c*b to this, and return this.
|
| Expr | p (BoolVar b) |
| | Add the term +1*b to this, and return this.
|
| Expr | m (BoolVar b) |
| | Add the term -1*b to this, and return this.
|
| Expr | p (int c, BExpr b) |
| | Add the term +c*b to this, and return this.
|
| Expr | m (int c, BExpr b) |
| | Add the term -c*b to this, and return this.
|
| Expr | p (BExpr b) |
| | Add the term +1*b to this, and return this.
|
| Expr | m (BExpr b) |
| | Add the term -1*b to this, and return this.
|
| String | toString () |
Package Functions |
| void | clear_bexpr (JavaSpace home) |
Package Attributes |
| int | d |
| ArrayList< Integer > | cs |
| ArrayList< IntVar > | vs |
| ArrayList< Integer > | cbs |
| ArrayList< BExpr > | vbs |
