Generated on Tue May 22 09:40:33 2018 for Gecode by doxygen 1.6.3

set-rel.cpp File Reference

#include <gecode/minimodel.hh>

Go to the source code of this file.

Namespaces

namespace  Gecode
 

Gecode toplevel namespace


Functions

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

Variable Documentation

SetExpr _s

The set expression.

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

LinIntExpr _x

The integer expression.

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

IntRelType _irt

The integer relation type.

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