hydra.dsl.topology
package hydra.dsl.topology
Members list
Value members
Concrete methods
def decodeOrderingIsomorphism[A](a: TypedTerm[Graph => Term => Either[DecodingError, A]]): TypedTerm[Graph => Term => Either[DecodingError, OrderingIsomorphism[A]]]
def encodeOrderingIsomorphism[A](a: TypedTerm[A => Term]): TypedTerm[(OrderingIsomorphism[A]) => Term]
def orderingIsomorphism[A](encode: TypedTerm[(Seq[A]) => Seq[A]])(decode: TypedTerm[(Seq[A]) => Seq[A]]): TypedTerm[OrderingIsomorphism[A]]
def orderingIsomorphismDecode[A](x: TypedTerm[OrderingIsomorphism[A]]): TypedTerm[(Seq[A]) => Seq[A]]
def orderingIsomorphismEncode[A](x: TypedTerm[OrderingIsomorphism[A]]): TypedTerm[(Seq[A]) => Seq[A]]
def orderingIsomorphismWithDecode[A](original: TypedTerm[OrderingIsomorphism[A]])(newVal: TypedTerm[(Seq[A]) => Seq[A]]): TypedTerm[OrderingIsomorphism[A]]
def orderingIsomorphismWithEncode[A](original: TypedTerm[OrderingIsomorphism[A]])(newVal: TypedTerm[(Seq[A]) => Seq[A]]): TypedTerm[OrderingIsomorphism[A]]
def tarjanStateWithCounter(original: TypedTerm[TarjanState])(newVal: TypedTerm[Int]): TypedTerm[TarjanState]
def tarjanStateWithIndices(original: TypedTerm[TarjanState])(newVal: TypedTerm[Map[Vertex, Int]]): TypedTerm[TarjanState]
def tarjanStateWithLowLinks(original: TypedTerm[TarjanState])(newVal: TypedTerm[Map[Vertex, Int]]): TypedTerm[TarjanState]
def tarjanStateWithOnStack(original: TypedTerm[TarjanState])(newVal: TypedTerm[Set[Vertex]]): TypedTerm[TarjanState]
def tarjanStateWithSccs(original: TypedTerm[TarjanState])(newVal: TypedTerm[Seq[Seq[Vertex]]]): TypedTerm[TarjanState]
def tarjanStateWithStack(original: TypedTerm[TarjanState])(newVal: TypedTerm[Seq[Vertex]]): TypedTerm[TarjanState]
Concrete fields
In this article