arithmetic

Description

Implementations of arithmetic comparison predicates for torch and numpy arrays. A default precedence list for adding arithmetic comparison operations to a logic is given in ARITHMETIC_OP_PRECEDENCE.

Classes

Equals	Predicate of arity 2 that checks element-wise equality between two arrays.
GreaterEqualsThan	Predicate of arity 2 that thresholds number values at a given threshold.
GreaterThan	Predicate of arity 2 that thresholds number values at a given threshold.
LowerEqualsThan	Predicate of arity 2 that checks whether an input is below or equals a threshold.
LowerThan	Predicate of arity 2 that checks whether an input is below a threshold.