#include <Constant.h>

Public Member Functions
	Constant (std::string const &name, storm::expressions::Variable const &variable, storm::expressions::Expression const &definingExpression=storm::expressions::Expression(), storm::expressions::Expression const &constraintExpression=storm::expressions::Expression())
	Creates a constant.

std::string const &	getName () const
	Retrieves the name of the constant.

bool	isDefined () const
	Retrieves whether the constant is defined in the sense that it has a defining expression.

void	define (storm::expressions::Expression const &expression)
	Defines the constant with the given expression.

storm::expressions::Type const &	getType () const
	Retrieves the type of the constant.

bool	isBooleanConstant () const
	Retrieves whether the constant is a boolean constant.

bool	isIntegerConstant () const
	Retrieves whether the constant is an integer constant.

bool	isRealConstant () const
	Retrieves whether the constant is a real constant.

storm::expressions::Variable const &	getExpressionVariable () const
	Retrieves the expression variable associated with this constant.

storm::expressions::Expression const &	getExpression () const
	Retrieves the expression that defines this constant (if any).

bool	hasConstraint () const
	Retrieves whether there is a constraint for the possible values of this constant.

storm::expressions::Expression const &	getConstraintExpression () const
	Retrieves the expression that constraints the possible values of this constant (if any).

void	setConstraintExpression (storm::expressions::Expression const &expression)
	Sets a constraint expression.

Detailed Description

Definition at line 13 of file Constant.h.

Constructor & Destructor Documentation

◆ Constant()

storm::jani::Constant::Constant	(	std::string const &	name,
		storm::expressions::Variable const &	variable,
		storm::expressions::Expression const &	definingExpression = `storm::expressions::Expression()`,
		storm::expressions::Expression const &	constraintExpression = `storm::expressions::Expression()`
	)

Creates a constant.

Definition at line 20 of file Constant.cpp.

Member Function Documentation

◆ define()

void storm::jani::Constant::define ( storm::expressions::Expression const & expression )

Defines the constant with the given expression.

If a constraintExpression is set, it is checked whether the constant definition satisfies the given constraint.

Definition at line 38 of file Constant.cpp.

◆ getConstraintExpression()

storm::expressions::Expression const & storm::jani::Constant::getConstraintExpression ( ) const

Retrieves the expression that constraints the possible values of this constant (if any).

Definition at line 76 of file Constant.cpp.

◆ getExpression()

storm::expressions::Expression const & storm::jani::Constant::getExpression ( ) const

Retrieves the expression that defines this constant (if any).

Definition at line 67 of file Constant.cpp.

◆ getExpressionVariable()

storm::expressions::Variable const & storm::jani::Constant::getExpressionVariable ( ) const

Retrieves the expression variable associated with this constant.

Definition at line 63 of file Constant.cpp.

◆ getName()

std::string const & storm::jani::Constant::getName ( ) const

Retrieves the name of the constant.

Definition at line 30 of file Constant.cpp.

◆ getType()

storm::expressions::Type const & storm::jani::Constant::getType ( ) const

Retrieves the type of the constant.

Definition at line 47 of file Constant.cpp.

◆ hasConstraint()

bool storm::jani::Constant::hasConstraint ( ) const

Retrieves whether there is a constraint for the possible values of this constant.

Definition at line 72 of file Constant.cpp.

◆ isBooleanConstant()

bool storm::jani::Constant::isBooleanConstant ( ) const

Retrieves whether the constant is a boolean constant.

Definition at line 51 of file Constant.cpp.

◆ isDefined()

bool storm::jani::Constant::isDefined ( ) const

Retrieves whether the constant is defined in the sense that it has a defining expression.

Definition at line 34 of file Constant.cpp.

◆ isIntegerConstant()

bool storm::jani::Constant::isIntegerConstant ( ) const

Retrieves whether the constant is an integer constant.

Definition at line 55 of file Constant.cpp.

◆ isRealConstant()

bool storm::jani::Constant::isRealConstant ( ) const

Retrieves whether the constant is a real constant.

Definition at line 59 of file Constant.cpp.

◆ setConstraintExpression()

void storm::jani::Constant::setConstraintExpression ( storm::expressions::Expression const & expression )

Sets a constraint expression.

An exception is thrown if this constant is defined and the definition violates the given constraint.

Definition at line 81 of file Constant.cpp.

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

src/storm/storage/jani/Constant.h
src/storm/storage/jani/Constant.cpp

Public Member Functions