class SolverTimeout
extends java.util.TimerTask
Modifier and Type | Field and Description |
---|---|
(package private) static int |
counter |
(package private) int |
id |
(package private) Session |
session |
(package private) SMTSolver |
solver |
(package private) long |
timeout |
Constructor and Description |
---|
SolverTimeout(SMTSolver solver,
long timeout) |
SolverTimeout(SMTSolver solver,
Session session,
long timeout) |
Modifier and Type | Method and Description |
---|---|
long |
getTimeout() |
void |
run() |