#include <basic.h>
Public Member Functions | |
Program (const string &program="") | |
Constructor. | |
void | set (const string &program) |
Set program from source code. | |
Type::TypeSystem | typeSystem () const |
Return which type system is used. | |
virtual | ~Program () |
Destructor. | |
Static Public Member Functions | |
static string | parse (istream &in) |
Parse an input stream containing a program. | |
Public Attributes | |
vector< Mode * > | modes |
Predicate modes. | |
vector< Rule * > | rules |
Program rules. | |
Private Member Functions | |
void | clear () |
Clear data. | |
Friends | |
ostream & | operator<< (ostream &o, Program &r) |
Output to a stream. |
syn::Program::Program | ( | const string & | program = "" |
) | [inline] |
Constructor.
virtual syn::Program::~Program | ( | ) | [inline, virtual] |
Destructor.
void syn::Program::clear | ( | ) | [inline, private] |
Clear data.
static string syn::Program::parse | ( | istream & | in | ) | [inline, static] |
Parse an input stream containing a program.
void syn::Program::set | ( | const string & | program | ) | [inline] |
Set program from source code.
Parse a list of terms., Parse a list of terms.,
Type::TypeSystem syn::Program::typeSystem | ( | ) | const [inline] |
Return which type system is used.
ostream& operator<< | ( | ostream & | o, | |
Program & | r | |||
) | [friend] |
Output to a stream.
vector<Mode *> syn::Program::modes |
Predicate modes.
vector<Rule *> syn::Program::rules |
Program rules.