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