hydra.dsl.topology module

DSL functions for hydra.topology.

hydra.dsl.topology.decode_ordering_isomorphism(a: TypedTerm[Callable[[Graph, Term], object]]) → TypedTerm[Callable[[Graph, Term], object]]

DSL composition builder for the decoder of hydra.topology.OrderingIsomorphism.

hydra.dsl.topology.encode_ordering_isomorphism(a: TypedTerm[Callable[[A], Term]]) → TypedTerm[Callable[[OrderingIsomorphism[A]], Term]]

DSL composition builder for the encoder of hydra.topology.OrderingIsomorphism.

hydra.dsl.topology.ordering_isomorphism(encode: TypedTerm[Callable[[Sequence[A]], Sequence[A]]], decode: TypedTerm[Callable[[Sequence[A]], Sequence[A]]]) → TypedTerm[OrderingIsomorphism[A]]

DSL constructor for hydra.topology.OrderingIsomorphism.

hydra.dsl.topology.ordering_isomorphism_decode(x: TypedTerm[OrderingIsomorphism[A]]) → TypedTerm[Callable[[Sequence[A]], Sequence[A]]]

DSL accessor for the decode field of hydra.topology.OrderingIsomorphism.

hydra.dsl.topology.ordering_isomorphism_encode(x: TypedTerm[OrderingIsomorphism[A]]) → TypedTerm[Callable[[Sequence[A]], Sequence[A]]]

DSL accessor for the encode field of hydra.topology.OrderingIsomorphism.

hydra.dsl.topology.ordering_isomorphism_with_decode(original: TypedTerm[OrderingIsomorphism[A]], new_val: TypedTerm[Callable[[Sequence[A]], Sequence[A]]]) → TypedTerm[OrderingIsomorphism[A]]

DSL updater for the decode field of hydra.topology.OrderingIsomorphism.

hydra.dsl.topology.ordering_isomorphism_with_encode(original: TypedTerm[OrderingIsomorphism[A]], new_val: TypedTerm[Callable[[Sequence[A]], Sequence[A]]]) → TypedTerm[OrderingIsomorphism[A]]

DSL updater for the encode field of hydra.topology.OrderingIsomorphism.

hydra.dsl.topology.tarjan_state(counter: TypedTerm[int], indices: TypedTerm[Mapping[int, int]], low_links: TypedTerm[Mapping[int, int]], stack: TypedTerm[Sequence[int]], on_stack: TypedTerm[Set[int]], sccs: TypedTerm[Sequence[Sequence[int]]]) → TypedTerm[TarjanState]

DSL constructor for hydra.topology.TarjanState.

hydra.dsl.topology.tarjan_state_counter(x: TypedTerm[TarjanState]) → TypedTerm[int]

DSL accessor for the counter field of hydra.topology.TarjanState.

hydra.dsl.topology.tarjan_state_indices(x: TypedTerm[TarjanState]) → TypedTerm[Mapping[int, int]]

DSL accessor for the indices field of hydra.topology.TarjanState.

DSL accessor for the lowLinks field of hydra.topology.TarjanState.

hydra.dsl.topology.tarjan_state_on_stack(x: TypedTerm[TarjanState]) → TypedTerm[Set[int]]

DSL accessor for the onStack field of hydra.topology.TarjanState.

hydra.dsl.topology.tarjan_state_sccs(x: TypedTerm[TarjanState]) → TypedTerm[Sequence[Sequence[int]]]

DSL accessor for the sccs field of hydra.topology.TarjanState.

hydra.dsl.topology.tarjan_state_stack(x: TypedTerm[TarjanState]) → TypedTerm[Sequence[int]]

DSL accessor for the stack field of hydra.topology.TarjanState.

hydra.dsl.topology.tarjan_state_with_counter(original: TypedTerm[TarjanState], new_val: TypedTerm[int]) → TypedTerm[TarjanState]

DSL updater for the counter field of hydra.topology.TarjanState.

hydra.dsl.topology.tarjan_state_with_indices(original: TypedTerm[TarjanState], new_val: TypedTerm[Mapping[int, int]]) → TypedTerm[TarjanState]

DSL updater for the indices field of hydra.topology.TarjanState.

DSL updater for the lowLinks field of hydra.topology.TarjanState.

hydra.dsl.topology.tarjan_state_with_on_stack(original: TypedTerm[TarjanState], new_val: TypedTerm[Set[int]]) → TypedTerm[TarjanState]

DSL updater for the onStack field of hydra.topology.TarjanState.

hydra.dsl.topology.tarjan_state_with_sccs(original: TypedTerm[TarjanState], new_val: TypedTerm[Sequence[Sequence[int]]]) → TypedTerm[TarjanState]

DSL updater for the sccs field of hydra.topology.TarjanState.

hydra.dsl.topology.tarjan_state_with_stack(original: TypedTerm[TarjanState], new_val: TypedTerm[Sequence[int]]) → TypedTerm[TarjanState]

DSL updater for the stack field of hydra.topology.TarjanState.