Module Terms.Relations

Group Action

module type GROUP_ACTION = sig ... end

Computes the action of a group of relation on some numeric values

Some implementations

module Equality : sig ... end

The simplest relation: strict equality y = x between variables

module Additive : sig ... end

Simple additive relation: y = delta*x + b where delta is +/- 1 (indicated by a boolean with true -> positive)

module XOR_Rotate : sig ... end

module LinearTwoVarEquality : sig ... end