org.processmining.onlineconformance.models

Interface ModelSemantics<M,S,T>

Type Parameters:

M - type of model

S - type of state in model

T - type of transition from state to state in model

All Known Subinterfaces:

ModelSemanticsPetrinet<S>

All Known Implementing Classes:

ModelSemanticsPetrinetMarkingTransitionImpl

public interface ModelSemantics<M,S,T>

provides common semantic utilities for a given model

Author:

svzelst

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	ModelSemantics.Factory

Method Summary

Modifier and Type	Method and Description
S	execute(S s, T t)
java.util.Collection<T>	getEnabledTransitions(S s)
M	getModel()
boolean	isEnabled(T t, S s)

Method Detail

getModel

M getModel()

execute

S execute(S s,
          T t)

getEnabledTransitions

java.util.Collection<T> getEnabledTransitions(S s)

isEnabled

boolean isEnabled(T t,
                  S s)