Uses of Class
org.smtlib.logic.DifferenceLogic

Packages that use DifferenceLogic

Package	Description
org.smtlib.logic	This package contains implementations of classes that implement the constraints of individual logics.

Uses of DifferenceLogic in org.smtlib.logic

Subclasses of DifferenceLogic in org.smtlib.logic

Modifier and Type	Class	Description
class	QF_IDL	QF_IDL atoms (QF_IDL.smt2): (op x y), (op (- x y) n) and (op (- x y) (- n)), with x, y free constants of sort Int and n a numeral.
class	QF_RDL	QF_RDL atoms (QF_RDL.smt2): (op x y), (op (- x y) c), (op (- (+ x ...