class Session
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.util.LinkedList<SMTSolver> |
currentlyRunning |
private java.util.concurrent.locks.ReentrantLock |
finishedSolverLock |
private java.util.Collection<SMTSolver> |
finishedSolvers |
private java.util.concurrent.locks.ReentrantLock |
lock
Locks the queue of the currently running solvers
|
private java.util.concurrent.locks.ReentrantLock |
problemSolverLock
Locks the collection of the problem solvers.
|
private java.util.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() |
java.util.Collection<SMTSolver> |
getFinishedSolvers() |
java.util.Collection<SMTSolver> |
getProblemSolvers() |
void |
interruptAll(SMTSolver.ReasonOfInterruption reason) |
void |
interruptSolver(SMTSolver solver,
SMTSolver.ReasonOfInterruption reason) |
void |
removeCurrentlyRunning(SMTSolver solver) |
private java.util.concurrent.locks.ReentrantLock lock
private java.util.concurrent.locks.ReentrantLock problemSolverLock
private java.util.concurrent.locks.ReentrantLock finishedSolverLock
private java.util.Collection<SMTSolver> finishedSolvers
private java.util.Collection<SMTSolver> problemSolvers
private java.util.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 java.util.Collection<SMTSolver> getProblemSolvers()
public java.util.Collection<SMTSolver> getFinishedSolvers()