DiaDes  0.1
DIAgnosisofDiscrete-EventSystem
Classes | Namespaces | Functions
Expression.hh File Reference
#include <vector>
#include <arsyntax/altarica-tree.h>
#include <diades/utils/Exceptions.hh>
#include <diades/altarica/Value.hh>
#include <diades/altarica/Domains.hh>
#include <diades/altarica/VariableDecl.hh>
#include <diades/altarica/Type.hh>
Include dependency graph for Expression.hh:

Go to the source code of this file.

Classes

class  Diades::Altarica::Expression
 
class  Diades::Altarica::NullExpression
 
class  Diades::Altarica::IteExpression
 
class  Diades::Altarica::CaseExpression
 
class  Diades::Altarica::BinaryExpression
 
class  Diades::Altarica::UnaryExpression
 
class  Diades::Altarica::StructMemberExpression
 
class  Diades::Altarica::ArrayMemberExpression
 
class  Diades::Altarica::VarExpression
 
class  Diades::Altarica::IdExpression
 
class  Diades::Altarica::MinMaxExpression
 
class  Diades::Altarica::TrueExpression
 
class  Diades::Altarica::FalseExpression
 
class  Diades::Altarica::IntegerExpression
 
class  Diades::Altarica::ForAllExpression
 
class  Diades::Altarica::ExistExpression
 
class  Diades::Altarica::FunctionCallExpression
 
class  Diades::Altarica::StructExpression
 
class  Diades::Altarica::ArrayExpression
 

Namespaces

 Diades
 Namespace of the Diades project.
 
 Diades::Altarica
 

Functions

bool Diades::Altarica::mergeExpressionSupports (const Expression::ExprVector &expr, vector< VariableDecl::ConstReference > &mergedSupport)
 
void Diades::Altarica::appendExpressionSupports (const Expression::ExprVector &expr, vector< VariableDecl::ConstReference > &appendedSupport)
 
const Expression & Diades::Altarica::nullExpression ()