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

#include <SchedulerClass.h>

Public Types

enum class  MemoryPattern { Arbitrary , GoalMemory , Counter }
 

Public Member Functions

 SchedulerClass ()
 
bool isDeterministic () const
 
bool isMemoryBounded () const
 
uint64_t getMemoryStates () const
 
MemoryPattern getMemoryPattern () const
 
bool isPositional () const
 
SchedulerClass & setIsDeterministic (bool value=true)
 
SchedulerClass & setMemoryStates (uint64_t value)
 
SchedulerClass & unsetMemoryStates ()
 
SchedulerClass & setMemoryPattern (MemoryPattern const &pattern)
 
SchedulerClass & setPositional ()
 

Detailed Description

Definition at line 8 of file SchedulerClass.h.

Member Enumeration Documentation

◆ MemoryPattern

enum class storm::storage::SchedulerClass::MemoryPattern
strong
Enumerator
Arbitrary 
GoalMemory 
Counter 

Definition at line 10 of file SchedulerClass.h.

Constructor & Destructor Documentation

◆ SchedulerClass()

storm::storage::SchedulerClass::SchedulerClass ( )

Definition at line 7 of file SchedulerClass.cpp.

Member Function Documentation

◆ getMemoryPattern()

SchedulerClass::MemoryPattern storm::storage::SchedulerClass::getMemoryPattern ( ) const

Definition at line 24 of file SchedulerClass.cpp.

◆ getMemoryStates()

uint64_t storm::storage::SchedulerClass::getMemoryStates ( ) const

Definition at line 19 of file SchedulerClass.cpp.

◆ isDeterministic()

bool storm::storage::SchedulerClass::isDeterministic ( ) const

Definition at line 11 of file SchedulerClass.cpp.

◆ isMemoryBounded()

bool storm::storage::SchedulerClass::isMemoryBounded ( ) const

Definition at line 15 of file SchedulerClass.cpp.

◆ isPositional()

bool storm::storage::SchedulerClass::isPositional ( ) const

Definition at line 28 of file SchedulerClass.cpp.

◆ setIsDeterministic()

SchedulerClass & storm::storage::SchedulerClass::setIsDeterministic ( bool  value = true)

Definition at line 32 of file SchedulerClass.cpp.

◆ setMemoryPattern()

SchedulerClass & storm::storage::SchedulerClass::setMemoryPattern ( MemoryPattern const &  pattern)

Definition at line 48 of file SchedulerClass.cpp.

◆ setMemoryStates()

SchedulerClass & storm::storage::SchedulerClass::setMemoryStates ( uint64_t  value)

Definition at line 37 of file SchedulerClass.cpp.

◆ setPositional()

SchedulerClass & storm::storage::SchedulerClass::setPositional ( )

Definition at line 53 of file SchedulerClass.cpp.

◆ unsetMemoryStates()

SchedulerClass & storm::storage::SchedulerClass::unsetMemoryStates ( )

Definition at line 43 of file SchedulerClass.cpp.

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