Deprecated API

Contents

• Terminally Deprecated
• Methods

Terminally Deprecated Elements

Element	Description
org.sosy_lab.java_smt.api.BitvectorFormulaManager.modulo(BitvectorFormula, BitvectorFormula, boolean)

Deprecated Methods

Method	Description
org.sosy_lab.java_smt.api.BitvectorFormulaManager.modulo(BitvectorFormula, BitvectorFormula, boolean)