#include <vector>
#include "Domains.hh"
Go to the source code of this file.
|
Variable | Diades::Altarica::newVariable (const Identifier &label, Domain domain, const set< Identifier > &attributes) |
|
Variable | Diades::Altarica::newVariable (const Identifier &label, Domain domain, const set< Identifier > &attributes, Node node) |
|
Variable | Diades::Altarica::newVariable (const Identifier &label, const set< Variable > &variables, Node node) |
|
Variable | Diades::Altarica::newVariable (const Identifier &label, Domain domain, const set< Identifier > &attributes, Variable variable) |
|