Storm
A Modern Probabilistic Model Checker
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
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
expressionThe expression to check for linearity.
booleanIsLinearA 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 140 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 150 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 154 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: