Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Classes | Public Member Functions | Static Public Member Functions | Public Attributes | List of all members
storm::jani::JaniLocalEliminator Class Reference

#include <JaniLocalEliminator.h>

Collaboration diagram for storm::jani::JaniLocalEliminator:
Collaboration graph
[legend]

Classes

class  Action
 
class  EliminationScheduler
 
class  Session
 

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: