Package org.oristool.analyzer

Class Succession

java.lang.Object

org.oristool.util.Featurizable<SuccessionFeature>

org.oristool.analyzer.Succession

public final class Succession
extends Featurizable<SuccessionFeature>

Succession between two states after the firing of an event.

Field Summary

Fields inherited from class org.oristool.util.Featurizable

features

Constructor Summary

Constructors

Constructor	Description
Succession(State parent, Event event, State child)	Creates a succession from parent to child.

Method Summary

Modifier and Type	Method	Description
State	getChild()
Event	getEvent()
State	getParent()
void	setChild(State child)
void	setEvent(Event event)
void	setParent(State parent)
String	toString()

Methods inherited from class org.oristool.util.Featurizable

addFeature, getFeature, getFeatures, hasFeature, removeFeature

Methods inherited from class java.lang.Object

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

Constructor Details

Succession

public Succession(State parent,
 Event event,
 State child)

Creates a succession from parent to child.

Parameters:

parent - parent state

event - event triggering the succession

child - child state

Method Details

getChild

public State getChild()

getParent

public State getParent()

getEvent

public Event getEvent()

setParent

public void setParent(State parent)

setChild

public void setChild(State child)

setEvent

public void setEvent(Event event)

toString

public String toString()

Overrides:

toString in class Featurizable<SuccessionFeature>