ColumnInIndex requires that a column exists within an index.

ColumnInSwappedInPrimaryIndex requires that a column exists within a primary index being swapped.

FilterElements is used to construct a clause which runs an arbitrary predicate // over variables.

ForEachElementInActiveVersion executes a function for each element supported within the current active version.

GetNotJoinOnNodeWithStatusIn returns a not-join rule which takes a variable corresponding to a target in the graph as input and will exclude that target if the graph contains a node with that target in any of the listed status values.

JoinOn joins on two node variable attributes, requiring them to have the same value.

JoinOnColumnFamilyID joins elements on column ID.

JoinOnColumnID joins elements on column ID.

JoinOnConstraintID joins elements on constraint ID.

JoinOnDescID joins elements on descriptor ID.

JoinOnIndexID joins elements on index ID.

JoinReferencedDescID joins elements on referenced descriptor ID.

Not not's a element type predicate.

Or or's a series of element type predicates.

RegisterDepRuleForDrop is a convenience function which calls RegisterDepRule with the cross-product of (ToAbsent,Transient)^2 Target states, which can't easily be composed.

StatusesToAbsent requires that elements have a target of toAbsent and that the current status is fromStatus/toStatus.

StatusesToPublicOrTransient requires that elements have a target of ToPublicOrTransient and that the current status is fromStatus, toStatus.

StatusesTransient requires that elements have a target of transient and that the current status is fromStatus/toStatus.

ToPublicOrTransient is used to construct a clause that will require both elements to be targeting a public/transient state.

JoinOnDescIDUntyped joins on descriptor ID, in an unsafe non-type safe manner.

NodeVars represents three variables intended to refer to related element, Target, and Node entities.

Registry contains all the dep and op rules.