Class DebuggingSolverInformation
- java.lang.Object
-
- org.sosy_lab.java_smt.delegate.debugging.DebuggingSolverInformation
-
public class DebuggingSolverInformation extends Object
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addFunctionDeclaration(FunctionDeclaration<?> pFunctionDeclaration)
Needs to be called after a new function is declared to associate it with this context.static Set<FunctionDeclaration<?>>
getGlobalFunctionsForSolver(SolverContextFactory.Solvers solver)
static Set<Formula>
getGlobalTermsForSolver(SolverContextFactory.Solvers solver)
static boolean
solverHasSharedFormulas(SolverContextFactory.Solvers solver)
static boolean
solverHasSharedFunctions(SolverContextFactory.Solvers solver)
-
-
-
Method Detail
-
getGlobalTermsForSolver
public static Set<Formula> getGlobalTermsForSolver(SolverContextFactory.Solvers solver)
-
solverHasSharedFormulas
public static boolean solverHasSharedFormulas(SolverContextFactory.Solvers solver)
-
getGlobalFunctionsForSolver
public static Set<FunctionDeclaration<?>> getGlobalFunctionsForSolver(SolverContextFactory.Solvers solver)
-
solverHasSharedFunctions
public static boolean solverHasSharedFunctions(SolverContextFactory.Solvers solver)
-
addFunctionDeclaration
public void addFunctionDeclaration(FunctionDeclaration<?> pFunctionDeclaration)
Needs to be called after a new function is declared to associate it with this context.
-
-