Generated on Sat Feb 7 2015 02:01:42 for Gecode by doxygen 1.8.9.1
Gecode::FlatZinc::AST Namespace Reference

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

Classes

class  Array
 Array node More...
 
class  ArrayAccess
 Node representing an array access More...
 
class  Atom
 Node representing an atom More...
 
class  BoolLit
 Boolean literal node. More...
 
class  BoolVar
 Boolean variable node. More...
 
class  Call
 Node representing a function call More...
 
class  FloatLit
 Float literal node. More...
 
class  FloatVar
 Float variable node. More...
 
class  IntLit
 Integer literal node. More...
 
class  IntVar
 Integer variable node. More...
 
class  Node
 A node in a FlatZinc abstract syntax tree. More...
 
class  SetLit
 Set literal node More...
 
class  SetVar
 Set variable node More...
 
class  String
 String node More...
 
class  TypeError
 Exception signaling type error More...
 
class  Var
 Variable node base class. 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 519 of file ast.hh.