Class SATSolveXor
- java.lang.Object
-
- org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.SATSolve
-
- org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.SATSolveXor
-
public class SATSolveXor extends SATSolve
-
-
Field Summary
-
Fields inherited from class org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.SATSolve
bestTillNow, info, minerState
-
-
Constructor Summary
Constructors Constructor Description SATSolveXor(CutFinderIMinInfo info, AtomicResult result, MinerStateBase minerState)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidsolve()-
Methods inherited from class org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.SATSolve
debug, solveDefault
-
-
-
-
Constructor Detail
-
SATSolveXor
public SATSolveXor(CutFinderIMinInfo info, AtomicResult result, MinerStateBase minerState)
-
-