public static class SolverListener.InternSMTProblem extends Object
Modifier and Type | Field and Description |
---|---|
(package private) LinkedList<InformationWindow.Information> |
information |
(package private) SMTProblem |
problem |
(package private) int |
problemIndex |
(package private) SMTSolver |
solver |
(package private) int |
solverIndex |
Constructor and Description |
---|
InternSMTProblem(int problemIndex,
int solverIndex,
SMTProblem problem,
SMTSolver solver) |
Modifier and Type | Method and Description |
---|---|
private void |
addInformation(String title,
String content) |
boolean |
createInformation() |
LinkedList<InformationWindow.Information> |
getInformation() |
SMTProblem |
getProblem() |
int |
getProblemIndex() |
SMTSolver |
getSolver() |
int |
getSolverIndex() |
String |
toString() |
final int problemIndex
final int solverIndex
final SMTSolver solver
final SMTProblem problem
final LinkedList<InformationWindow.Information> information
public InternSMTProblem(int problemIndex, int solverIndex, SMTProblem problem, SMTSolver solver)
public int getSolverIndex()
public int getProblemIndex()
public SMTProblem getProblem()
public boolean createInformation()
public SMTSolver getSolver()
public LinkedList<InformationWindow.Information> getInformation()