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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected booleancheckFlowForPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place place)LpoESTValidationResultvalidate()-
Methods inherited from class org.processmining.est2miner.algorithms.placeevaluation.LpoValidator
getWeight, modifyPartialOrder
-
-
-
-
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:
validatein classLpoValidator
-
checkFlowForPlace
protected boolean checkFlowForPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place place)
-
-