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... |
enum syn::TypeValues |