Generated on Tue Jan 26 2021 00:00:00 for Gecode by doxygen 1.9.1
set-rel.cpp File Reference

Go to the source code of this file.

Functions

SetRel Gecode::operator== (const SetExpr &, const SetExpr &)
 Equality of set expressions. More...
 
SetRel Gecode::operator!= (const SetExpr &, const SetExpr &)
 Disequality of set expressions. More...
 
SetCmpRel Gecode::operator<= (const SetExpr &, const SetExpr &)
 Subset of set expressions. More...
 
BoolExpr Gecode::operator<= (const SetCmpRel &, const SetExpr &)
 Subset of set expressions. More...
 
SetCmpRel Gecode::operator>= (const SetExpr &, const SetExpr &)
 Superset of set expressions. More...
 
BoolExpr Gecode::operator>= (const SetCmpRel &, const SetExpr &)
 Superset of set expressions. More...
 
SetRel Gecode::operator|| (const SetExpr &, const SetExpr &)
 Disjointness of set expressions. 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 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 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 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 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 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...
 

Function Documentation

◆ operator==() [1/3]

SetRel Gecode::operator== ( const SetExpr e0,
const SetExpr e1 
)

Equality of set expressions.

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

◆ operator!=() [1/3]

SetRel Gecode::operator!= ( const SetExpr e0,
const SetExpr e1 
)

Disequality of set expressions.

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

◆ operator<=() [1/4]

SetCmpRel Gecode::operator<= ( const SetExpr e0,
const SetExpr e1 
)

Subset of set expressions.

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

◆ operator<=() [2/4]

BoolExpr Gecode::operator<= ( const SetCmpRel r,
const SetExpr l 
)

Subset of set expressions.

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

◆ operator>=() [1/4]

SetCmpRel Gecode::operator>= ( const SetExpr e0,
const SetExpr e1 
)

Superset of set expressions.

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

◆ operator>=() [2/4]

BoolExpr Gecode::operator>= ( const SetCmpRel r,
const SetExpr l 
)

Superset of set expressions.

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

◆ operator||()

SetRel Gecode::operator|| ( const SetExpr e0,
const SetExpr e1 
)

Disjointness of set expressions.

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

◆ operator==() [2/3]

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 118 of file set-rel.cpp.

◆ operator==() [3/3]

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 122 of file set-rel.cpp.

◆ operator!=() [2/3]

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 127 of file set-rel.cpp.

◆ operator!=() [3/3]

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 132 of file set-rel.cpp.

◆ operator<=() [3/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 136 of file set-rel.cpp.

◆ operator<=() [4/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 141 of file set-rel.cpp.

◆ operator<() [1/2]

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 146 of file set-rel.cpp.

◆ operator<() [2/2]

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 151 of file set-rel.cpp.

◆ operator>=() [3/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 157 of file set-rel.cpp.

◆ operator>=() [4/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 162 of file set-rel.cpp.

◆ operator>() [1/2]

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 167 of file set-rel.cpp.

◆ operator>() [2/2]

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 172 of file set-rel.cpp.