Generated on Thu Nov 2 14:49:40 2006 for Gecode/J by doxygen 1.5.0
org.gecode.BExpr

org.gecode.BExpr Class Reference
[Direct modelling]

List of all members.

Detailed Description

This class is used to construct boolean expressions from booleans, BoolVars, BExprs, and relations (Expr IntRelType Expr) using the different connectives available in Gecode.

The methods in this class modify the object that they are operating on (i.e., the this object). The methods all return

A BExpr b can be posted using either the Gecode.post(Space, BExpr) method (which forces the BExpr to be true) or the Gecode.post(Space, BExpr, boolean) method (where the boolean argumnet determines if the BExpr should be true).

Definition at line 42 of file BExpr.java.

Public Member Functions

 BExpr (BExpr be)
 Construct a copy of expression be.
 BExpr (BoolVar b)
 Construct an expression from the BoolVar b.
 BExpr (boolean v)
 Construct an expression from the boolean v.
 BExpr (Expr e1, IntRelType irt, Expr e2)
 Construct an expression representing a relation.
 BExpr (Expr e1, IntRelType irt, int d)
 Construct an expression representing a relation.
 BExpr (IntVar v1, IntRelType irt, IntVar v2)
 Construct an expression representing a relation.
 BExpr (IntVar v, IntRelType irt, int d)
 Construct an expression representing a relation.
BExpr and (BExpr be)
 Form conjunction of this expression and be ($this \land be$), and return this.
BExpr or (BExpr be)
 Form disjunction of this expression and be ($this \lor be$), and return this.
BExpr xor (BExpr be)
 Form exclusive disjunction of this expression and be ($this \oplus be$), and return this.
BExpr imp (BExpr be)
 Form expression that represents that this implies be ($this \rightarrow be$), and return this.
BExpr consequence_of (BExpr be)
 Form expression that represents that this is a consequence of be ($this \leftarrow be $), and return this.
BExpr eqv (BExpr be)
 Form expression that represens that this and be are equivalent ($this \Leftrightarrow be$), and return this.
BExpr and (BoolVar b)
 Form conjunction of this expression and b ($this \land b$), and return this.
BExpr or (BoolVar b)
 Form disjunction of this expression and b ($this \lor b$), and return this.
BExpr xor (BoolVar b)
 Form exclusive disjunction of this expression and b ($this \oplus b$), and return this.
BExpr imp (BoolVar b)
 Form expression that represents that this implies b ($this \rightarrow b$), and return this.
BExpr consequence_of (BoolVar b)
 Form expression that represents that this is a consequence of b ($this \leftarrow b $), and return this.
BExpr eqv (BoolVar b)
 Form expression that represens that this and b are equivalent ($this \Leftrightarrow b$), and return this.
BExpr and (boolean v)
 Form conjunction of this expression and v ($this \land v$), and return this.
BExpr or (boolean v)
 Form disjunction of this expression and v ($this \lor v$), and return this.
BExpr xor (boolean v)
 Form exclusive disjunction of this expression and v ($this \oplus v$), and return this.
BExpr imp (boolean v)
 Form expression that represents that this implies v ($this \rightarrow v$), and return this.
BExpr consequence_of (boolean v)
 Form expression that represents that this is a consequence of v ($this \leftarrow v $), and return this.
BExpr eqv (boolean v)
 Form expression that represens that this and v are equivalent ($this \Leftrightarrow v$), and return this.
BExpr and (Expr e1, IntRelType irt, Expr e2)
 Form conjunction of this expression and (e1 irt e2) ($this \land (e1 \sim_{irt} e2)$), and return this.
BExpr or (Expr e1, IntRelType irt, Expr e2)
 Form disjunction of this expression and (e1 irt e2) ($this \lor (e1 \sim_{irt} e2)$), and return this.
BExpr xor (Expr e1, IntRelType irt, Expr e2)
 Form exclusive disjunction of this expression and (e1 irt e2) ($this \oplus (e1 \sim_{irt} e2)$), and return this.
BExpr imp (Expr e1, IntRelType irt, Expr e2)
 Form expression that represents that this implies (e1 irt e2) ($this \rightarrow (e1 \sim_{irt} e2)$), and return this.
BExpr consequence_of (Expr e1, IntRelType irt, Expr e2)
 Form expression that represents that this is a consequence of (e1 irt e2) ($this \leftarrow (e1 \sim_{irt} e2) $), and return this.
BExpr eqv (Expr e1, IntRelType irt, Expr e2)
 Form expression that represens that this and (e1 irt e2) are equivalent ($this \Leftrightarrow (e1 \sim_{irt} e2)$), and return this.
