Package org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve

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 AtomicResult	bestTillNow
protected CutFinderIMinInfo	info
protected MinerStateBase	minerState

Constructor Summary

Constructors

Constructor	Description
SATSolve(CutFinderIMinInfo info, AtomicResult bestTillNow, MinerStateBase minerState)

Method Summary

Modifier and Type	Method	Description
protected void	debug(java.lang.String x)
abstract void	solve()
void	solveDefault(java.lang.Class<? extends SATSolveSingle> c, boolean commutative)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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)