Generated on Thu Apr 11 13:59:35 2019 for Gecode by doxygen 1.6.3

Mixed integer and set expressions
[Direct modeling support]

Functions

BoolExpr Gecode::operator== (const SetExpr &s, const LinIntExpr &x)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ i=x$.
BoolExpr Gecode::operator== (const LinIntExpr &x, const SetExpr &s)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ x=i$.
BoolExpr Gecode::operator== (const LinIntExpr &, IntSet)
 Prevent comparison with IntSet.
BoolExpr Gecode::operator== (IntSet, const LinIntExpr &)
 Prevent comparison with IntSet.
BoolExpr Gecode::operator!= (const SetExpr &s, const LinIntExpr &x)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ i\neq x$.
BoolExpr Gecode::operator!= (const LinIntExpr &x, const SetExpr &s)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ x\neq i$.
BoolExpr Gecode::operator!= (const LinIntExpr &, IntSet)
 Prevent comparison with IntSet.
BoolExpr Gecode::operator!= (IntSet, const LinIntExpr &)
 Prevent comparison with IntSet.
BoolExpr Gecode::operator<= (const SetExpr &s, const LinIntExpr &x)
 Return expression for $|s|\geq 6 \land \forall i\in s:\ i\leq x$.
BoolExpr Gecode::operator<= (const LinIntExpr &x, const SetExpr &s)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ x\leq i$.
BoolExpr Gecode::operator<= (const LinIntExpr &, IntSet)
 Prevent comparison with IntSet.
BoolExpr Gecode::operator<= (IntSet, const LinIntExpr &)
 Prevent comparison with IntSet.
BoolExpr Gecode::operator< (const SetExpr &s, const LinIntExpr &x)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ i<x$.
BoolExpr Gecode::operator< (const LinIntExpr &x, const SetExpr &s)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ x<i$.
BoolExpr Gecode::operator< (const LinIntExpr &, IntSet)
 Prevent comparison with IntSet.
BoolExpr Gecode::operator< (IntSet, const LinIntExpr &)
 Prevent comparison with IntSet.
BoolExpr Gecode::operator>= (const SetExpr &s, const LinIntExpr &x)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ i\geq x$.
BoolExpr Gecode::operator>= (const LinIntExpr &x, const SetExpr &s)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ x\geq i$.
BoolExpr Gecode::operator>= (const LinIntExpr &, IntSet)
 Prevent comparison with IntSet.
BoolExpr Gecode::operator>= (IntSet, const LinIntExpr &)
 Prevent comparison with IntSet.
BoolExpr Gecode::operator> (const SetExpr &s, const LinIntExpr &x)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ i>x$.
BoolExpr Gecode::operator> (const LinIntExpr &x, const SetExpr &s)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ x>i$.
BoolExpr Gecode::operator> (const LinIntExpr &, IntSet)
 Prevent comparison with IntSet.
BoolExpr Gecode::operator> (IntSet, const LinIntExpr &)
 Prevent comparison with IntSet.

Function Documentation

BoolExpr Gecode::operator== ( const SetExpr &  x,
const LinIntExpr &  y 
)

Return expression for $|s|\geq 1 \land \forall i\in s:\ i=x$.

BoolExpr Gecode::operator== ( const LinIntExpr &  x,
const SetExpr &  y 
)

Return expression for $|s|\geq 1 \land \forall i\in s:\ x=i$.

BoolExpr Gecode::operator== ( const LinIntExpr &  ,
IntSet   
)

Prevent comparison with IntSet.

BoolExpr Gecode::operator== ( IntSet  ,
const LinIntExpr &   
)

Prevent comparison with IntSet.

BoolExpr Gecode::operator!= ( const SetExpr &  x,
const LinIntExpr &  y 
)

Return expression for $|s|\geq 1 \land \forall i\in s:\ i\neq x$.

BoolExpr Gecode::operator!= ( const LinIntExpr &  x,
const SetExpr &  y 
)

Return expression for $|s|\geq 1 \land \forall i\in s:\ x\neq i$.

BoolExpr Gecode::operator!= ( const LinIntExpr &  ,
IntSet   
)

Prevent comparison with IntSet.

BoolExpr Gecode::operator!= ( IntSet  ,
const LinIntExpr &   
)

Prevent comparison with IntSet.

BoolExpr Gecode::operator<= ( const SetExpr &  x,
const LinIntExpr &  y 
)

Return expression for $|s|\geq 6 \land \forall i\in s:\ i\leq x$.

BoolExpr Gecode::operator<= ( const LinIntExpr &  x,
const SetExpr &  y 
)

Return expression for $|s|\geq 1 \land \forall i\in s:\ x\leq i$.

BoolExpr Gecode::operator<= ( const LinIntExpr &  ,
IntSet   
)

Prevent comparison with IntSet.

BoolExpr Gecode::operator<= ( IntSet  ,
const LinIntExpr &   
)

Prevent comparison with IntSet.

BoolExpr Gecode::operator< ( const SetExpr &  x,
const LinIntExpr &  y 
)

Return expression for $|s|\geq 1 \land \forall i\in s:\ i<x$.

BoolExpr Gecode::operator< ( const LinIntExpr &  x,
const SetExpr &  y 
)

Return expression for $|s|\geq 1 \land \forall i\in s:\ x<i$.

BoolExpr Gecode::operator< ( const LinIntExpr &  ,
IntSet   
)

Prevent comparison with IntSet.

BoolExpr Gecode::operator< ( IntSet  ,
const LinIntExpr &   
)

Prevent comparison with IntSet.

BoolExpr Gecode::operator>= ( const SetExpr &  x,
const LinIntExpr &  y 
)

Return expression for $|s|\geq 1 \land \forall i\in s:\ i\geq x$.

BoolExpr Gecode::operator>= ( const LinIntExpr &  x,
const SetExpr &  y 
)

Return expression for $|s|\geq 1 \land \forall i\in s:\ x\geq i$.

BoolExpr Gecode::operator>= ( const LinIntExpr &  ,
IntSet   
)

Prevent comparison with IntSet.

BoolExpr Gecode::operator>= ( IntSet  ,
const LinIntExpr &   
)

Prevent comparison with IntSet.

BoolExpr Gecode::operator> ( const SetExpr &  x,
const LinIntExpr &  y 
)

Return expression for $|s|\geq 1 \land \forall i\in s:\ i>x$.

BoolExpr Gecode::operator> ( const LinIntExpr &  x,
const SetExpr &  y 
)

Return expression for $|s|\geq 1 \land \forall i\in s:\ x>i$.

BoolExpr Gecode::operator> ( const LinIntExpr &  ,
IntSet   
)

Prevent comparison with IntSet.

BoolExpr Gecode::operator> ( IntSet  ,
const LinIntExpr &   
)

Prevent comparison with IntSet.