Deprecated API

Contents

• Deprecated Methods
• Deprecated Constructors

Deprecated Methods

Method and Description
de.uni_freiburg.informatik.ultimate.logic.FunctionSymbol.getParameterCount() use getParameterSorts().length
de.uni_freiburg.informatik.ultimate.logic.FunctionSymbol.getParameterSort(int) use getParameterSorts()[i].
de.uni_freiburg.informatik.ultimate.logic.Rational.toSMTLIB(Theory) Use Rational.toTerm(Sort) since this is the type-safe version

Deprecated Constructors

Constructor and Description
de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2.SMTInterpol(LogProxy, boolean) Use a constructor version without the boolean parameter!
de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2.SMTInterpol(LogProxy, boolean, TerminationRequest) Use a constructor version without the boolean parameter.