basic.h File Reference

#include "util.h"

Include dependency graph for basic.h:

This graph shows which files directly or indirectly include this file:


Namespaces

namespace  syn

Classes

class  syn::Atom
 A moded atom. More...
class  syn::Mode
 Mode for a predicate. More...
class  syn::ParseAction
 Callback interface for the Parsing class. More...
class  syn::ParseAtom
 Callback class collecting the atom predicate and the list of its arguments. More...
class  syn::ParseVar
 Callback class collecting the list of variables typed by a provided type. More...
class  syn::Parsing< F >
 Methods for parsing terms and atoms with callback actions. More...
class  syn::Program
 A moded set of rules. More...
class  syn::Rule
 A program rule. More...
class  syn::Type
 Type element. More...
class  syn::TypeDecl
 Type declaration. More...

Enumerations

enum  syn::TypeValues {
  syn::DEF, syn::BOX, syn::UP, syn::DOWN,
  syn::STAR
}
 Types. More...

Detailed Description


Generated on Sun Nov 23 14:52:39 2008 for Typing linear constraints by  doxygen 1.5.4