public static class SolverListener.InternSMTProblem
extends java.lang.Object
Constructor and Description |
---|
InternSMTProblem(int problemIndex,
int solverIndex,
SMTProblem problem,
SMTSolver solver) |
Modifier and Type | Method and Description |
---|---|
void |
createInformation() |
java.util.LinkedList<InformationWindow.Information> |
getInformation() |
SMTProblem |
getProblem() |
int |
getProblemIndex() |
int |
getSolverIndex() |
java.lang.String |
toString() |
public InternSMTProblem(int problemIndex, int solverIndex, SMTProblem problem, SMTSolver solver)
public int getSolverIndex()
public int getProblemIndex()
public SMTProblem getProblem()
public void createInformation()
public java.util.LinkedList<InformationWindow.Information> getInformation()
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.