Package org.palladiosimulator.simexp.markovian.model.builder

Class BasicMarkovModelBuilder.TransitionBuilder

java.lang.Object

org.palladiosimulator.simexp.markovian.model.builder.BasicMarkovModelBuilder.TransitionBuilder

Enclosing class:

BasicMarkovModelBuilder<A,R>

public class BasicMarkovModelBuilder.TransitionBuilder
extends Object

Constructor Summary

Constructors

Constructor	Description
TransitionBuilder(State source, State target)

Method Summary

Modifier and Type	Method	Description
BasicMarkovModelBuilder<A,R>	andProbability(double value)
BasicMarkovModelBuilder<A,R>.TransitionBuilder	withOptionalLabel(Action<A> action)

Methods inherited from class java.lang.Object

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

Constructor Details

TransitionBuilder

public TransitionBuilder(State source,
 State target)

Method Details

andProbability

public BasicMarkovModelBuilder<A,R> andProbability(double value)

withOptionalLabel

public BasicMarkovModelBuilder<A,R>.TransitionBuilder withOptionalLabel(Action<A> action)