public class SMTProblem
extends java.lang.Object
SMTProblem
is related to a set of solvers that are used to
solve this problem.Constructor and Description |
---|
SMTProblem(Goal goal) |
SMTProblem(Sequent s,
Services services) |
SMTProblem(Term t) |
Modifier and Type | Method and Description |
---|---|
static java.util.Collection<SMTProblem> |
createSMTProblems(Proof proof)
Creates out of a proof object several SMT problems.
|
SMTSolverResult |
getFinalResult()
Returns the result of the problem.
|
Goal |
getGoal() |
java.lang.String |
getName() |
Sequent |
getSequent() |
java.util.Collection<SMTSolver> |
getSolvers()
Returns the solvers that are related to the problem
|
Term |
getTerm()
Returns the term that is related to this problem.
|
static Term |
sequentToTerm(Sequent s,
Services services) |
public static java.util.Collection<SMTProblem> createSMTProblems(Proof proof)
public Term getTerm()
public java.util.Collection<SMTSolver> getSolvers()
public Goal getGoal()
public Sequent getSequent()
public SMTSolverResult getFinalResult()
public java.lang.String getName()
Copyright © 2003-2019 The KeY-Project.