interface SolverListener
Modifier and Type | Method and Description |
---|---|
void |
processInterrupted(SMTSolver solver,
SMTProblem problem,
java.lang.Throwable e) |
void |
processStarted(SMTSolver solver,
SMTProblem problem) |
void |
processStopped(SMTSolver solver,
SMTProblem problem) |
void |
processTimeout(SMTSolver solver,
SMTProblem problem) |
void |
processUser(SMTSolver solver,
SMTProblem problem) |
void processStarted(SMTSolver solver, SMTProblem problem)
void processInterrupted(SMTSolver solver, SMTProblem problem, java.lang.Throwable e)
void processStopped(SMTSolver solver, SMTProblem problem)
void processTimeout(SMTSolver solver, SMTProblem problem)
void processUser(SMTSolver solver, SMTProblem problem)