Expression.cpp File Reference

#include <map>
#include <unordered_map>
#include "storm/exceptions/InvalidArgumentException.h"
#include "storm/exceptions/InvalidTypeException.h"
#include "storm/storage/expressions/ChangeManagerVisitor.h"
#include "storm/storage/expressions/CheckIfThenElseGuardVisitor.h"
#include "storm/storage/expressions/CompiledExpression.h"
#include "storm/storage/expressions/Expression.h"
#include "storm/storage/expressions/ExpressionManager.h"
#include "storm/storage/expressions/Expressions.h"
#include "storm/storage/expressions/LinearityCheckVisitor.h"
#include "storm/storage/expressions/OperatorType.h"
#include "storm/storage/expressions/RestrictSyntaxVisitor.h"
#include "storm/storage/expressions/SubstitutionVisitor.h"
#include "storm/storage/expressions/SyntacticalEqualityCheckVisitor.h"
#include "storm/utility/macros.h"

Include dependency graph for Expression.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::expressions

Functions
static void	storm::expressions::assertSameManager (BaseExpression const &a, BaseExpression const &b)
	Checks whether the two expressions share the same expression manager.
std::ostream &	storm::expressions::operator<< (std::ostream &stream, Expression const &expression)
Expression	storm::expressions::operator+ (Expression const &first, Expression const &second)
Expression	storm::expressions::operator+ (Expression const &first, int64_t second)
Expression	storm::expressions::operator+ (int64_t first, Expression const &second)
Expression	storm::expressions::operator- (Expression const &first, Expression const &second)
Expression	storm::expressions::operator- (Expression const &first, int64_t second)
Expression	storm::expressions::operator- (int64_t first, Expression const &second)
Expression	storm::expressions::operator- (Expression const &first)
Expression	storm::expressions::operator* (Expression const &first, Expression const &second)
Expression	storm::expressions::operator/ (Expression const &first, Expression const &second)
Expression	storm::expressions::operator% (Expression const &first, Expression const &second)
Expression	storm::expressions::operator&& (Expression const &first, Expression const &second)
Expression	storm::expressions::operator|| (Expression const &first, Expression const &second)
Expression	storm::expressions::operator! (Expression const &first)
Expression	storm::expressions::operator== (Expression const &first, Expression const &second)
Expression	storm::expressions::operator!= (Expression const &first, Expression const &second)
Expression	storm::expressions::operator> (Expression const &first, Expression const &second)
Expression	storm::expressions::operator>= (Expression const &first, Expression const &second)
Expression	storm::expressions::operator< (Expression const &first, Expression const &second)
Expression	storm::expressions::operator<= (Expression const &first, Expression const &second)
Expression	storm::expressions::operator< (Expression const &first, int64_t second)
Expression	storm::expressions::operator> (Expression const &first, int64_t second)
Expression	storm::expressions::operator<= (Expression const &first, int64_t second)
Expression	storm::expressions::operator>= (Expression const &first, int64_t second)
Expression	storm::expressions::minimum (Expression const &first, Expression const &second)
Expression	storm::expressions::maximum (Expression const &first, Expression const &second)
Expression	storm::expressions::ite (Expression const &condition, Expression const &thenExpression, Expression const &elseExpression)
Expression	storm::expressions::implies (Expression const &first, Expression const &second)
Expression	storm::expressions::iff (Expression const &first, Expression const &second)
Expression	storm::expressions::xclusiveor (Expression const &first, Expression const &second)
Expression	storm::expressions::pow (Expression const &base, Expression const &exponent, bool allowIntegerType=false)
	The type of the resulting expression is.
Expression	storm::expressions::floor (Expression const &first)
Expression	storm::expressions::ceil (Expression const &first)
Expression	storm::expressions::round (Expression const &first)
Expression	storm::expressions::abs (Expression const &first)
Expression	storm::expressions::sign (Expression const &first)
Expression	storm::expressions::truncate (Expression const &first)
Expression	storm::expressions::atLeastOneOf (std::vector< Expression > const &expressions)
Expression	storm::expressions::atMostOneOf (std::vector< Expression > const &expressions)
Expression	storm::expressions::exactlyOneOf (std::vector< Expression > const &expressions)
Expression	storm::expressions::disjunction (std::vector< storm::expressions::Expression > const &expressions)
Expression	storm::expressions::conjunction (std::vector< storm::expressions::Expression > const &expressions)
Expression	storm::expressions::sum (std::vector< storm::expressions::Expression > const &expressions)
Expression	storm::expressions::modulo (Expression const &first, Expression const &second)
Expression	storm::expressions::logarithm (Expression const &first, Expression const &second)
Expression	storm::expressions::cos (Expression const &first)
Expression	storm::expressions::sin (Expression const &first)
Expression	storm::expressions::apply (std::vector< storm::expressions::Expression > const &expressions, std::function< Expression(Expression const &, Expression const &)> const &function)
Expression	storm::expressions::makeBinaryRelationExpression (Expression const &first, Expression const &second, RelationType const &reltype)
Expression	storm::expressions::applyAssociative (std::vector< storm::expressions::Expression > const &expressions, std::function< Expression(Expression const &, Expression const &)> const &function)