Class DebuggingSolverInformation
java.lang.Object
org.sosy_lab.java_smt.delegate.debugging.DebuggingSolverInformation
-
Method Summary
Modifier and TypeMethodDescriptionvoidaddFunctionDeclaration(FunctionDeclaration<?> pFunctionDeclaration) Needs to be called after a new function is declared to associate it with this context.static Set<FunctionDeclaration<?>>static booleanstatic boolean
-
Method Details
-
getGlobalTermsForSolver
-
getGlobalFunctionsForSolver
public static Set<FunctionDeclaration<?>> getGlobalFunctionsForSolver(SolverContextFactory.Solvers solver) -
addFunctionDeclaration
Needs to be called after a new function is declared to associate it with this context.
-