storm::expressions::LinearityCheckVisitor Class Reference

#include <LinearityCheckVisitor.h>

Inheritance diagram for storm::expressions::LinearityCheckVisitor:

Collaboration diagram for storm::expressions::LinearityCheckVisitor:

Public Member Functions
	LinearityCheckVisitor ()
	Creates a linearity check visitor.
bool	check (Expression const &expression, bool booleanIsLinear=false)
	Checks that the given expression is linear.
virtual boost::any	visit (IfThenElseExpression const &expression, boost::any const &data) override
virtual boost::any	visit (BinaryBooleanFunctionExpression const &expression, boost::any const &data) override
virtual boost::any	visit (BinaryNumericalFunctionExpression const &expression, boost::any const &data) override
virtual boost::any	visit (BinaryRelationExpression const &expression, boost::any const &data) override
virtual boost::any	visit (VariableExpression const &expression, boost::any const &data) override
virtual boost::any	visit (UnaryBooleanFunctionExpression const &expression, boost::any const &data) override
virtual boost::any	visit (UnaryNumericalFunctionExpression const &expression, boost::any const &data) override
virtual boost::any	visit (BooleanLiteralExpression const &expression, boost::any const &data) override
virtual boost::any	visit (IntegerLiteralExpression const &expression, boost::any const &data) override
virtual boost::any	visit (RationalLiteralExpression const &expression, boost::any const &data) override
Public Member Functions inherited from storm::expressions::ExpressionVisitor
virtual	~ExpressionVisitor ()=default
virtual boost::any	visit (PredicateExpression const &expression, boost::any const &data)

Detailed Description

Definition at line 9 of file LinearityCheckVisitor.h.

Constructor & Destructor Documentation

LinearityCheckVisitor()

storm::expressions::LinearityCheckVisitor::LinearityCheckVisitor

(

)

Creates a linearity check visitor.

Definition at line 11 of file LinearityCheckVisitor.cpp.

Member Function Documentation

check()

bool storm::expressions::LinearityCheckVisitor::check	(	Expression const &	expression,
		bool	booleanIsLinear = false
	)

Checks that the given expression is linear.

Parameters

expression	The expression to check for linearity.
booleanIsLinear	A flag indicating whether boolean components are considered linear.

Definition at line 15 of file LinearityCheckVisitor.cpp.

visit() [1/10]

boost::any storm::expressions::LinearityCheckVisitor::visit ( BinaryBooleanFunctionExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 38 of file LinearityCheckVisitor.cpp.

visit() [2/10]

boost::any storm::expressions::LinearityCheckVisitor::visit ( BinaryNumericalFunctionExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 55 of file LinearityCheckVisitor.cpp.

visit() [3/10]

boost::any storm::expressions::LinearityCheckVisitor::visit ( BinaryRelationExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 95 of file LinearityCheckVisitor.cpp.

visit() [4/10]

boost::any storm::expressions::LinearityCheckVisitor::visit ( BooleanLiteralExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 142 of file LinearityCheckVisitor.cpp.

visit() [5/10]

boost::any storm::expressions::LinearityCheckVisitor::visit ( IfThenElseExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 20 of file LinearityCheckVisitor.cpp.

visit() [6/10]

boost::any storm::expressions::LinearityCheckVisitor::visit ( IntegerLiteralExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 152 of file LinearityCheckVisitor.cpp.

visit() [7/10]

boost::any storm::expressions::LinearityCheckVisitor::visit ( RationalLiteralExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 156 of file LinearityCheckVisitor.cpp.

visit() [8/10]

boost::any storm::expressions::LinearityCheckVisitor::visit ( UnaryBooleanFunctionExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 116 of file LinearityCheckVisitor.cpp.

visit() [9/10]

boost::any storm::expressions::LinearityCheckVisitor::visit ( UnaryNumericalFunctionExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 129 of file LinearityCheckVisitor.cpp.

visit() [10/10]

boost::any storm::expressions::LinearityCheckVisitor::visit ( VariableExpression const &  expression, boost::any const &  data  )

overridevirtual

Implements storm::expressions::ExpressionVisitor.

Definition at line 112 of file LinearityCheckVisitor.cpp.

---

The documentation for this class was generated from the following files:

• src/storm/storage/expressions/LinearityCheckVisitor.h
• src/storm/storage/expressions/LinearityCheckVisitor.cpp