Generated on Wed Jan 4 17:49:16 2006 for Gecode by doxygen 1.4.6

minimodel.hh File Reference

(Revision: 2634)

#include "./kernel.hh"

Go to the source code of this file.

Namespaces

namespace  Gecode
namespace  Gecode::MiniModel

Classes

class  Gecode::MiniModel::LinExpr
 Linear expressions. More...
class  Gecode::MiniModel::LinRel
 Linear relations. More...
class  Gecode::MiniModel::BoolExpr
 Boolean expressions. More...
class  Gecode::MiniModel::BoolExpr::Node
 Node for Boolean expression. More...
class  Gecode::MiniModel::BoolRel
 Boolean relations. More...
class  Gecode::MiniModel::Matrix< A >
 Matrix-interface for arrays. More...
class  Gecode::MiniModel::Matrix< A >::Slice
 A slice of a matrix. More...

Functions

Gecode::MiniModel::LinExpr operator+ (int, const Gecode::MiniModel::LinExpr &)
 Construct linear expression as sum of linear expression and integer.
Gecode::MiniModel::LinExpr operator+ (const Gecode::MiniModel::LinExpr &, int)
 Construct linear expression as sum of integer and linear expression.
Gecode::MiniModel::LinExpr operator+ (const Gecode::MiniModel::LinExpr &, const Gecode::MiniModel::LinExpr &)
 Construct linear expression as sum of linear expressions.
Gecode::MiniModel::LinExpr operator- (int, const Gecode::MiniModel::LinExpr &)
 Construct linear expression as difference of linear expression and integer.
Gecode::MiniModel::LinExpr operator- (const Gecode::MiniModel::LinExpr &, int)
 Construct linear expression as difference of integer and linear expression.
Gecode::MiniModel::LinExpr operator- (const Gecode::MiniModel::LinExpr &, const Gecode::MiniModel::LinExpr &)
 Construct linear expression as difference of linear expressions.
Gecode::MiniModel::LinExpr operator- (const Gecode::MiniModel::LinExpr &)
 Construct linear expression as negative of linear expression.
Gecode::MiniModel::LinExpr operator * (int, const Gecode::IntVar &)
 Construct linear expression as product of integer coefficient and integer variable.
Gecode::MiniModel::LinExpr operator * (const Gecode::IntVar &, int)
 Construct linear expression as product of integer coefficient and integer variable.
Gecode::MiniModel::LinExpr operator * (const Gecode::MiniModel::LinExpr &, int)
 Construct linear expression as product of integer coefficient and linear expression.
Gecode::MiniModel::LinExpr operator * (int, const Gecode::MiniModel::LinExpr &)
 Construct linear expression as product of integer coefficient and linear expression.
Gecode::MiniModel::LinRel operator== (int l, const Gecode::MiniModel::LinExpr &r)
 Construct linear equality relation.
Gecode::MiniModel::LinRel operator== (const Gecode::MiniModel::LinExpr &l, int r)
 Construct linear equality relation.
Gecode::MiniModel::LinRel operator== (const Gecode::MiniModel::LinExpr &l, const Gecode::MiniModel::LinExpr &r)
 Construct linear equality relation.
Gecode::MiniModel::LinRel operator!= (int l, const Gecode::MiniModel::LinExpr &r)
 Construct linear disequality relation.
Gecode::MiniModel::LinRel operator!= (const Gecode::MiniModel::LinExpr &l, int r)
 Construct linear disequality relation.
Gecode::MiniModel::LinRel operator!= (const Gecode::MiniModel::LinExpr &l, const Gecode::MiniModel::LinExpr &r)
 Construct linear disequality relation.
