Package org.processmining.est2miner.algorithms.placeevaluation

Class LpoESTFireValidator

java.lang.Object

org.processmining.est2miner.algorithms.placeevaluation.LpoValidator

org.processmining.est2miner.algorithms.placeevaluation.LpoESTFlowValidator

org.processmining.est2miner.algorithms.placeevaluation.LpoESTFireValidator

public class LpoESTFireValidator
extends LpoESTFlowValidator

Field Summary

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

eventToTransition, initialMarkingCount, partialOrderTrace, petrinet

Constructor Summary

Constructors

Constructor	Description
LpoESTFireValidator(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet, ESTPartialOrder partialOrderTrace)

Method Summary

Modifier and Type	Method	Description
LpoESTValidationResult	validate()

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

checkFlowForPlace

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

LpoESTFireValidator

public LpoESTFireValidator(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
                           ESTPartialOrder partialOrderTrace)

Method Detail

validate

public LpoESTValidationResult validate()

Overrides:

validate in class LpoESTFlowValidator