Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
JaniLocalEliminator Class Reference

#include <JaniLocalEliminator.h>

Collaboration diagram for JaniLocalEliminator:
Collaboration graph
[legend]

Classes

class  Session
class  Action
class  EliminationScheduler

Public Member Functions

 JaniLocalEliminator (Model const &original, storm::jani::Property &property, bool addMissingGuards=false)
 JaniLocalEliminator (Model const &original, std::vector< storm::jani::Property > &properties, bool addMissingGuards=false)
void eliminate (bool flatten=true)
Model const & getResult ()

Static Public Member Functions

static Model eliminateAutomatically (const Model &model, std::vector< jani::Property > properties, uint64_t locationHeuristic, uint64_t edgesHeuristic)

Public Attributes

EliminationScheduler scheduler

Detailed Description

Definition at line 19 of file JaniLocalEliminator.h.

Constructor & Destructor Documentation

◆ JaniLocalEliminator() [1/2]

storm::jani::JaniLocalEliminator::JaniLocalEliminator ( Model const & original,
storm::jani::Property & property,
bool addMissingGuards = false )
explicit

Definition at line 15 of file JaniLocalEliminator.cpp.

◆ JaniLocalEliminator() [2/2]

storm::jani::JaniLocalEliminator::JaniLocalEliminator ( Model const & original,
std::vector< storm::jani::Property > & properties,
bool addMissingGuards = false )
explicit

Definition at line 21 of file JaniLocalEliminator.cpp.

Member Function Documentation

◆ eliminate()

void storm::jani::JaniLocalEliminator::eliminate ( bool flatten = true)

Definition at line 41 of file JaniLocalEliminator.cpp.

◆ eliminateAutomatically()

Model storm::jani::JaniLocalEliminator::eliminateAutomatically ( const Model & model,
std::vector< jani::Property > properties,
uint64_t locationHeuristic,
uint64_t edgesHeuristic )
static

Definition at line 33 of file JaniLocalEliminator.cpp.

◆ getResult()

Model const & storm::jani::JaniLocalEliminator::getResult ( )

Definition at line 73 of file JaniLocalEliminator.cpp.

Member Data Documentation

◆ scheduler

EliminationScheduler storm::jani::JaniLocalEliminator::scheduler

Definition at line 91 of file JaniLocalEliminator.h.

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