public interface SMTTranslator
AbstractSMTTranslator
.Modifier and Type | Method and Description |
---|---|
java.lang.CharSequence |
translateProblem(Sequent sequent,
Services services,
SMTSettings settings)
Translates a problem into the given syntax.
|
java.lang.CharSequence translateProblem(Sequent sequent, Services services, SMTSettings settings) throws IllegalFormulaException
translate(Term t, Services services)
is that assumptions
will be added.sequent
- the sequent to be translated.services
- IllegalFormulaException
Copyright © 2003-2019 The KeY-Project.