syn::ParseAtom Class Reference

Callback class collecting the atom predicate and the list of its arguments. More...

#include <basic.h>

Inheritance diagram for syn::ParseAtom:

Inheritance graph
[legend]
Collaboration diagram for syn::ParseAtom:

Collaboration graph
[legend]

List of all members.

Public Member Functions

void atom (const string &name)
 Parsing an atom.
void atom_arg (const string &name)
 Parsing an atom argument.
 ParseAtom ()

Public Attributes

size_t argsize
 No of arguments.
string argslist
 List of arguments.
string predicate
 Predicate identifier.


Detailed Description

Callback class collecting the atom predicate and the list of its arguments.


Constructor & Destructor Documentation

syn::ParseAtom::ParseAtom (  )  [inline]


Member Function Documentation

void syn::ParseAtom::atom ( const string &  name  )  [inline]

Parsing an atom.

Reimplemented from syn::ParseAction.

void syn::ParseAtom::atom_arg ( const string &  name  )  [inline]

Parsing an atom argument.

Reimplemented from syn::ParseAction.


Member Data Documentation

size_t syn::ParseAtom::argsize

No of arguments.

string syn::ParseAtom::argslist

List of arguments.

string syn::ParseAtom::predicate

Predicate identifier.


The documentation for this class was generated from the following file:
Generated on Sun Nov 23 14:52:45 2008 for Typing linear constraints by  doxygen 1.5.4