Package org.palladiosimulator.simexp.markovian.access

Class MarkovModelAccessor<A,R>

java.lang.Object

org.palladiosimulator.simexp.markovian.access.MarkovModelAccessor<A,R>

public class MarkovModelAccessor<A,R>
extends Object

Method Summary

Modifier and Type	Method	Description
Set<Transition<A>>	filterTransitions(Predicate<Transition<A>> criterion)
Optional<Transition<A>>	findTransition(State source, Action<A> label)
Optional<Transition<A>>	findTransition(State source, State target)
Set<State>	getStates()
static <A, R> MarkovModelAccessor<A,R>	of(MarkovModel<A,R> model)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

of

public static <A,
R> MarkovModelAccessor<A,R> of(MarkovModel<A,R> model)

getStates

public Set<State> getStates()

filterTransitions

public Set<Transition<A>> filterTransitions(Predicate<Transition<A>> criterion)

findTransition

public Optional<Transition<A>> findTransition(State source,
 Action<A> label)

findTransition

public Optional<Transition<A>> findTransition(State source,
 State target)