Class SATSolve
- java.lang.Object
-
- org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve.SATSolve
-
- Direct Known Subclasses:
SATSolveLoop,SATSolveParallel,SATSolveSequence,SATSolveXor
public abstract class SATSolve extends java.lang.Object
-
-
Field Summary
Fields Modifier and Type Field Description protected AtomicResultbestTillNowprotected CutFinderIMinInfoinfoprotected MinerStateBaseminerState
-
Constructor Summary
Constructors Constructor Description SATSolve(CutFinderIMinInfo info, AtomicResult bestTillNow, MinerStateBase minerState)
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description protected voiddebug(java.lang.String x)abstract voidsolve()voidsolveDefault(java.lang.Class<? extends SATSolveSingle> c, boolean commutative)
-
-
-
Field Detail
-
bestTillNow
protected final AtomicResult bestTillNow
-
info
protected final CutFinderIMinInfo info
-
minerState
protected final MinerStateBase minerState
-
-
Constructor Detail
-
SATSolve
public SATSolve(CutFinderIMinInfo info, AtomicResult bestTillNow, MinerStateBase minerState)
-
-
Method Detail
-
solve
public abstract void solve()
-
solveDefault
public void solveDefault(java.lang.Class<? extends SATSolveSingle> c, boolean commutative)
-
debug
protected void debug(java.lang.String x)
-
-