#include "util.h"
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... |