Expression.h File Reference

#include <functional>
#include <map>
#include <memory>
#include <unordered_map>
#include <vector>
#include "storm/storage/expressions/BaseExpression.h"
#include "storm/storage/expressions/BinaryRelationExpression.h"
#include "storm/utility/OsDetection.h"

Include dependency graph for Expression.h:

Go to the source code of this file.

Classes
class	storm::expressions::Expression

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

Functions
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	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::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::abs (Expression const &first)
Expression	storm::expressions::truncate (Expression const &first)
Expression	storm::expressions::sign (Expression const &first)
Expression	storm::expressions::floor (Expression const &first)
Expression	storm::expressions::ceil (Expression const &first)
Expression	storm::expressions::round (Expression const &first)
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::minimum (Expression const &first, Expression const &second)
Expression	storm::expressions::maximum (Expression const &first, Expression const &second)
Expression	storm::expressions::atLeastOneOf (std::vector< storm::expressions::Expression > const &expressions)
Expression	storm::expressions::atMostOneOf (std::vector< storm::expressions::Expression > const &expressions)
Expression	storm::expressions::exactlyOneOf (std::vector< storm::expressions::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::apply (std::vector< storm::expressions::Expression > const &expressions, std::function< Expression(Expression const &, Expression const &)> const &function)
Expression	storm::expressions::applyAssociative (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)