core/it.unich.scalafix.finite/GraphEquationSystem

GraphEquationSystem

object GraphEquationSystem
Companion:
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[U, V, E](unknowns: Iterable[U], inputUnknowns: Set[U], edgeAction: (U, V) => E, source: E => Iterable[U], target: E => U, outgoing: U => Iterable[E], ingoing: U => Iterable[E], initial: InputAssignment[U, V])(using evidence$1: Domain[V]): GraphEquationSystem[U, V, E]

Returns the standard implementation of GraphEquationSystem. All fields must be provided explicitly by the user with the exception of body, bodyWithDependencies and infl.

Returns the standard implementation of GraphEquationSystem. All fields must be provided explicitly by the user with the exception of body, bodyWithDependencies and infl.