public EndBacktrack ( int level, bool successful ) : void | ||
level | int | |
successful | bool | |
return | void |
public override void EndBacktrack(int level, bool successful)
{
if (dump)
Console.WriteLine("exit backtrack " + level + ": " + successful);
backtrackDepth--;
}