Gecode::MiniModel::LinRel operator< (int l, const Gecode::MiniModel::LinExpr &r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator< (const Gecode::MiniModel::LinExpr &l, int r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator< (const Gecode::MiniModel::LinExpr &l, const Gecode::MiniModel::LinExpr &r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator<= (int l, const Gecode::MiniModel::LinExpr &r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator<= (const Gecode::MiniModel::LinExpr &l, int r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator<= (const Gecode::MiniModel::LinExpr &l, const Gecode::MiniModel::LinExpr &r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator> (int l, const Gecode::MiniModel::LinExpr &r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator> (const Gecode::MiniModel::LinExpr &l, int r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator> (const Gecode::MiniModel::LinExpr &l, const Gecode::MiniModel::LinExpr &r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator>= (int l, const Gecode::MiniModel::LinExpr &r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator>= (const Gecode::MiniModel::LinExpr &l, int r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator>= (const Gecode::MiniModel::LinExpr &l, const Gecode::MiniModel::LinExpr &r)
 Construct linear inequality relation.
Gecode::MiniModel::BoolExpr operator! (const Gecode::MiniModel::BoolExpr &)
 Negated Boolean expression.
Gecode::MiniModel::BoolExpr operator && (const Gecode::MiniModel::BoolExpr &, const Gecode::MiniModel::BoolExpr &)
 Conjunction of Boolean expressions.
Gecode::MiniModel::BoolExpr operator|| (const Gecode::MiniModel::BoolExpr &, const Gecode::MiniModel::BoolExpr &)
 Disjunction of Boolean expressions.
Gecode::MiniModel::BoolExpr operator^ (const Gecode::MiniModel::BoolExpr &, const Gecode::MiniModel::BoolExpr &)
 Exclusive-or of Boolean expressions.
Gecode::MiniModel::BoolExpr operator~ (const Gecode::MiniModel::LinExpr &)
 Reification of linear expression.
MiniModel::BoolExpr Gecode::eqv (const MiniModel::BoolExpr &, const MiniModel::BoolExpr &)
 Equivalence of Boolean expressions.
MiniModel::BoolExpr Gecode::imp (const MiniModel::BoolExpr &, const MiniModel::BoolExpr &)
 Implication of Boolean expressions.
MiniModel::BoolRel Gecode::tt (const MiniModel::BoolExpr &)
 State that Boolean expression must be true.
MiniModel::BoolRel Gecode::ff (const MiniModel::BoolExpr &)
 State that Boolean expression must be false.
IntVar Gecode::post (Space *home, const MiniModel::LinExpr &e)
 Post linear expression and return its value.
IntVar Gecode::post (Space *home, const IntVar &x)
 Post linear expression (special case for variable) and return its value.
IntVar Gecode::post (Space *home, int n)
 Post linear expression (special case for constant) and return its value.
void Gecode::post (Space *home, const MiniModel::LinRel &r)
 Post linear relation.
void Gecode::post (Space *home, bool r)
 Make it work for special integer only-case.
BoolVar Gecode::post (Space *home, const MiniModel::BoolExpr &e)
 Post Boolean expression and return its value.
BoolVar Gecode::post (Space *home, const BoolVar &b)
 Post Boolean expression (special case for variable) and return its value.
void Gecode::post (Space *home, const MiniModel::BoolRel &r)
 Post Boolean relation.
void Gecode::producer_consumer (Space *home, const IntVarArgs &produce_date, const IntArgs &produce_amount, const IntVarArgs &consume_date, const IntArgs &consume_amount, int initial, IntConLevel icl=ICL_DEF)
 Creates propagator for a producer-consumer constraint.
void Gecode::cumulative (Space *home, const IntVarArgs &start, const IntVarArgs &duration, const IntVarArgs &height, int limit, bool at_most=true, IntConLevel cl=ICL_DEF)
 Creates propagator for the cumulative constraint.
void Gecode::cumulative (Space *home, const IntVarArgs &start, const IntArgs &duration, const IntVarArgs &height, int limit, bool at_most=true, IntConLevel cl=ICL_DEF)
 Creates propagator for the cumulative constraint.
void Gecode::cumulative (Space *home, const IntVarArgs &start, const IntVarArgs &duration, const IntArgs &height, int limit, bool at_most=true, IntConLevel cl=ICL_DEF)
 Creates propagator for the cumulative constraint.
void Gecode::cumulative (Space *home, const IntVarArgs &start, const IntArgs &duration, const IntArgs &height, int limit, bool at_most=true, IntConLevel cl=ICL_DEF)
 Creates propagator for the cumulative constraint.
void Gecode::serialized (Space *home, const IntVarArgs &start, const IntVarArgs &duration, IntConLevel cl=ICL_DEF)
 Creates propagator for the serialized constraint.
void Gecode::serialized (Space *home, const IntVarArgs &start, const IntArgs &duration, IntConLevel cl=ICL_DEF)
 Creates propagator for the serialized constraint.