org.jbpt.automaton

Interface IStateTransition<S extends IState<F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

All Superinterfaces:

Cloneable, Comparable<IGObject>, IDirectedEdge<S>, IDirectedHyperEdge<S>, IEdge<S>, IEntity, IGObject, IHyperEdge<S>

All Known Implementing Classes:

AbstractStateTransition, StateTransition

public interface IStateTransition<S extends IState<F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>
extends IDirectedEdge<S>

Author:

Artem Polyvyanyy

Method Summary

Methods

Modifier and Type	Method and Description
String	getSymbol()
T	getTransition()
boolean	isObservable()
boolean	isSilent()
void	setSymbol(String t)
void	setTransition(T t)

Methods inherited from interface org.jbpt.graph.abs.IDirectedEdge

getSource, getTarget, setSource, setTarget, setVertices

Methods inherited from interface org.jbpt.hypergraph.abs.IDirectedHyperEdge

addSourceAndTagetVertices, addSourceVertex, addSourceVertices, addTargetVertex, addTargetVertices, getOtherSourceVertices, getOtherSourceVertices, getOtherTargetVertices, getOtherTargetVertices, getSourceVertices, getTargetVertices, hasSource, hasSource, hasSources, hasTarget, hasTarget, hasTargets, removeSourceAndTagetVertices, removeSourceVertex, removeSourceVertices, removeTargetVertex, removeTargetVertices

Methods inherited from interface org.jbpt.graph.abs.IEdge

connectsVertices, getOtherVertex, getV1, getV2, isSelfLoop

Methods inherited from interface org.jbpt.hypergraph.abs.IHyperEdge

addVertex, addVertices, connectsVertex, connectsVertices, destroy, getOtherVertices, getOtherVertices, getVertices, removeVertex, removeVertices

Methods inherited from interface org.jbpt.hypergraph.abs.IGObject

getDescription, getId, getName, getTag, setDescription, setId, setName, setTag

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface org.jbpt.hypergraph.abs.IEntity

clone, getLabel

Method Detail

getTransition

T getTransition()

setTransition

void setTransition(T t)

getSymbol

String getSymbol()

setSymbol

void setSymbol(String t)

isSilent

boolean isSilent()

isObservable

boolean isObservable()