de.uka.ilkd.key.smt

Interface SolverListener

All Known Implementing Classes:

SolverLauncher

interface SolverListener

Method Summary

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)

Method Detail

processStarted

void processStarted(SMTSolver solver,
                    SMTProblem problem)

processInterrupted

void processInterrupted(SMTSolver solver,
                        SMTProblem problem,
                        java.lang.Throwable e)

processStopped

void processStopped(SMTSolver solver,
                    SMTProblem problem)

processTimeout

void processTimeout(SMTSolver solver,
                    SMTProblem problem)

processUser

void processUser(SMTSolver solver,
                 SMTProblem problem)