Package org.processmining.est2miner.algorithms.placeevaluation

Class LpoESTFlowValidator

java.lang.Object

org.processmining.est2miner.algorithms.placeevaluation.LpoValidator

org.processmining.est2miner.algorithms.placeevaluation.LpoESTFlowValidator

Direct Known Subclasses:

LpoESTFireValidator

public class LpoESTFlowValidator
extends LpoValidator

Field Summary

Fields inherited from class org.processmining.est2miner.algorithms.placeevaluation.LpoValidator

eventToTransition, initialMarkingCount, partialOrderTrace, petrinet

Constructor Summary

Constructors

Constructor	Description
LpoESTFlowValidator(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet, org.processmining.models.semantics.petrinet.Marking initialMarking, ESTPartialOrder partialOrderTrace)

Method Summary

Modifier and Type	Method	Description
protected boolean	checkFlowForPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place place)
LpoESTValidationResult	validate()

Methods inherited from class org.processmining.est2miner.algorithms.placeevaluation.LpoValidator

getWeight, modifyPartialOrder

Methods inherited from class java.lang.Object

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

Constructor Detail

LpoESTFlowValidator

public LpoESTFlowValidator(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
                           org.processmining.models.semantics.petrinet.Marking initialMarking,
                           ESTPartialOrder partialOrderTrace)

Method Detail

validate

public LpoESTValidationResult validate()

Specified by:

validate in class LpoValidator

checkFlowForPlace

protected boolean checkFlowForPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place place)