Generated on Thu Mar 22 10:39:59 2012 for Gecode by doxygen 1.6.3

Gecode::MiniModel Namespace Reference
[Support for cost-based optimization]

Minimalistic modeling support. More...

Classes

class  ArithNonLinExpr
 Non-linear arithmetic expressions. More...
class  TooFewArguments
 Exception: Too few arguments available in argument array More...
class  ArgumentSizeMismatch
 Exception: Sizes of arguments does not match More...
class  ArgumentOutOfRange
 Exception: Argument out of range More...
class  PosSet
 Sets of positions. More...
class  NodeInfo
 Node information computed during traversal of the expressions. More...
class  ExpInfo
 Expression information. More...
class  PosInfo
 Information on positions collected during traversal. More...
class  StateNode
 Node together with state information More...
class  StatePool
 State pool combines a tree of states together with yet unprocessed states More...
class  SymbolsInc
 Sort symbols. More...
class  TransitionBag
 For collecting transitions while constructing a DFA. More...
class  FinalBag
 For collecting final states while constructing a DFA. More...
class  SetNonLinExpr
 Integer valued set expressions. More...
class  OptimizeSpace
 Baseclass for cost-based optimization. More...

Typedefs

typedef
Support::BlockAllocator
< PosSet, Heap
PosSetAllocator
 Allocator for position sets.
typedef
Support::BlockAllocator
< StateNode, Heap
StatePoolAllocator
 Allocator for state nodes.

Enumerations

enum  PosSetCmp { PSC_LE, PSC_EQ, PSC_GR }
 

Order on position sets.

More...

Functions

bool hasType (const LinExpr &e, ArithNonLinExpr::ArithNonLinExprType t)
 Check if e is of type t.

Detailed Description

Minimalistic modeling support.


Typedef Documentation

Allocator for position sets.

Definition at line 44 of file reg.cpp.

Allocator for state nodes.

Definition at line 573 of file reg.cpp.


Enumeration Type Documentation

Order on position sets.

Enumerator:
PSC_LE 
PSC_EQ 
PSC_GR 

Definition at line 365 of file reg.cpp.


Function Documentation

bool Gecode::MiniModel::hasType ( const LinExpr &  e,
ArithNonLinExpr::ArithNonLinExprType  t 
)

Check if e is of type t.

Definition at line 242 of file arithmetic.cpp.