12 #ifndef __DIADES__ALTARICA__CARRIEDVALUE__HH 13 #define __DIADES__ALTARICA__CARRIEDVALUE__HH 54 _prefix(varPrefixName){}
57 return _factory->newVariable(_prefix+
"." + variable.label());
85 vector<CarriedValue> & values);
96 ostream &
operator <<(ostream & os,
const CarriedValue & value);
An Identifier is a reference to a string (IdentifierData) that only contains alpha-numeric characters...
EncVariableFactoryFunctor(EncVariableFactory &factory, const string &varPrefixName)
virtual EncVariable operator()(const Variable &variable)
EncVariableFactory * _factory
Namespace of the Diades project.
pair< Value, Formula > CarriedValue
ostream & operator<<(ostream &os, const CarriedValue &value)
bool getCarriedValues(Expression *expr, EncodingVariableFunctor &functor, const Identifier &varPrefixName, Formula context, vector< CarriedValue > &values)
virtual EncVariable operator()(const Variable &variable)=0