hydra.dsl.sorting module
DSL functions for hydra.sorting.
- hydra.dsl.sorting.adjacency_list_to_map(arg0: TypedTerm[Sequence[tuple[T0, Sequence[T1]]]]) TypedTerm[Mapping[T0, Sequence[T1]]]
DSL reference to hydra.sorting.adjacencyListToMap.
- hydra.dsl.sorting.adjacency_lists_to_graph(arg0: TypedTerm[Sequence[tuple[T0, Sequence[T0]]]]) TypedTerm[tuple[Mapping[int, Sequence[int]], Callable[[int], object]]]
DSL reference to hydra.sorting.adjacencyListsToGraph.
- hydra.dsl.sorting.create_ordering_isomorphism(arg0: TypedTerm[Sequence[T0]], arg1: TypedTerm[Sequence[T0]]) TypedTerm[OrderingIsomorphism[T1]]
DSL reference to hydra.sorting.createOrderingIsomorphism.
- hydra.dsl.sorting.find_reachable_nodes(arg0: TypedTerm[Callable[[T0], Set[T0]]], arg1: TypedTerm[T0]) TypedTerm[Set[T0]]
DSL reference to hydra.sorting.findReachableNodes.
- hydra.dsl.sorting.pop_stack_until(arg0: TypedTerm[int], arg1: TypedTerm[TarjanState]) TypedTerm[tuple[Sequence[int], TarjanState]]
DSL reference to hydra.sorting.popStackUntil.
- hydra.dsl.sorting.propagate_tags(arg0: TypedTerm[Sequence[tuple[T0, Sequence[T0]]]], arg1: TypedTerm[Sequence[tuple[T0, Sequence[T1]]]]) TypedTerm[Sequence[tuple[T0, Set[T1]]]]
DSL reference to hydra.sorting.propagateTags.
- hydra.dsl.sorting.strong_connect(arg0: TypedTerm[Mapping[int, Sequence[int]]], arg1: TypedTerm[int], arg2: TypedTerm[TarjanState]) TypedTerm[TarjanState]
DSL reference to hydra.sorting.strongConnect.
- hydra.dsl.sorting.strongly_connected_components(arg0: TypedTerm[Mapping[int, Sequence[int]]]) TypedTerm[Sequence[Sequence[int]]]
DSL reference to hydra.sorting.stronglyConnectedComponents.
- hydra.dsl.sorting.topological_sort(arg0: TypedTerm[Sequence[tuple[T0, Sequence[T0]]]]) TypedTerm[object]
DSL reference to hydra.sorting.topologicalSort.