class Session extends Object
Modifier and Type | Field and Description |
---|---|
private LinkedList<SMTSolver> |
currentlyRunning |
private ReentrantLock |
finishedSolverLock |
private Collection<SMTSolver> |
finishedSolvers |
private ReentrantLock |
lock
Locks the queue of the currently running solvers
|
private ReentrantLock |
problemSolverLock
Locks the collection of the problem solvers.
|
private Collection<SMTSolver> |
problemSolvers |
Constructor and Description |
---|
Session() |
Modifier and Type | Method and Description |
---|---|
void |
addCurrentlyRunning(SMTSolver solver)
Adds a solver to the list of currently running solvers.
|
void |
addFinishedSolver(SMTSolver solver) |
void |
addProblemSolver(SMTSolver solver) |
int |
getCurrentlyRunningCount() |
Collection<SMTSolver> |
getFinishedSolvers() |
Collection<SMTSolver> |
getProblemSolvers() |
void |
interruptAll(SMTSolver.ReasonOfInterruption reason) |
void |
interruptSolver(SMTSolver solver,
SMTSolver.ReasonOfInterruption reason) |
void |
removeCurrentlyRunning(SMTSolver solver) |
private ReentrantLock lock
private ReentrantLock problemSolverLock
private ReentrantLock finishedSolverLock
private Collection<SMTSolver> finishedSolvers
private Collection<SMTSolver> problemSolvers
private LinkedList<SMTSolver> currentlyRunning
public void addCurrentlyRunning(SMTSolver solver)
public void removeCurrentlyRunning(SMTSolver solver)
public int getCurrentlyRunningCount()
public void interruptSolver(SMTSolver solver, SMTSolver.ReasonOfInterruption reason)
public void interruptAll(SMTSolver.ReasonOfInterruption reason)
public void addProblemSolver(SMTSolver solver)
public void addFinishedSolver(SMTSolver solver)
public Collection<SMTSolver> getProblemSolvers()
public Collection<SMTSolver> getFinishedSolvers()