#include <gecode/minimodel.hh>
Go to the source code of this file.
Functions | |
LinFloatRel | Gecode::operator== (const FloatVal &l, const FloatVar &r) |
Construct linear float equality relation. More... | |
LinFloatRel | Gecode::operator== (const FloatVal &l, const LinFloatExpr &r) |
Construct linear float equality relation. More... | |
LinFloatRel | Gecode::operator== (const FloatVar &l, const FloatVal &r) |
Construct linear float equality relation. More... | |
LinFloatRel | Gecode::operator== (const LinFloatExpr &l, const FloatVal &r) |
Construct linear float equality relation. More... | |
LinFloatRel | Gecode::operator== (const FloatVar &l, const FloatVar &r) |
Construct linear float equality relation. More... | |
LinFloatRel | Gecode::operator== (const FloatVar &l, const LinFloatExpr &r) |
Construct linear float equality relation. More... | |
LinFloatRel | Gecode::operator== (const LinFloatExpr &l, const FloatVar &r) |
Construct linear float equality relation. More... | |
LinFloatRel | Gecode::operator== (const LinFloatExpr &l, const LinFloatExpr &r) |
Construct linear float equality relation. More... | |
LinFloatRel | Gecode::operator!= (const FloatVal &l, const FloatVar &r) |
Construct linear float disequality relation. More... | |
LinFloatRel | Gecode::operator!= (const FloatVal &l, const LinFloatExpr &r) |
Construct linear float disequality relation. More... | |
LinFloatRel | Gecode::operator!= (const FloatVar &l, const FloatVal &r) |
Construct linear float disequality relation. More... | |
LinFloatRel | Gecode::operator!= (const LinFloatExpr &l, const FloatVal &r) |
Construct linear float disequality relation. More... | |
LinFloatRel | Gecode::operator!= (const FloatVar &l, const FloatVar &r) |
Construct linear float disequality relation. More... | |
LinFloatRel | Gecode::operator!= (const FloatVar &l, const LinFloatExpr &r) |
Construct linear float disequality relation. More... | |
LinFloatRel | Gecode::operator!= (const LinFloatExpr &l, const FloatVar &r) |
Construct linear float disequality relation. More... | |
LinFloatRel | Gecode::operator!= (const LinFloatExpr &l, const LinFloatExpr &r) |
Construct linear float disequality relation. More... | |
LinFloatRel | Gecode::operator<= (const FloatVal &l, const FloatVar &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator<= (const FloatVal &l, const LinFloatExpr &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator<= (const FloatVar &l, const FloatVal &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator<= (const LinFloatExpr &l, const FloatVal &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator<= (const FloatVar &l, const FloatVar &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator<= (const FloatVar &l, const LinFloatExpr &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator<= (const LinFloatExpr &l, const FloatVar &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator<= (const LinFloatExpr &l, const LinFloatExpr &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator< (const FloatVal &l, const FloatVar &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator< (const FloatVal &l, const LinFloatExpr &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator< (const FloatVar &l, const FloatVal &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator< (const LinFloatExpr &l, const FloatVal &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator< (const FloatVar &l, const FloatVar &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator< (const FloatVar &l, const LinFloatExpr &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator< (const LinFloatExpr &l, const FloatVar &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator< (const LinFloatExpr &l, const LinFloatExpr &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator>= (const FloatVal &l, const FloatVar &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator>= (const FloatVal &l, const LinFloatExpr &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator>= (const FloatVar &l, const FloatVal &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator>= (const LinFloatExpr &l, const FloatVal &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator>= (const FloatVar &l, const FloatVar &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator>= (const FloatVar &l, const LinFloatExpr &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator>= (const LinFloatExpr &l, const FloatVar &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator>= (const LinFloatExpr &l, const LinFloatExpr &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator> (const FloatVal &l, const FloatVar &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator> (const FloatVal &l, const LinFloatExpr &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator> (const FloatVar &l, const FloatVal &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator> (const LinFloatExpr &l, const FloatVal &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator> (const FloatVar &l, const FloatVar &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator> (const FloatVar &l, const LinFloatExpr &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator> (const LinFloatExpr &l, const FloatVar &r) |
Construct linear float inequality relation. More... | |
LinFloatRel | Gecode::operator> (const LinFloatExpr &l, const LinFloatExpr &r) |
Construct linear float inequality relation. More... | |
Construct linear float equality relation.
Definition at line 45 of file float-rel.cpp.
LinFloatRel Gecode::operator== | ( | const FloatVal & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float equality relation.
Definition at line 49 of file float-rel.cpp.
Construct linear float equality relation.
Definition at line 53 of file float-rel.cpp.
LinFloatRel Gecode::operator== | ( | const LinFloatExpr & | l, |
const FloatVal & | r | ||
) |
Construct linear float equality relation.
Definition at line 57 of file float-rel.cpp.
Construct linear float equality relation.
Definition at line 61 of file float-rel.cpp.
LinFloatRel Gecode::operator== | ( | const FloatVar & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float equality relation.
Definition at line 65 of file float-rel.cpp.
LinFloatRel Gecode::operator== | ( | const LinFloatExpr & | l, |
const FloatVar & | r | ||
) |
Construct linear float equality relation.
Definition at line 69 of file float-rel.cpp.
LinFloatRel Gecode::operator== | ( | const LinFloatExpr & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float equality relation.
Definition at line 73 of file float-rel.cpp.
Construct linear float disequality relation.
Definition at line 78 of file float-rel.cpp.
LinFloatRel Gecode::operator!= | ( | const FloatVal & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float disequality relation.
Definition at line 82 of file float-rel.cpp.
Construct linear float disequality relation.
Definition at line 86 of file float-rel.cpp.
LinFloatRel Gecode::operator!= | ( | const LinFloatExpr & | l, |
const FloatVal & | r | ||
) |
Construct linear float disequality relation.
Definition at line 90 of file float-rel.cpp.
Construct linear float disequality relation.
Definition at line 94 of file float-rel.cpp.
LinFloatRel Gecode::operator!= | ( | const FloatVar & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float disequality relation.
Definition at line 98 of file float-rel.cpp.
LinFloatRel Gecode::operator!= | ( | const LinFloatExpr & | l, |
const FloatVar & | r | ||
) |
Construct linear float disequality relation.
Definition at line 102 of file float-rel.cpp.
LinFloatRel Gecode::operator!= | ( | const LinFloatExpr & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float disequality relation.
Definition at line 106 of file float-rel.cpp.
Construct linear float inequality relation.
Definition at line 110 of file float-rel.cpp.
LinFloatRel Gecode::operator<= | ( | const FloatVal & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 114 of file float-rel.cpp.
Construct linear float inequality relation.
Definition at line 118 of file float-rel.cpp.
LinFloatRel Gecode::operator<= | ( | const LinFloatExpr & | l, |
const FloatVal & | r | ||
) |
Construct linear float inequality relation.
Definition at line 122 of file float-rel.cpp.
Construct linear float inequality relation.
Definition at line 126 of file float-rel.cpp.
LinFloatRel Gecode::operator<= | ( | const FloatVar & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 130 of file float-rel.cpp.
LinFloatRel Gecode::operator<= | ( | const LinFloatExpr & | l, |
const FloatVar & | r | ||
) |
Construct linear float inequality relation.
Definition at line 134 of file float-rel.cpp.
LinFloatRel Gecode::operator<= | ( | const LinFloatExpr & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 138 of file float-rel.cpp.
Construct linear float inequality relation.
Definition at line 143 of file float-rel.cpp.
LinFloatRel Gecode::operator< | ( | const FloatVal & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 147 of file float-rel.cpp.
Construct linear float inequality relation.
Definition at line 151 of file float-rel.cpp.
LinFloatRel Gecode::operator< | ( | const LinFloatExpr & | l, |
const FloatVal & | r | ||
) |
Construct linear float inequality relation.
Definition at line 155 of file float-rel.cpp.
Construct linear float inequality relation.
Definition at line 159 of file float-rel.cpp.
LinFloatRel Gecode::operator< | ( | const FloatVar & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 163 of file float-rel.cpp.
LinFloatRel Gecode::operator< | ( | const LinFloatExpr & | l, |
const FloatVar & | r | ||
) |
Construct linear float inequality relation.
Definition at line 167 of file float-rel.cpp.
LinFloatRel Gecode::operator< | ( | const LinFloatExpr & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 171 of file float-rel.cpp.
Construct linear float inequality relation.
Definition at line 177 of file float-rel.cpp.
LinFloatRel Gecode::operator>= | ( | const FloatVal & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 181 of file float-rel.cpp.
Construct linear float inequality relation.
Definition at line 185 of file float-rel.cpp.
LinFloatRel Gecode::operator>= | ( | const LinFloatExpr & | l, |
const FloatVal & | r | ||
) |
Construct linear float inequality relation.
Definition at line 189 of file float-rel.cpp.
Construct linear float inequality relation.
Definition at line 193 of file float-rel.cpp.
LinFloatRel Gecode::operator>= | ( | const FloatVar & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 197 of file float-rel.cpp.
LinFloatRel Gecode::operator>= | ( | const LinFloatExpr & | l, |
const FloatVar & | r | ||
) |
Construct linear float inequality relation.
Definition at line 201 of file float-rel.cpp.
LinFloatRel Gecode::operator>= | ( | const LinFloatExpr & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 205 of file float-rel.cpp.
Construct linear float inequality relation.
Definition at line 210 of file float-rel.cpp.
LinFloatRel Gecode::operator> | ( | const FloatVal & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 214 of file float-rel.cpp.
Construct linear float inequality relation.
Definition at line 218 of file float-rel.cpp.
LinFloatRel Gecode::operator> | ( | const LinFloatExpr & | l, |
const FloatVal & | r | ||
) |
Construct linear float inequality relation.
Definition at line 222 of file float-rel.cpp.
Construct linear float inequality relation.
Definition at line 226 of file float-rel.cpp.
LinFloatRel Gecode::operator> | ( | const FloatVar & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 230 of file float-rel.cpp.
LinFloatRel Gecode::operator> | ( | const LinFloatExpr & | l, |
const FloatVar & | r | ||
) |
Construct linear float inequality relation.
Definition at line 234 of file float-rel.cpp.
LinFloatRel Gecode::operator> | ( | const LinFloatExpr & | l, |
const LinFloatExpr & | r | ||
) |
Construct linear float inequality relation.
Definition at line 238 of file float-rel.cpp.