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

Gecode::FlatZinc::AST Namespace Reference

Abstract syntax trees for the FlatZinc interpreter. More...

Classes

class  TypeError
 Exception signaling type error More...
class  Node
 A node in a FlatZinc abstract syntax tree. More...
class  BoolLit
 Boolean literal node. More...
class  IntLit
 Integer literal node. More...
class  FloatLit
 Float literal node. More...
class  SetLit
 Set literal node More...
class  Var
 Variable node base class. More...
class  BoolVar
 Boolean variable node. More...
class  IntVar
 Integer variable node. More...
class  FloatVar
 Float variable node. More...
class  SetVar
 Set variable node More...
class  Array
 Array node More...
class  Call
 Node representing a function call More...
class  ArrayAccess
 Node representing an array access More...
class  Atom
 Node representing an atom More...
class  String
 String node More...

Functions

NodeextractSingleton (Node *n)

Detailed Description

Abstract syntax trees for the FlatZinc interpreter.


Function Documentation

Node* Gecode::FlatZinc::AST::extractSingleton ( Node *  n  )  [inline]

Definition at line 476 of file ast.hh.