#include <basic.h>
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 | |
Type * | in |
Input types. | |
Type * | out |
Output types. | |
size_t | predarity |
Predicate arity. | |
string | predname |
Predicate name. | |
Friends | |
ostream & | operator<< (ostream &o, const Mode &m) |
Output to a stream. |
syn::Mode::Mode | ( | const string & | atom = "" |
) | [inline] |
Constructor.
virtual syn::Mode::~Mode | ( | ) | [inline, virtual] |
Destructor.
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.
ostream& operator<< | ( | ostream & | o, | |
const Mode & | m | |||
) | [friend] |
Output to a stream.
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.