won.protocol.agreement.petrinet

Class PetriNetStates

java.lang.Object

won.protocol.agreement.petrinet.PetriNetStates

public class PetriNetStates
extends java.lang.Object

Method Summary

Modifier and Type	Method and Description
java.util.Collection<PetriNetState>	getPetrinetStates()
java.util.Set<PetriNetUris>	getPetriNetUris()
static PetriNetStates	of(AgreementProtocolState agreementProtocolState)
static PetriNetStates	of(org.apache.jena.query.Dataset conversation)

Methods inherited from class java.lang.Object

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

Method Detail

of

public static PetriNetStates of(org.apache.jena.query.Dataset conversation)

of

public static PetriNetStates of(AgreementProtocolState agreementProtocolState)

getPetrinetStates

public java.util.Collection<PetriNetState> getPetrinetStates()

getPetriNetUris

public java.util.Set<PetriNetUris> getPetriNetUris()