public class PartialAlignmentStateTransitionFunctionImpl<M,L,T,S> extends es.usc.citius.hipster.model.function.impl.StateTransitionFunction<PartialAlignment.State<S,L,T>>
Constructor and Description |
---|
PartialAlignmentStateTransitionFunctionImpl(ModelSemantics<M,S,T> semantics,
java.util.List<L> trace,
PriceList<L,T> priceList) |
Modifier and Type | Method and Description |
---|---|
PriceList<L,T> |
getPriceList() |
ModelSemantics<M,S,T> |
getSemantics() |
java.util.List<L> |
getTrace() |
java.lang.Iterable<PartialAlignment.State<S,L,T>> |
successorsOf(PartialAlignment.State<S,L,T> arg0) |
public ModelSemantics<M,S,T> getSemantics()
public java.util.List<L> getTrace()
public java.lang.Iterable<PartialAlignment.State<S,L,T>> successorsOf(PartialAlignment.State<S,L,T> arg0)
successorsOf
in class es.usc.citius.hipster.model.function.impl.StateTransitionFunction<PartialAlignment.State<S,L,T>>