Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | List of all members
storm::builder::LabelOrExpression Class Reference

#include <BuilderOptions.h>

Public Member Functions

 LabelOrExpression (storm::expressions::Expression const &expression)
 
 LabelOrExpression (std::string const &label)
 
bool isLabel () const
 
std::string const & getLabel () const
 
bool isExpression () const
 
storm::expressions::Expression const & getExpression () const
 

Detailed Description

Definition at line 30 of file BuilderOptions.h.

Constructor & Destructor Documentation

◆ LabelOrExpression() [1/2]

storm::builder::LabelOrExpression::LabelOrExpression ( storm::expressions::Expression const &  expression)

Definition at line 17 of file BuilderOptions.cpp.

◆ LabelOrExpression() [2/2]

storm::builder::LabelOrExpression::LabelOrExpression ( std::string const &  label)

Definition at line 21 of file BuilderOptions.cpp.

Member Function Documentation

◆ getExpression()

storm::expressions::Expression const & storm::builder::LabelOrExpression::getExpression ( ) const

Definition at line 37 of file BuilderOptions.cpp.

◆ getLabel()

std::string const & storm::builder::LabelOrExpression::getLabel ( ) const

Definition at line 29 of file BuilderOptions.cpp.

◆ isExpression()

bool storm::builder::LabelOrExpression::isExpression ( ) const

Definition at line 33 of file BuilderOptions.cpp.

◆ isLabel()

bool storm::builder::LabelOrExpression::isLabel ( ) const

Definition at line 25 of file BuilderOptions.cpp.

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