Uses of Class
org.processmining.plugins.InductiveMiner.mining.cuts.IMc.AtomicResult
-
Packages that use AtomicResult Package Description org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve -
-
Uses of AtomicResult in org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve
Fields in org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve declared as AtomicResult Modifier and Type Field Description protected AtomicResultSATSolve. bestTillNowConstructors in org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve with parameters of type AtomicResult Constructor Description SATSolve(CutFinderIMinInfo info, AtomicResult bestTillNow, MinerStateBase minerState)SATSolveLoop(CutFinderIMinInfo info, AtomicResult result, MinerStateBase minerState)SATSolveParallel(CutFinderIMinInfo info, AtomicResult result, MinerStateBase minerState)SATSolveSequence(CutFinderIMinInfo info, AtomicResult result, MinerStateBase minerState)SATSolveXor(CutFinderIMinInfo info, AtomicResult result, MinerStateBase minerState)
-