SimpleGraphBody
Standard implementation of a GraphBody where all the data about the graph
is provided explicitly.
- Value parameters:
- combiner
rhe operation used from combining the contributions of different edges.
- edgeAction
the action of and edge over an assignment.
- ingoing
maps each unknown to the collection of edges departing from it.
- outgoing
maps each unknown to the collection of edges arriving on it.
- sources
maps each edge to its source unknowns.
- target
each edge to its target unknown.
- unknowns
the collection of unknowns (nodes) of this graph body.
- Source:
- GraphBody.scala
trait Serializable
trait Product
trait Equals
trait (U => V) => U => V
class Object
trait Matchable
class Any
Value members
Concrete methods
override def addLocalizedCombos(combos: ComboAssignment[U, V], unknownOrdering: Ordering[U]): GraphBody[U, V, E]
- Definition Classes
- Source:
- GraphBody.scala
override def addLocalizedWarrowing(widenings: ComboAssignment[U, V], narrowings: ComboAssignment[U, V], unknownOrdering: Ordering[U])(using Domain[V]): U => V
- Definition Classes
- Source:
- GraphBody.scala