BExpr and (BExpr...bes)
 Form conjunction of this expression and all the bes ($this \land \bigwedge_{i=0}^nbes_i$), and return this.
BExpr or (BExpr...bes)
 Form disjunction of this expression and all the bes ($this \lor \bigvee_{i=0}^nbes_i$), and return this.
BExpr eqv (BExpr...bes)
 Form expression that represens that this and all the bes are equivalent ($this \Leftrightarrow EQV{bes}$), and return this.
BExpr and (BoolVar...bvs)
 Form conjunction of this expression and all the bvs ($this \land \bigwedge_{i=0}^nbvs_i$), and return this.
BExpr or (BoolVar...bvs)
 Form disjunction of this expression and all the bvs ($this \lor \bigvee_{i=0}^nbvs_i$), and return this.
BExpr eqv (BoolVar...bvs)
 Form expression that represens that this and all the bvs are equivalent ($this \Leftrightarrow EQV{bvs}$), and return this.
BExpr and (Expr e1, IntRelType irt, int d)
 Form conjunction of this expression and (e1 irt Expr(d)) ($this \land (e1 \sim_{irt} d)$), and return this.
BExpr or (Expr e1, IntRelType irt, int d)
 Form disjunction of this expression and (e1 irt Expr(d)) ($this \lor (e1 \sim_{irt} d)$), and return this.
BExpr xor (Expr e1, IntRelType irt, int d)
 Form exclusive disjunction of this expression and (e1 irt Expr(d)) ($this \oplus (e1 \sim_{irt} d)$), and return this.
BExpr imp (Expr e1, IntRelType irt, int d)
 Form expression that represents that this implies (e1 irt Expr(d)) ($this \rightarrow (e1 \sim_{irt} d)$), and return this.
BExpr consequence_of (Expr e1, IntRelType irt, int d)
 Form expression that represents that this is a consequence of (e1 irt Expr(d)) ($this \leftarrow (e1 \sim_{irt} d) $), and return this.
BExpr eqv (Expr e1, IntRelType irt, int d)
 Form expression that represens that this and (e1 irt Expr(d)) are equivalent ($this \Leftrightarrow (e1 \sim_{irt} d)$), and return this.
BExpr and (IntVar v1, IntRelType irt, IntVar v2)
 Form conjunction of this expression and (v1 irt v2) ($this \land (v1 \sim_{irt} v2)$), and return this.
BExpr or (IntVar v1, IntRelType irt, IntVar v2)
 Form disjunction of this expression and (v1 irt v2) ($this \lor (v1 \sim_{irt} v2)$), and return this.
BExpr xor (IntVar v1, IntRelType irt, IntVar v2)
 Form exclusive disjunction of this expression and (v1 irt v2) ($this \oplus (v1 \sim_{irt} v2)$), and return this.
BExpr imp (IntVar v1, IntRelType irt, IntVar v2)
 Form expression that represents that this implies (v1 irt v2) ($this \rightarrow (v1 \sim_{irt} v2)$), and return this.
BExpr consequence_of (IntVar v1, IntRelType irt, IntVar v2)
 Form expression that represents that this is a consequence of (v1 irt v2) ($this \leftarrow (v1 \sim_{irt} v2) $), and return this.
BExpr eqv (IntVar v1, IntRelType irt, IntVar v2)
 Form expression that represens that this and (v1 irt v2) are equivalent ($this \Leftrightarrow (v1 \sim_{irt} v2)$), and return this.
BExpr and (IntVar v1, IntRelType irt, int d)
 Form conjunction of this expression and (v1 irt d) ($this \land (v1 \sim_{irt} d)$), and return this.
BExpr or (IntVar v1, IntRelType irt, int d)
 Form disjunction of this expression and (v1 irt d) ($this \lor (v1 \sim_{irt} d)$), and return this.
BExpr xor (IntVar v1, IntRelType irt, int d)
 Form exclusive disjunction of this expression and (v1 irt d) ($this \oplus (v1 \sim_{irt} d)$), and return this.
BExpr imp (IntVar v1, IntRelType irt, int d)
 Form expression that represents that this implies (v1 irt d) ($this \rightarrow (v1 \sim_{irt} d)$), and return this.
BExpr consequence_of (IntVar v1, IntRelType irt, int d)
 Form expression that represents that this is a consequence of (v1 irt d) ($this \leftarrow (v1 \sim_{irt} d) $), and return this.
BExpr eqv (IntVar v1, IntRelType irt, int d)
 Form expression that represens that this and (v1 irt d) are equivalent ($this \Leftrightarrow (v1 \sim_{irt} d)$), and return this.

Package Types

