@Deprecated public class SingleQValueBacktracking extends SingleQValueGeneric
| Constructor and Description |
|---|
SingleQValueBacktracking(PebbleInstance p,
boolean isExtendedAlready,
int pebNum,
int q)
Deprecated.
|
getViolators, isCurrentConfigSolvable, runpublic SingleQValueBacktracking(PebbleInstance p, boolean isExtendedAlready, int pebNum, int q)