public class SATSolveSingleParallel extends SATSolveSingle
SATSolveSingle.Edge, SATSolveSingle.Node, SATSolveSingle.Var
countNodes, info, node2var, nodes, solver, varInt2var
Constructor and Description |
---|
SATSolveSingleParallel(CutFinderIMinInfo info) |
Modifier and Type | Method and Description |
---|---|
SATResult |
solveSingle(int cutSize,
double bestAverageTillNow) |
addClause, compute, debug, newEdgeVar, newNodeVar
public SATSolveSingleParallel(CutFinderIMinInfo info)
public SATResult solveSingle(int cutSize, double bestAverageTillNow)
solveSingle
in class SATSolveSingle