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