syn::Mode Class Reference

Mode for a predicate. More...

#include <basic.h>

Inheritance diagram for syn::Mode:

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

Collaboration graph
[legend]

List of all members.

Public Member Functions

size_t getArity () const
 Get predicate arity.
string getInputModes (const string *vars) const
 Get input modes for given array of variables.
string getOutputModes (const string *vars) const
 Get output modes for given array of variables.
const string & getPredicate () const
 Get predicate name.
 Mode (const string &atom="")
 Constructor.
void set (const string &atom)
 Set mode.
string to_string () const
 Get string representation.
Type::TypeSystem typeSystem () const
 Return which type system is used.
virtual ~Mode ()
 Destructor.

Private Member Functions

string _get (const string *vars, Type *modearray) const
 From predicate arguments to type declarations.

Private Attributes

Typein
 Input types.
Typeout
 Output types.
size_t predarity
 Predicate arity.
string predname
 Predicate name.

Friends

ostream & operator<< (ostream &o, const Mode &m)
 Output to a stream.


Detailed Description

Mode for a predicate.


Constructor & Destructor Documentation

syn::Mode::Mode ( const string &  atom = ""  )  [inline]

Constructor.

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

Destructor.


Member Function Documentation

string syn::Mode::_get ( const string *  vars,
Type modearray 
) const [inline, private]

From predicate arguments to type declarations.

size_t syn::Mode::getArity (  )  const [inline]

Get predicate arity.

string syn::Mode::getInputModes ( const string *  vars  )  const [inline]

Get input modes for given array of variables.

string syn::Mode::getOutputModes ( const string *  vars  )  const [inline]

Get output modes for given array of variables.

const string& syn::Mode::getPredicate (  )  const [inline]

Get predicate name.

void syn::Mode::set ( const string &  atom  )  [inline]

Set mode.

string syn::Mode::to_string (  )  const [inline]

Get string representation.

Type::TypeSystem syn::Mode::typeSystem (  )  const [inline]

Return which type system is used.


Friends And Related Function Documentation

ostream& operator<< ( ostream &  o,
const Mode m 
) [friend]

Output to a stream.


Member Data Documentation

Type* syn::Mode::in [private]

Input types.

Type* syn::Mode::out [private]

Output types.

size_t syn::Mode::predarity [private]

Predicate arity.

string syn::Mode::predname [private]

Predicate name.


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