Package org.processmining.poemsconformancecheckingforbpmn.algorithms.inputs.bpmn.statespace

Class BpmnStateChange

java.lang.Object

org.processmining.poemsconformancecheckingforbpmn.algorithms.inputs.bpmn.statespace.BpmnStateChange

public class BpmnStateChange
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
BpmnStateChange(BpmnMarking targetMarking, BpmnReachabilityGraphEdge edge)
BpmnStateChange(BpmnMarking targetMarking, BpmnReachabilityGraphEdge edge, boolean complete)

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object object)
BpmnReachabilityGraphEdge	getEdge()
BpmnMarking	getTargetMarking()
int	hashCode()
boolean	isComplete()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

BpmnStateChange

public BpmnStateChange(BpmnMarking targetMarking,
                       BpmnReachabilityGraphEdge edge)

BpmnStateChange

public BpmnStateChange(BpmnMarking targetMarking,
                       BpmnReachabilityGraphEdge edge,
                       boolean complete)

Method Detail

getTargetMarking

public BpmnMarking getTargetMarking()

getEdge

public BpmnReachabilityGraphEdge getEdge()

equals

public boolean equals(java.lang.Object object)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

isComplete

public boolean isComplete()