Uses of Class
starlink.ColouredAutomata.ProtocolAttributes

Packages that use ProtocolAttributes

starlink.ColouredAutomata

Uses of ProtocolAttributes in starlink.ColouredAutomata

Methods in starlink.ColouredAutomata that return ProtocolAttributes

ProtocolAttributes	AbstractState.getProtocol()
ProtocolAttributes	State.getProtocol()

Methods in starlink.ColouredAutomata with parameters of type ProtocolAttributes

void	AbstractState.setProtocol(ProtocolAttributes protocol)
void	State.setProtocol(ProtocolAttributes protocol)

Constructors in starlink.ColouredAutomata with parameters of type ProtocolAttributes

AbstractState(java.lang.String name, StateMachine GlobalStore, ProtocolAttributes protocol)

NoActionState(java.lang.String name, StateMachine GlobalStore, ProtocolAttributes protocol)

RecvState(java.lang.String name, StateMachine GlobalStore, ProtocolAttributes protocol)

SendState(java.lang.String name, StateMachine GlobalStore, ProtocolAttributes protocol)