public void Interrupt() { Interrupted = true; UnderlyingSolver.Interrupt(); }
public void Interrupt() { this.TryInterupt = true; SolverImpl.Interrupt(); }
public void Interrupt() { UnderlyingSolver.Interrupt(); }
public void Interrupt() { UnderlyingImpl.Interrupt(); }