Uses of Class
org.smtlib.impl.SMTExpr.Numeral

Packages that use SMTExpr.Numeral

Package	Description
org.smtlib.impl	This package is an implementation of the interfaces defined in org.smtlib.

Uses of SMTExpr.Numeral in org.smtlib.impl

Methods in org.smtlib.impl that return SMTExpr.Numeral

Modifier and Type	Method	Description
SMTExpr.Numeral	Factory.numeral(long v)