Uses of Class
org.processmining.plugins.InductiveMiner.mining.cuts.IMc.SATResult
-
Packages that use SATResult Package Description org.processmining.plugins.InductiveMiner.mining.cuts.IMc org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.single -
-
Uses of SATResult in org.processmining.plugins.InductiveMiner.mining.cuts.IMc
Methods in org.processmining.plugins.InductiveMiner.mining.cuts.IMc that return SATResult Modifier and Type Method Description SATResultAtomicResult. get()Methods in org.processmining.plugins.InductiveMiner.mining.cuts.IMc with parameters of type SATResult Modifier and Type Method Description booleanAtomicResult. compareAndSet(SATResult expect, SATResult update)voidAtomicResult. lazySet(SATResult newVal)booleanAtomicResult. maximumAndGet(SATResult tryVal)voidAtomicResult. set(SATResult r)booleanAtomicResult. weakCompareAndSet(SATResult expect, SATResult update)Constructors in org.processmining.plugins.InductiveMiner.mining.cuts.IMc with parameters of type SATResult Constructor Description AtomicResult(SATResult result)SATResult(SATResult copyFrom) -
Uses of SATResult in org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.single
Methods in org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.single that return SATResult Modifier and Type Method Description abstract SATResultSATSolveSingle. solveSingle(int cutSize, double bestAverageTillNow)SATResultSATSolveSingleLoop. solveSingle(int cutSize, double bestAverageTillNow)SATResultSATSolveSingleParallel. solveSingle(int cutSize, double bestAverageTillNow)SATResultSATSolveSingleSequence. solveSingle(int cutSize, double bestAverageTillNow)SATResultSATSolveSingleXor. solveSingle(int cutSize, double bestAverageTillNow)
-