syn::Program Class Reference

A moded set of rules. More...

#include <basic.h>

Inheritance diagram for syn::Program:

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

Collaboration graph
[legend]

List of all members.

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.


Detailed Description

A moded set of rules.


Constructor & Destructor Documentation

syn::Program::Program ( const string &  program = ""  )  [inline]

Constructor.

virtual syn::Program::~Program (  )  [inline, virtual]

Destructor.


Member Function Documentation

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.


Friends And Related Function Documentation

ostream& operator<< ( ostream &  o,
Program r 
) [friend]

Output to a stream.


Member Data Documentation

vector<Mode *> syn::Program::modes

Predicate modes.

vector<Rule *> syn::Program::rules

Program rules.


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