public abstract class SATSolve
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected AtomicResult |
bestTillNow |
protected CutFinderIMinInfo |
info |
protected MinerStateBase |
minerState |
Constructor and Description |
---|
SATSolve(CutFinderIMinInfo info,
AtomicResult bestTillNow,
MinerStateBase minerState) |
Modifier and Type | Method and Description |
---|---|
protected void |
debug(java.lang.String x) |
abstract void |
solve() |
void |
solveDefault(java.lang.Class<? extends SATSolveSingle> c,
boolean commutative) |
protected final AtomicResult bestTillNow
protected final CutFinderIMinInfo info
protected final MinerStateBase minerState
public SATSolve(CutFinderIMinInfo info, AtomicResult bestTillNow, MinerStateBase minerState)
public abstract void solve()
public void solveDefault(java.lang.Class<? extends SATSolveSingle> c, boolean commutative)
protected void debug(java.lang.String x)