#include <basic.h>
Public Member Functions | |
const Atom * | getBodyAtom (size_t i) const |
Get body atom. | |
const string & | getConstraint () const |
Get rule constraint. | |
const Atom * | getHead () const |
Get rule head atom. | |
Rule (const string &rule="") | |
Constructor. | |
void | set (const string &rule) |
Set the rule. | |
size_t | size () const |
Get number of atoms in the body. | |
string | to_string () const |
Get string representation. | |
Type::TypeSystem | typeSystem (const vector< Mode * > &modes) const |
Return which type system is used. | |
virtual | ~Rule () |
Destructor. | |
Static Private Member Functions | |
static string | _parse_body (const char *head) |
Private Attributes | |
vector< Atom * > | body |
Array of body atoms. | |
string | constraint |
Constraint. | |
Atom | head |
Head. | |
Friends | |
ostream & | operator<< (ostream &o, const Rule &m) |
Output to a stream. |
syn::Rule::Rule | ( | const string & | rule = "" |
) | [inline] |
Constructor.
virtual syn::Rule::~Rule | ( | ) | [inline, virtual] |
Destructor.
static string syn::Rule::_parse_body | ( | const char * | head | ) | [inline, static, private] |
const Atom* syn::Rule::getBodyAtom | ( | size_t | i | ) | const [inline] |
Get body atom.
const string& syn::Rule::getConstraint | ( | ) | const [inline] |
Get rule constraint.
const Atom* syn::Rule::getHead | ( | ) | const [inline] |
Get rule head atom.
void syn::Rule::set | ( | const string & | rule | ) | [inline] |
Set the rule.
size_t syn::Rule::size | ( | ) | const [inline] |
Get number of atoms in the body.
string syn::Rule::to_string | ( | ) | const [inline] |
Get string representation.
Type::TypeSystem syn::Rule::typeSystem | ( | const vector< Mode * > & | modes | ) | const [inline] |
Return which type system is used.
ostream& operator<< | ( | ostream & | o, | |
const Rule & | m | |||
) | [friend] |
Output to a stream.
vector<Atom *> syn::Rule::body [private] |
Array of body atoms.
string syn::Rule::constraint [private] |
Constraint.
Atom syn::Rule::head [private] |
Head.