Module Terms.RelationsSource

Group Action

Sourcemodule type GROUP_ACTION = sig ... end

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

Some implementations

Sourcemodule Equality : sig ... end

The simplest relation: strict equality y = x between variables

Sourcemodule Additive : sig ... end

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

Sourcemodule XOR_Rotate : sig ... end
Sourcemodule LinearTwoVarEquality : sig ... end