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