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.

IsAlterColumnTypeOp checks if the specified column is undergoing a type alteration.

IsDroppedColumnPartOfAlterColumnTypeOp functions similarly to IsAlterColumnTypeOp but operates using the dropped column ID.

IsPotentialSecondaryIndexSwap determines if a secondary index recreate is occurring because of a primary key alter.

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.

JoinOnPolicyID joins elements on policy ID.

JoinOnTriggerID joins elements on trigger 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.

IsNotAlterColumnTypeOp determines if no column alteration in progress.

IsNotPotentialSecondaryIndexSwap determines if no secondary index recreation is happening because of a primary key alter.

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.