public class SATSolveSingleParallel extends SATSolveSingle
SATSolveSingle.Edge, SATSolveSingle.Node, SATSolveSingle.VarcountNodes, 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, newNodeVarpublic SATSolveSingleParallel(CutFinderIMinInfo info)
public SATResult solveSingle(int cutSize, double bestAverageTillNow)
solveSingle in class SATSolveSingle