hydra.encode.topology module

Term encoders for hydra.topology.

hydra.encode.topology.graph(m: Mapping[int, Sequence[int]]) → Term

Encoder for hydra.topology.Graph.

hydra.encode.topology.tarjan_state(x: TarjanState) → Term

Encoder for hydra.topology.TarjanState.

hydra.encode.topology.vertex(x: int) → Term

Encoder for hydra.topology.Vertex.