enum  Op {
  AND, OR, XOR, IMP,
  EQV
}

Package Attributes

E e

Classes

class  BiE
class  BoolE
class  BooleanE
class  E
class  NE
class  RelE

Member Enumeration Documentation

enum org::gecode::BExpr::Op [package]

Enumerator:
AND 
OR 
XOR 
IMP 
EQV 

Definition at line 542 of file BExpr.java.

Constructor & Destructor Documentation

org.gecode.BExpr.BExpr ( BExpr  be  ) 

Construct a copy of expression be.

Definition at line 47 of file BExpr.java.

org.gecode.BExpr.BExpr ( BoolVar  b  ) 

Construct an expression from the BoolVar b.

Definition at line 53 of file BExpr.java.

org.gecode.BExpr.BExpr ( boolean  v  ) 

Construct an expression from the boolean v.

Definition at line 59 of file BExpr.java.

org.gecode.BExpr.BExpr ( Expr  e1,
IntRelType  irt,
Expr  e2 
)

Construct an expression representing a relation.

Definition at line 65 of file BExpr.java.

org.gecode.BExpr.BExpr ( Expr  e1,
IntRelType  irt,
int  d 
)

Construct an expression representing a relation.

Definition at line 71 of file BExpr.java.

org.gecode.BExpr.BExpr ( IntVar  v1,
IntRelType  irt,
IntVar  v2 
)

Construct an expression representing a relation.

Definition at line 77 of file BExpr.java.

org.gecode.BExpr.BExpr ( IntVar  v,
IntRelType  irt,
int  d 
)

Construct an expression representing a relation.

Definition at line 83 of file BExpr.java.

Member Function Documentation

BExpr org.gecode.BExpr.and ( BExpr  be  ) 

Form conjunction of this expression and be ($this \land be$), and return this.

Definition at line 94 of file BExpr.java.

BExpr org.gecode.BExpr.or ( BExpr  be  ) 

Form disjunction of this expression and be ($this \lor be$), and return this.

Definition at line 106 of file BExpr.java.

BExpr org.gecode.BExpr.xor ( BExpr  be  ) 

Form exclusive disjunction of this expression and be ($this \oplus be$), and return this.

Definition at line 118 of file BExpr.java.

BExpr org.gecode.BExpr.imp ( BExpr  be  ) 

Form expression that represents that this implies be ($this \rightarrow be$), and return this.

Definition at line 126 of file BExpr.java.

BExpr org.gecode.BExpr.consequence_of ( BExpr  be  ) 

Form expression that represents that this is a consequence of be ($this \leftarrow be $), and return this.

Definition at line 134 of file BExpr.java.

BExpr org.gecode.BExpr.eqv ( BExpr  be  ) 

Form expression that represens that this and be are equivalent ($this \Leftrightarrow be$), and return this.

Definition at line 143 of file BExpr.java.

BExpr org.gecode.BExpr.and ( BoolVar  b  ) 

Form conjunction of this expression and b ($this \land b$), and return this.

Definition at line 155 of file BExpr.java.

BExpr org.gecode.BExpr.or ( BoolVar  b  ) 

Form disjunction of this expression and b ($this \lor b$), and return this.

Definition at line 167 of file BExpr.java.

BExpr org.gecode.BExpr.xor ( BoolVar  b  ) 

Form exclusive disjunction of this expression and b ($this \oplus b$), and return this.

Definition at line 179 of file BExpr.java.

BExpr org.gecode.BExpr.imp ( BoolVar  b  ) 

Form expression that represents that this implies b ($this \rightarrow b$), and return this.

Definition at line 187 of file BExpr.java.

BExpr org.gecode.BExpr.consequence_of ( BoolVar  b  ) 

Form expression that represents that this is a consequence of b ($this \leftarrow b $), and return this.

Definition at line 196 of file BExpr.java.

BExpr org.gecode.BExpr.eqv ( BoolVar  b  ) 

Form expression that represens that this and b are equivalent ($this \Leftrightarrow b$), and return this.

Definition at line 204 of file BExpr.java.

BExpr org.gecode.BExpr.and ( boolean  v  ) 

Form conjunction of this expression and v ($this \land v$), and return this.

Definition at line 216 of file BExpr.java.

BExpr org.gecode.BExpr.or ( boolean  v  ) 

Form disjunction of this expression and v ($this \lor v$), and return this.

Definition at line 228 of file BExpr.java.

BExpr org.gecode.BExpr.xor ( boolean  v  ) 

Form exclusive disjunction of this expression and v ($this \oplus v$), and return this.

Definition at line 240 of file BExpr.java.

