public interface SMTTranslator
Modifier and Type | Method and Description |
---|---|
java.util.Collection<java.lang.Throwable> |
getExceptionsOfTacletTranslation()
Returns all exceptions that have occurred while translating the taclets.
|
java.lang.StringBuffer |
translateProblem(Term problem,
Services services,
SMTSettings settings)
Translates a problem into the given syntax.
|
java.lang.StringBuffer translateProblem(Term problem, Services services, SMTSettings settings) throws IllegalFormulaException
translate(Term t, Services services)
is that assumptions
will be added.problem
- the problem to be translated.services
- IllegalFormulaException
java.util.Collection<java.lang.Throwable> getExceptionsOfTacletTranslation()