de.uka.ilkd.key.smt

Class SolverTimeout

java.lang.Object

java.util.TimerTask

de.uka.ilkd.key.smt.SolverTimeout

All Implemented Interfaces:

java.lang.Runnable

class SolverTimeout
extends java.util.TimerTask

The class controls the timer that checks for a solver whether it exceeds a pre-defined timeout.

Field Summary

Fields

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 Summary

Constructors

Constructor and Description
SolverTimeout(SMTSolver solver, long timeout)
SolverTimeout(SMTSolver solver, Session session, long timeout)

Method Summary

Modifier and Type	Method and Description
long	getTimeout()
void	run()

Methods inherited from class java.util.TimerTask

cancel, scheduledExecutionTime

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

counter

static int counter

id

int id

solver

final SMTSolver solver

session

final Session session

timeout

final long timeout

Constructor Detail

SolverTimeout

public SolverTimeout(SMTSolver solver,
                     Session session,
                     long timeout)

SolverTimeout

public SolverTimeout(SMTSolver solver,
                     long timeout)

Method Detail

run

public void run()

Specified by:

run in interface java.lang.Runnable

Specified by:

run in class java.util.TimerTask

getTimeout

public long getTimeout()