syn Namespace Reference

Syntax for types, type declarations, modes and programs. More...


Classes

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

Enumerations

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


Detailed Description

Syntax for types, type declarations, modes and programs.


Enumeration Type Documentation

enum syn::TypeValues

Types.

Syntax: ! for definitiness, |n for lower and upper bounds with range at most n, |e for parametric typings, | for lower and upper bounds, _ for lower bound, ^ for upper bound, * for star.

Enumerator:
DEF 
BOX 
UP 
DOWN 
STAR 


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