DTMC (Sirio 2.0.3 API)

java.lang.Object

org.oristool.models.gspn.chains.DTMC<S>

Type Parameters:: S - type of DTMC states

public final class DTMC<S> extends Object

Directed graph encoding a DTMC.

Method Summary

Modifier and Type

Method

Description

static <S> DTMC<S>

create()

Creates an empty DTMC.

List<Double>

initialProbs()

List<S>

initialStates()

com.google.common.graph.MutableValueGraph<S,Double>

probsGraph()

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details
- probsGraph
  
  public com.google.common.graph.MutableValueGraph<S,Double> probsGraph()
- initialStates
  
  public List<S> initialStates()
- initialProbs
  
  public List<Double> initialProbs()
- create
  
  public static <S> DTMC<S> create()
  
  Creates an empty DTMC.
  
  Type Parameters:
  
  S - type of DTMC states
  
  Returns:
  
  empty DTMC instance