All Downloads are FREE. Search and download functionalities are using the official Maven repository.

izumi.fundamentals.graphs.GraphSyntax.scala Maven / Gradle / Ivy

The newest version!
package izumi.fundamentals.graphs

import izumi.fundamentals.graphs.GraphImpl.DirectedGraphPred
import izumi.fundamentals.graphs.struct.IncidenceMatrix
import izumi.fundamentals.graphs.tools.gc.GC
import izumi.fundamentals.graphs.tools.gc.GC.GCInput

trait GraphSyntax[G[n, m] <: AbstractGraph[n, m]] {

  protected def unsafeFactory[N, M](predecessors: IncidenceMatrix[N], meta: GraphMeta[N, M]): G[N, M]

  implicit class DGExt[N, M](g: AbstractGraph[N, M] & DirectedGraphPred[N, M]) {
    def gc(roots: Set[N], weak: Set[WeakEdge[N]]): Either[Nothing, G[N, M]] = {
      for {
        collected <- new GC.GCTracer[N].collect(GCInput(g.predecessors, roots, weak))
      } yield {
        unsafeFactory(collected.predecessorMatrix, g.meta.without(collected.removed))
      }
    }

    def without(nodes: Set[N]): G[N, M] = {
      val preds = g.predecessors.without(nodes)
      unsafeFactory(preds, g.meta.without(nodes))
    }
  }

}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy