Storm
A Modern Probabilistic Model Checker
|
#include <LinearityCheckVisitor.h>
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 |
![]() | |
virtual | ~ExpressionVisitor ()=default |
virtual boost::any | visit (PredicateExpression const &expression, boost::any const &data) |
Definition at line 9 of file LinearityCheckVisitor.h.
storm::expressions::LinearityCheckVisitor::LinearityCheckVisitor | ( | ) |
Creates a linearity check visitor.
Definition at line 11 of file LinearityCheckVisitor.cpp.
bool storm::expressions::LinearityCheckVisitor::check | ( | Expression const & | expression, |
bool | booleanIsLinear = false |
||
) |
Checks that the given expression is linear.
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.
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 38 of file LinearityCheckVisitor.cpp.
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 55 of file LinearityCheckVisitor.cpp.
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 95 of file LinearityCheckVisitor.cpp.
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 140 of file LinearityCheckVisitor.cpp.
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 20 of file LinearityCheckVisitor.cpp.
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 150 of file LinearityCheckVisitor.cpp.
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 154 of file LinearityCheckVisitor.cpp.
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 116 of file LinearityCheckVisitor.cpp.
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 129 of file LinearityCheckVisitor.cpp.
|
overridevirtual |
Implements storm::expressions::ExpressionVisitor.
Definition at line 112 of file LinearityCheckVisitor.cpp.