Module dependency 

Structs

Dependencies

dependencies.

DependencyEnumerator

Contains a mapping of all dependencies we have processed for each sort expr

DependencyMap

Maps an expression –> DependencyNode

DependencyNode

Represents a node in the dependency map used to construct projected orderings.

Functions

construct_prefix_orderings

This function retrieves the dependencies of the given relevant sort expression from the given dependency map. It then constructs prefix orderings by recursively analyzing the dependencies and include them in the orderings.

generate_dependency_orderings

Generates all possible orderings where dependencies are satisfied for the current projection expression.

referred_dependencies

This function analyzes the dependency map to collect referred dependencies for a given source expression.