Package org.sosy_lab.java_smt.basicimpl

Class AbstractFloatingPointFormulaManager.BitvectorFormulaAndBooleanFormula

java.lang.Object

org.sosy_lab.java_smt.basicimpl.AbstractFloatingPointFormulaManager.BitvectorFormulaAndBooleanFormula

Enclosing class:

AbstractFloatingPointFormulaManager<TFormulaInfo,TType,TEnv,TFuncDecl>

public static final class AbstractFloatingPointFormulaManager.BitvectorFormulaAndBooleanFormula
extends Object

Method Summary

Modifier and Type	Method	Description
BitvectorFormula	getBitvectorFormula()
BooleanFormula	getBooleanFormula()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getBitvectorFormula

public BitvectorFormula getBitvectorFormula()

getBooleanFormula

public BooleanFormula getBooleanFormula()