CarriedValue functions. More...
Include dependency graph for CarriedValue.hh:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| class | Diades::Altarica::EncodingVariableFunctor |
| class | Diades::Altarica::EncVariableFactoryFunctor |
Namespaces | |
| Diades | |
| Namespace of the Diades project. | |
| Diades::Altarica | |
Typedefs | |
| typedef pair< Value, Formula > | Diades::Altarica::CarriedValue |
Functions | |
| bool | Diades::Altarica::getCarriedValues (Expression *expr, EncodingVariableFunctor &functor, const Identifier &varPrefixName, Formula context, vector< CarriedValue > &values) |
| ostream & | Diades::Altarica::operator<< (ostream &os, const CarriedValue &value) |
