instance pivot

typeside t
schema s : t
instance i : s
----------------------------------
instance (pivot i) : pivot i

Computes the instance pivot i instance j such that sigma f j = i. Has one row per entity, i.e., is initial on the entity side.

Appears in:

Options:

allow_java_eqs_unsafe
always_reload
num_threads
require_consistency
talg_reduction
timeout