Storm 1.11.1.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | List of all members
storm::dd::InternalAdd< Type, ValueType > Class Template Reference

Public Member Functions

bool equalModuloPrecision (InternalAdd< DdType::CUDD, storm::RationalNumber > const &, storm::RationalNumber const &, bool) const
 
InternalBdd< DdType::CUDD > greater (storm::RationalNumber const &value) const
 
InternalBdd< DdType::CUDD > greaterOrEqual (storm::RationalNumber const &value) const
 
InternalBdd< DdType::CUDD > less (storm::RationalNumber const &value) const
 
InternalBdd< DdType::CUDD > lessOrEqual (storm::RationalNumber const &value) const
 
InternalAdd< DdType::Sylvan, double > toValueType () const
 
InternalAdd< DdType::Sylvan, storm::RationalNumber > toValueType () const
 
InternalAdd< DdType::Sylvan, double > toValueType () const
 

Detailed Description

template<DdType Type, typename ValueType>
class storm::dd::InternalAdd< Type, ValueType >

Definition at line 26 of file CuddAddIterator.h.

Member Function Documentation

◆ equalModuloPrecision()

bool storm::dd::InternalAdd< DdType::CUDD, storm::RationalNumber >::equalModuloPrecision ( InternalAdd< DdType::CUDD, storm::RationalNumber > const &  ,
storm::RationalNumber const &  ,
bool   
) const

Definition at line 1108 of file InternalCuddAdd.cpp.

◆ greater()

InternalBdd< DdType::CUDD > storm::dd::InternalAdd< DdType::CUDD, storm::RationalNumber >::greater ( storm::RationalNumber const &  value) const

Definition at line 1155 of file InternalCuddAdd.cpp.

◆ greaterOrEqual()

InternalBdd< DdType::CUDD > storm::dd::InternalAdd< DdType::CUDD, storm::RationalNumber >::greaterOrEqual ( storm::RationalNumber const &  value) const

Definition at line 1169 of file InternalCuddAdd.cpp.

◆ less()

InternalBdd< DdType::CUDD > storm::dd::InternalAdd< DdType::CUDD, storm::RationalNumber >::less ( storm::RationalNumber const &  value) const

Definition at line 1183 of file InternalCuddAdd.cpp.

◆ lessOrEqual()

InternalBdd< DdType::CUDD > storm::dd::InternalAdd< DdType::CUDD, storm::RationalNumber >::lessOrEqual ( storm::RationalNumber const &  value) const

Definition at line 1197 of file InternalCuddAdd.cpp.

◆ toValueType() [1/3]

InternalAdd< DdType::Sylvan, double > storm::dd::InternalAdd< DdType::Sylvan, storm::RationalNumber >::toValueType ( ) const

Definition at line 1518 of file InternalSylvanAdd.cpp.

◆ toValueType() [2/3]

InternalAdd< DdType::Sylvan, storm::RationalNumber > storm::dd::InternalAdd< DdType::Sylvan, double >::toValueType ( ) const

Definition at line 1524 of file InternalSylvanAdd.cpp.

◆ toValueType() [3/3]

InternalAdd< DdType::Sylvan, double > storm::dd::InternalAdd< DdType::Sylvan, storm::RationalFunction >::toValueType ( ) const

Definition at line 1530 of file InternalSylvanAdd.cpp.

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