Generated on Fri Oct 19 11:26:18 2018 for Gecode by doxygen 1.6.3

Gecode::MiniModel Namespace Reference

Minimalistic modeling support. More...

Classes

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  ArithNonLinFloatExpr
 Non-linear float arithmetic expressions. More...
class  ArithNonLinIntExpr
 Non-linear arithmetic expressions over integer variables. 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  SetNonLinIntExpr
 Integer valued set expressions. More...

Typedefs

typedef
Support::BlockAllocator
< PosSet, Region
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 LinFloatExpr &e, ArithNonLinFloatExpr::ArithNonLinFloatExprType t)
 Check if e is of type t.
bool hasType (const LinIntExpr &e, ArithNonLinIntExpr::ArithNonLinIntExprType t)
 Check if e is of type t.

Detailed Description

Minimalistic modeling support.


Typedef Documentation

Allocator for position sets.

Definition at line 40 of file reg.cpp.

Allocator for state nodes.

Definition at line 652 of file reg.cpp.


Enumeration Type Documentation

Order on position sets.

Enumerator:
PSC_LE 
PSC_EQ 
PSC_GR 

Definition at line 442 of file reg.cpp.


Function Documentation

bool Gecode::MiniModel::hasType ( const LinFloatExpr &  e,
ArithNonLinFloatExpr::ArithNonLinFloatExprType  t 
)

Check if e is of type t.

Definition at line 316 of file float-arith.cpp.

bool Gecode::MiniModel::hasType ( const LinIntExpr &  e,
ArithNonLinIntExpr::ArithNonLinIntExprType  t 
)

Check if e is of type t.

Definition at line 288 of file int-arith.cpp.