PlanVerifier

izumi.distage.planning.solver.PlanVerifier
See thePlanVerifier companion object
class PlanVerifier(queries: GraphQueries)

Attributes

See also
Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def traceReachables[F[_] : TagK](bindings: ModuleBase, roots: Roots, providedKeys: DIKey => Boolean, excludedActivations: Set[NESet[AxisPoint]]): Set[DIKey]
def verify[F[_] : TagK](bindings: ModuleBase, roots: Roots, providedKeys: DIKey => Boolean, excludedActivations: Set[NESet[AxisPoint]]): PlanVerifierResult