Generated on Tue Jan 19 2021 06:15:49 for Gecode by doxygen 1.8.13
Functions
Mixed integer and set expressions
Functionality by programming task » Programming models » 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$. More...
 
BoolExpr Gecode::operator== (const LinIntExpr &x, const SetExpr &s)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ x=i$. More...
 
BoolExpr Gecode::operator== (const LinIntExpr &, IntSet)=delete
 Prevent comparison with IntSet. More...
 
BoolExpr Gecode::operator== (IntSet, const LinIntExpr &)=delete
 Prevent comparison with IntSet. More...
 
BoolExpr Gecode::operator!= (const SetExpr &s, const LinIntExpr &x)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ i\neq x$. More...
 
BoolExpr Gecode::operator!= (const LinIntExpr &x, const SetExpr &s)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ x\neq i$. More...
 
BoolExpr Gecode::operator!= (const LinIntExpr &, IntSet)=delete
 Prevent comparison with IntSet. More...
 
BoolExpr Gecode::operator!= (IntSet, const LinIntExpr &)=delete
 Prevent comparison with IntSet. More...
 
BoolExpr Gecode::operator<= (const SetExpr &s, const LinIntExpr &x)
 Return expression for $|s|\geq 6 \land \forall i\in s:\ i\leq x$. More...
 
BoolExpr Gecode::operator<= (const LinIntExpr &x, const SetExpr &s)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ x\leq i$. More...
 
BoolExpr Gecode::operator<= (const LinIntExpr &, IntSet)=delete
 Prevent comparison with IntSet. More...
 
BoolExpr Gecode::operator<= (IntSet, const LinIntExpr &)=delete
 Prevent comparison with IntSet. More...
 
BoolExpr Gecode::operator< (const SetExpr &s, const LinIntExpr &x)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ i<x$. More...
 
BoolExpr Gecode::operator< (const LinIntExpr &x, const SetExpr &s)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ x<i$. More...
 
BoolExpr Gecode::operator< (const LinIntExpr &, IntSet)=delete
 Prevent comparison with IntSet. More...
 
BoolExpr Gecode::operator< (IntSet, const LinIntExpr &)=delete
 Prevent comparison with IntSet. More...
 
BoolExpr Gecode::operator>= (const SetExpr &s, const LinIntExpr &x)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ i\geq x$. More...
 
BoolExpr Gecode::operator>= (const LinIntExpr &x, const SetExpr &s)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ x\geq i$. More...
 
BoolExpr Gecode::operator>= (const LinIntExpr &, IntSet)=delete
 Prevent comparison with IntSet. More...
 
BoolExpr Gecode::operator>= (IntSet, const LinIntExpr &)=delete
 Prevent comparison with IntSet. More...
 
BoolExpr Gecode::operator> (const SetExpr &s, const LinIntExpr &x)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ i>x$. More...
 
BoolExpr Gecode::operator> (const LinIntExpr &x, const SetExpr &s)
 Return expression for $|s|\geq 1 \land \forall i\in s:\ x>i$. More...
 
BoolExpr Gecode::operator> (const LinIntExpr &, IntSet)=delete
 Prevent comparison with IntSet. More...
 
BoolExpr Gecode::operator> (IntSet, const LinIntExpr &)=delete
 Prevent comparison with IntSet. More...
 

Detailed Description

Function Documentation

◆ operator==() [1/4]

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

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

Definition at line 116 of file set-rel.cpp.

◆ operator==() [2/4]

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

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

Definition at line 120 of file set-rel.cpp.

◆ operator==() [3/4]

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

Prevent comparison with IntSet.

◆ operator==() [4/4]

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

Prevent comparison with IntSet.

◆ operator!=() [1/4]

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

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

Definition at line 125 of file set-rel.cpp.

◆ operator!=() [2/4]

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

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

Definition at line 130 of file set-rel.cpp.

◆ operator!=() [3/4]

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

Prevent comparison with IntSet.

◆ operator!=() [4/4]

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

Prevent comparison with IntSet.

◆ operator<=() [1/4]

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

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

Definition at line 135 of file set-rel.cpp.

◆ operator<=() [2/4]

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

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

Definition at line 140 of file set-rel.cpp.

◆ operator<=() [3/4]

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

Prevent comparison with IntSet.

◆ operator<=() [4/4]

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

Prevent comparison with IntSet.

◆ operator<() [1/4]

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

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

Definition at line 145 of file set-rel.cpp.

◆ operator<() [2/4]

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

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

Definition at line 150 of file set-rel.cpp.

◆ operator<() [3/4]

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

Prevent comparison with IntSet.

◆ operator<() [4/4]

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

Prevent comparison with IntSet.

◆ operator>=() [1/4]

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

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

Definition at line 155 of file set-rel.cpp.

◆ operator>=() [2/4]

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

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

Definition at line 160 of file set-rel.cpp.

◆ operator>=() [3/4]

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

Prevent comparison with IntSet.

◆ operator>=() [4/4]

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

Prevent comparison with IntSet.

◆ operator>() [1/4]

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

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

Definition at line 165 of file set-rel.cpp.

◆ operator>() [2/4]

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

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

Definition at line 170 of file set-rel.cpp.

◆ operator>() [3/4]

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

Prevent comparison with IntSet.

◆ operator>() [4/4]

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

Prevent comparison with IntSet.