public class TrySolutions
extends java.lang.Object
Constructor and Description |
---|
TrySolutions() |
Modifier and Type | Method and Description |
---|---|
private static void |
checkInconsistency(InconsistencyProof inconsistency) |
private static void |
checkSolutions(Graph graph,
Solutions solutions) |
static void |
main(java.lang.String[] args) |
public static void main(java.lang.String[] args)
private static void checkInconsistency(InconsistencyProof inconsistency)