Method and Description |
---|
io.github.cvc5.Solver.getBooleanSort()
This function is deprecated and replaced by
TermManager.getBooleanSort() .
It will be removed in a future release. |
io.github.cvc5.Solver.getIntegerSort()
This function is deprecated and replaced by
TermManager.getIntegerSort() .
It will be removed in a future release. |
io.github.cvc5.Solver.getRealSort()
This function is deprecated and replaced by
TermManager.getRealSort() .
It will be removed in a future release. |
io.github.cvc5.Solver.getRegExpSort()
This function is deprecated and replaced by
TermManager.getRegExpSort() .
It will be removed in a future release. |
io.github.cvc5.Solver.getRoundingModeSort()
This function is deprecated and replaced by
TermManager.getRoundingModeSort() .
It will be removed in a future release. |
io.github.cvc5.Solver.getStringSort()
This function is deprecated and replaced by
TermManager.getStringSort() .
It will be removed in a future release. |
io.github.cvc5.Solver.mkAbstractSort(SortKind)
This function is deprecated and replaced by
TermManager.mkAbstractSort(SortKind) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkArraySort(Sort, Sort)
This function is deprecated and replaced by
TermManager.mkArraySort(Sort, Sort) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkBagSort(Sort)
This function is deprecated and replaced by
TermManager.mkBagSort(Sort) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkBitVector(int)
This function is deprecated and replaced by
TermManager.mkBitVector(int) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkBitVector(int, long)
This function is deprecated and replaced by
TermManager.mkBitVector(int, long) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkBitVector(int, String, int)
This function is deprecated and replaced by
TermManager.mkBitVector(int, String, int) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkBitVectorSort(int)
This function is deprecated and replaced by
TermManager.mkBitVectorSort(int) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkBoolean(boolean)
This function is deprecated and replaced by
TermManager.mkBoolean(boolean) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkCardinalityConstraint(Sort, int)
This function is deprecated and replaced by
TermManager.mkCardinalityConstraint(Sort, int) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkConst(Sort)
This function is deprecated and replaced by
TermManager.mkConst(Sort) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkConst(Sort, String)
This function is deprecated and replaced by
TermManager.mkConst(Sort, String) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkConstArray(Sort, Term)
This function is deprecated and replaced by
TermManager.mkConstArray(Sort, Term) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkDatatypeConstructorDecl(String)
This function is deprecated and replaced by
TermManager.mkDatatypeConstructorDecl(String) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkDatatypeDecl(String)
This function is deprecated and replaced by
TermManager.mkDatatypeDecl(String) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkDatatypeDecl(String, boolean)
This function is deprecated and replaced by
TermManager.mkDatatypeDecl(String, boolean) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkDatatypeDecl(String, Sort[])
This function is deprecated and replaced by
TermManager.mkDatatypeDecl(String, Sort[]) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkDatatypeDecl(String, Sort[], boolean)
This function is deprecated and replaced by
TermManager.mkDatatypeDecl(String, Sort[]) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkDatatypeSort(DatatypeDecl)
This function is deprecated and replaced by
TermManager.mkDatatypeSort(DatatypeDecl) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkDatatypeSorts(DatatypeDecl[])
This function is deprecated and replaced by
TermManager.mkDatatypeSorts(DatatypeDecl[]) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkEmptyBag(Sort)
This function is deprecated and replaced by
TermManager.mkEmptyBag(Sort) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkEmptySequence(Sort)
This function is deprecated and replaced by
TermManager.mkEmptySequence(Sort) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkEmptySet(Sort)
This function is deprecated and replaced by
TermManager.mkEmptySet(Sort) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkFalse()
This function is deprecated and replaced by
TermManager.mkFalse() .
It will be removed in a future release. |
io.github.cvc5.Solver.mkFiniteFieldElem(String, Sort, int)
This function is deprecated and replaced by
TermManager.mkFiniteFieldElem(String, Sort, int) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkFiniteFieldSort(String, int)
This function is deprecated and replaced by
TermManager.mkFiniteFieldSort(String, int) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkFloatingPoint(int, int, Term)
This function is deprecated and replaced by
TermManager.mkFloatingPoint(int, int, Term) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkFloatingPoint(Term, Term, Term)
This function is deprecated and replaced by
TermManager.mkFloatingPoint(Term, Term, Term) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkFloatingPointNaN(int, int)
This function is deprecated and replaced by
TermManager.mkFloatingPointNaN(int, int) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkFloatingPointNegInf(int, int)
This function is deprecated and replaced by
TermManager.mkFloatingPointNegInf(int, int) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkFloatingPointNegZero(int, int)
This function is deprecated and replaced by
TermManager.mkFloatingPointNegZero(int, int) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkFloatingPointPosInf(int, int)
This function is deprecated and replaced by
TermManager.mkFloatingPointPosInf(int, int) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkFloatingPointPosZero(int, int)
This function is deprecated and replaced by
TermManager.mkFloatingPointPosZero(int, int) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkFloatingPointSort(int, int)
This function is deprecated and replaced by
TermManager.mkFloatingPointSort(int, int) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkFunctionSort(Sort[], Sort)
This function is deprecated and replaced by
TermManager.mkFunctionSort(Sort[], Sort) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkFunctionSort(Sort, Sort)
This function is deprecated and replaced by
TermManager.mkFunctionSort(Sort, Sort) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkInteger(long)
This function is deprecated and replaced by
TermManager.mkInteger(long) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkInteger(String)
This function is deprecated and replaced by
TermManager.mkInteger(String) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkNullableIsNull(Term)
This function is deprecated and replaced by
TermManager.mkNullableIsNull(Term) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkNullableIsSome(Term)
This function is deprecated and replaced by
TermManager.mkNullableIsSome(Term) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkNullableLift(Kind, Term[])
This function is deprecated and replaced by
TermManager.mkNullableLift(Kind, Term[]) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkNullableNull(Sort)
This function is deprecated and replaced by
TermManager.mkNullableNull(Sort) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkNullableSome(Term)
This function is deprecated and replaced by
TermManager.mkNullableSome(Term) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkNullableSort(Sort)
This function is deprecated and replaced by
TermManager.mkNullableSort(Sort) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkNullableVal(Term)
This function is deprecated and replaced by
TermManager.mkNullableVal(Term) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkOp(Kind)
This function is deprecated and replaced by
TermManager.mkOp(Kind) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkOp(Kind, int)
This function is deprecated and replaced by
TermManager.mkOp(Kind, int) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkOp(Kind, int[])
This function is deprecated and replaced by
TermManager.mkOp(Kind, int[]) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkOp(Kind, int, int)
This function is deprecated and replaced by
TermManager.mkOp(Kind, int, int) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkOp(Kind, String)
This function is deprecated and replaced by
TermManager.mkOp(Kind, String) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkParamSort()
This function is deprecated and replaced by
TermManager.mkParamSort() .
It will be removed in a future release. |
io.github.cvc5.Solver.mkParamSort(String)
This function is deprecated and replaced by
TermManager.mkParamSort(String) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkPi()
This function is deprecated and replaced by
TermManager.mkPi() .
It will be removed in a future release. |
io.github.cvc5.Solver.mkPredicateSort(Sort[])
This function is deprecated and replaced by
TermManager.mkPredicateSort(Sort[]) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkReal(long)
This function is deprecated and replaced by
TermManager.mkReal(long) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkReal(long, long)
This function is deprecated and replaced by
TermManager.mkReal(long, long) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkReal(String)
This function is deprecated and replaced by
TermManager.mkReal(String) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkRecordSort(Pair<String, Sort>[])
This function is deprecated and replaced by
TermManager.mkRecordSort(Pair[]) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkRegexpAll()
This function is deprecated and replaced by
TermManager.mkRegexpAll() .
It will be removed in a future release. |
io.github.cvc5.Solver.mkRegexpAllchar()
This function is deprecated and replaced by
TermManager.mkRegexpAllchar() .
It will be removed in a future release. |
io.github.cvc5.Solver.mkRegexpNone()
This function is deprecated and replaced by
TermManager.mkRegexpNone() .
It will be removed in a future release. |
io.github.cvc5.Solver.mkRoundingMode(RoundingMode)
This function is deprecated and replaced by
TermManager.mkRoundingMode(RoundingMode) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkSepEmp()
This function is deprecated and replaced by
TermManager.mkSepEmp() .
It will be removed in a future release. |
io.github.cvc5.Solver.mkSepNil(Sort)
This function is deprecated and replaced by
TermManager.mkSepNil(Sort) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkSequenceSort(Sort)
This function is deprecated and replaced by
TermManager.mkSequenceSort(Sort) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkSetSort(Sort)
This function is deprecated and replaced by
TermManager.mkSetSort(Sort) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkString(int[])
This function is deprecated and replaced by
TermManager.mkString(int[]) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkString(String)
This function is deprecated and replaced by
TermManager.mkString(String) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkString(String, boolean)
This function is deprecated and replaced by
TermManager.mkString(String, boolean) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkTerm(Kind)
This function is deprecated and replaced by
TermManager.mkTerm(Kind) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkTerm(Kind, Term)
This function is deprecated and replaced by
TermManager.mkTerm(Kind, Term) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkTerm(Kind, Term[])
This function is deprecated and replaced by
TermManager.mkTerm(Kind, Term[]) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkTerm(Kind, Term, Term)
This function is deprecated and replaced by
TermManager.mkTerm(Kind, Term, Term) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkTerm(Kind, Term, Term, Term)
This function is deprecated and replaced by
TermManager.mkTerm(Kind, Term, Term, Term) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkTerm(Op)
This function is deprecated and replaced by
TermManager.mkTerm(Op) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkTerm(Op, Term)
This function is deprecated and replaced by
TermManager.mkTerm(Op, Term) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkTerm(Op, Term[])
This function is deprecated and replaced by
TermManager.mkTerm(Op, Term[]) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkTerm(Op, Term, Term)
This function is deprecated and replaced by
TermManager.mkTerm(Op, Term, Term) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkTerm(Op, Term, Term, Term)
This function is deprecated and replaced by
TermManager.mkTerm(Op, Term, Term, Term) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkTrue()
This function is deprecated and replaced by
TermManager.mkTrue() .
It will be removed in a future release. |
io.github.cvc5.Solver.mkTuple(Term[])
This function is deprecated and replaced by
TermManager.mkTuple(Term[]) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkTupleSort(Sort[])
This function is deprecated and replaced by
TermManager.mkTupleSort(Sort[]) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkUninterpretedSort()
This function is deprecated and replaced by
TermManager.mkUninterpretedSort() .
It will be removed in a future release. |
io.github.cvc5.Solver.mkUninterpretedSort(String)
This function is deprecated and replaced by
TermManager.mkUninterpretedSort(String) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkUninterpretedSortConstructorSort(int)
This function is deprecated and replaced by
TermManager.mkUninterpretedSortConstructorSort(int) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkUninterpretedSortConstructorSort(int, String)
This function is deprecated and replaced by
TermManager.mkUninterpretedSortConstructorSort(int, String) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkUniverseSet(Sort)
This function is deprecated and replaced by
TermManager.mkUniverseSet(Sort) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkUnresolvedDatatypeSort(String)
This function is deprecated and replaced by
TermManager.mkUnresolvedDatatypeSort(String) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkUnresolvedDatatypeSort(String, int)
This function is deprecated and replaced by
TermManager.mkUnresolvedDatatypeSort(String, int) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkVar(Sort)
This function is deprecated and replaced by
TermManager.mkVar(Sort) .
It will be removed in a future release. |
io.github.cvc5.Solver.mkVar(Sort, String)
This function is deprecated and replaced by
TermManager.mkVar(Sort, String) .
It will be removed in a future release. |
Constructor and Description |
---|
io.github.cvc5.Solver()
This function is deprecated and replaced by
Solver(TermManager) .
It will be removed in a future release. |
io.github.cvc5.SymbolManager(Solver)
This function is deprecated and replaced by
Solver(TermManager) .
It will be removed in a future release. |