BExpr org.gecode.BExpr.imp ( boolean  v  ) 

Form expression that represents that this implies v ($this \rightarrow v$), and return this.

Definition at line 248 of file BExpr.java.

BExpr org.gecode.BExpr.consequence_of ( boolean  v  ) 

Form expression that represents that this is a consequence of v ($this \leftarrow v $), and return this.

Definition at line 257 of file BExpr.java.

BExpr org.gecode.BExpr.eqv ( boolean  v  ) 

Form expression that represens that this and v are equivalent ($this \Leftrightarrow v$), and return this.

Definition at line 265 of file BExpr.java.

BExpr org.gecode.BExpr.and ( Expr  e1,
IntRelType  irt,
Expr  e2 
)

Form conjunction of this expression and (e1 irt e2) ($this \land (e1 \sim_{irt} e2)$), and return this.

Definition at line 277 of file BExpr.java.

BExpr org.gecode.BExpr.or ( Expr  e1,
IntRelType  irt,
Expr  e2 
)

Form disjunction of this expression and (e1 irt e2) ($this \lor (e1 \sim_{irt} e2)$), and return this.

Definition at line 289 of file BExpr.java.

BExpr org.gecode.BExpr.xor ( Expr  e1,
IntRelType  irt,
Expr  e2 
)

Form exclusive disjunction of this expression and (e1 irt e2) ($this \oplus (e1 \sim_{irt} e2)$), and return this.

Definition at line 301 of file BExpr.java.

BExpr org.gecode.BExpr.imp ( Expr  e1,
IntRelType  irt,
Expr  e2 
)

Form expression that represents that this implies (e1 irt e2) ($this \rightarrow (e1 \sim_{irt} e2)$), and return this.

Definition at line 309 of file BExpr.java.

BExpr org.gecode.BExpr.consequence_of ( Expr  e1,
IntRelType  irt,
Expr  e2 
)

Form expression that represents that this is a consequence of (e1 irt e2) ($this \leftarrow (e1 \sim_{irt} e2) $), and return this.

Definition at line 319 of file BExpr.java.

BExpr org.gecode.BExpr.eqv ( Expr  e1,
IntRelType  irt,
Expr  e2 
)

Form expression that represens that this and (e1 irt e2) are equivalent ($this \Leftrightarrow (e1 \sim_{irt} e2)$), and return this.

Definition at line 327 of file BExpr.java.

BExpr org.gecode.BExpr.and ( BExpr...  bes  ) 

Form conjunction of this expression and all the bes ($this \land \bigwedge_{i=0}^nbes_i$), and return this.

Definition at line 341 of file BExpr.java.

BExpr org.gecode.BExpr.or ( BExpr...  bes  ) 

Form disjunction of this expression and all the bes ($this \lor \bigvee_{i=0}^nbes_i$), and return this.

Definition at line 350 of file BExpr.java.

BExpr org.gecode.BExpr.eqv ( BExpr...  bes  ) 

Form expression that represens that this and all the bes are equivalent ($this \Leftrightarrow EQV{bes}$), and return this.

Definition at line 359 of file BExpr.java.

BExpr org.gecode.BExpr.and ( BoolVar...  bvs  ) 

Form conjunction of this expression and all the bvs ($this \land \bigwedge_{i=0}^nbvs_i$), and return this.

Definition at line 368 of file BExpr.java.

BExpr org.gecode.BExpr.or ( BoolVar...  bvs  ) 

Form disjunction of this expression and all the bvs ($this \lor \bigvee_{i=0}^nbvs_i$), and return this.

Definition at line 377 of file BExpr.java.

BExpr org.gecode.BExpr.eqv ( BoolVar...  bvs  ) 

Form expression that represens that this and all the bvs are equivalent ($this \Leftrightarrow EQV{bvs}$), and return this.

Definition at line 387 of file BExpr.java.

BExpr org.gecode.BExpr.and ( Expr  e1,
IntRelType  irt,
int  d 
)

Form conjunction of this expression and (e1 irt Expr(d)) ($this \land (e1 \sim_{irt} d)$), and return this.

Definition at line 398 of file BExpr.java.

BExpr org.gecode.BExpr.or ( Expr  e1,
IntRelType  irt,
int  d 
)

Form disjunction of this expression and (e1 irt Expr(d)) ($this \lor (e1 \sim_{irt} d)$), and return this.

Definition at line 405 of file BExpr.java.

BExpr org.gecode.BExpr.xor ( Expr  e1,
IntRelType  irt,
int  d 
)

Form exclusive disjunction of this expression and (e1 irt Expr(d)) ($this \oplus (e1 \sim_{irt} d)$), and return this.

