public interface SMTTranslator
Modifier and Type | Method and Description |
---|---|
Collection<Throwable> |
getExceptionsOfTacletTranslation()
Returns all exceptions that have occurred while translating the taclets.
|
StringBuffer |
translateProblem(Term problem,
Services services,
SMTSettings settings)
Translates a problem into the given syntax.
|
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
Collection<Throwable> getExceptionsOfTacletTranslation()