Class EvaluationSupervisor.PruningMonitor
- java.lang.Object
-
- org.processmining.specpp.supervision.supervisors.EvaluationSupervisor.PruningMonitor
-
- All Implemented Interfaces:
java.util.function.Consumer<GenerationConstraint>,ComputingMonitor<GenerationConstraint,java.math.BigInteger,java.lang.String>,Monitor<GenerationConstraint,java.math.BigInteger>,Observer<GenerationConstraint>,ProvidesResults
- Enclosing class:
- EvaluationSupervisor
public static class EvaluationSupervisor.PruningMonitor extends java.lang.Object implements ComputingMonitor<GenerationConstraint,java.math.BigInteger,java.lang.String>
-
-
Constructor Summary
Constructors Constructor Description PruningMonitor(java.math.BigInteger totalTreeNodes)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.StringcomputeResult()java.math.BigIntegergetMonitoringState()voidhandleObservation(GenerationConstraint gc)-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface org.processmining.specpp.supervision.monitoring.ComputingMonitor
getResults
-
-
-
-
Method Detail
-
getMonitoringState
public java.math.BigInteger getMonitoringState()
- Specified by:
getMonitoringStatein interfaceMonitor<GenerationConstraint,java.math.BigInteger>
-
handleObservation
public void handleObservation(GenerationConstraint gc)
- Specified by:
handleObservationin interfaceMonitor<GenerationConstraint,java.math.BigInteger>
-
computeResult
public java.lang.String computeResult()
- Specified by:
computeResultin interfaceComputingMonitor<GenerationConstraint,java.math.BigInteger,java.lang.String>
-
-