Definition at line 412 of file BExpr.java.

BExpr org.gecode.BExpr.imp ( Expr  e1,
IntRelType  irt,
int  d 
)

Form expression that represents that this implies (e1 irt Expr(d)) ($this \rightarrow (e1 \sim_{irt} d)$), and return this.

Definition at line 419 of file BExpr.java.

BExpr org.gecode.BExpr.consequence_of ( Expr  e1,
IntRelType  irt,
int  d 
)

Form expression that represents that this is a consequence of (e1 irt Expr(d)) ($this \leftarrow (e1 \sim_{irt} d) $), and return this.

Definition at line 428 of file BExpr.java.

BExpr org.gecode.BExpr.eqv ( Expr  e1,
IntRelType  irt,
int  d 
)

Form expression that represens that this and (e1 irt Expr(d)) are equivalent ($this \Leftrightarrow (e1 \sim_{irt} d)$), and return this.

Definition at line 435 of file BExpr.java.

BExpr org.gecode.BExpr.and ( IntVar  v1,
IntRelType  irt,
IntVar  v2 
)

Form conjunction of this expression and (v1 irt v2) ($this \land (v1 \sim_{irt} v2)$), and return this.

Definition at line 444 of file BExpr.java.

BExpr org.gecode.BExpr.or ( IntVar  v1,
IntRelType  irt,
IntVar  v2 
)

Form disjunction of this expression and (v1 irt v2) ($this \lor (v1 \sim_{irt} v2)$), and return this.

Definition at line 451 of file BExpr.java.

BExpr org.gecode.BExpr.xor ( IntVar  v1,
IntRelType  irt,
IntVar  v2 
)

Form exclusive disjunction of this expression and (v1 irt v2) ($this \oplus (v1 \sim_{irt} v2)$), and return this.

Definition at line 458 of file BExpr.java.

BExpr org.gecode.BExpr.imp ( IntVar  v1,
IntRelType  irt,
IntVar  v2 
)

Form expression that represents that this implies (v1 irt v2) ($this \rightarrow (v1 \sim_{irt} v2)$), and return this.

Definition at line 465 of file BExpr.java.

BExpr org.gecode.BExpr.consequence_of ( IntVar  v1,
IntRelType  irt,
IntVar  v2 
)

Form expression that represents that this is a consequence of (v1 irt v2) ($this \leftarrow (v1 \sim_{irt} v2) $), and return this.

Definition at line 474 of file BExpr.java.

BExpr org.gecode.BExpr.eqv ( IntVar  v1,
IntRelType  irt,
IntVar  v2 
)

Form expression that represens that this and (v1 irt v2) are equivalent ($this \Leftrightarrow (v1 \sim_{irt} v2)$), and return this.

Definition at line 481 of file BExpr.java.

BExpr org.gecode.BExpr.and ( IntVar  v1,
IntRelType  irt,
int  d 
)

Form conjunction of this expression and (v1 irt d) ($this \land (v1 \sim_{irt} d)$), and return this.

Definition at line 491 of file BExpr.java.

BExpr org.gecode.BExpr.or ( IntVar  v1,
IntRelType  irt,
int  d 
)

Form disjunction of this expression and (v1 irt d) ($this \lor (v1 \sim_{irt} d)$), and return this.

Definition at line 498 of file BExpr.java.

BExpr org.gecode.BExpr.xor ( IntVar  v1,
IntRelType  irt,
int  d 
)

Form exclusive disjunction of this expression and (v1 irt d) ($this \oplus (v1 \sim_{irt} d)$), and return this.

Definition at line 505 of file BExpr.java.

BExpr org.gecode.BExpr.imp ( IntVar  v1,
IntRelType  irt,
int  d 
)

Form expression that represents that this implies (v1 irt d) ($this \rightarrow (v1 \sim_{irt} d)$), and return this.

Definition at line 512 of file BExpr.java.

BExpr org.gecode.BExpr.consequence_of ( IntVar  v1,
IntRelType  irt,
int  d 
)

Form expression that represents that this is a consequence of (v1 irt d) ($this \leftarrow (v1 \sim_{irt} d) $), and return this.

Definition at line 521 of file BExpr.java.

BExpr org.gecode.BExpr.eqv ( IntVar  v1,
IntRelType  irt,
int  d 
)

Form expression that represens that this and (v1 irt d) are equivalent ($this \Leftrightarrow (v1 \sim_{irt} d)$), and return this.

Definition at line 528 of file BExpr.java.

Member Data Documentation

E org.gecode.BExpr.e [package]

Definition at line 43 of file BExpr.java.

The documentation for this class was generated from the following file: