namespace ArrowValuedGraphHashed
An type-invariant immutable valued arrow (directed) graph. The nodes are internally maintained using HashMaps See the Graph documentation and the ArrowValuedGraphHashed API documentation
Companion interface: ArrowValuedGraphHashed<N,V>
Interfaces
Name | Description |
---|---|
ArrowValuedGraphHashed.Builder<N,V> | A mutable ArrowValuedGraphHashed builder used to efficiently create new immutable instances. See the Graph documentation and the ArrowValuedGraphHashed.BuilderAPI documentation |
ArrowValuedGraphHashed.Context<UN> | The ArrowValuedGraphHashed's Context instance that serves as a factory for all related immutable instances and builders. |
ArrowValuedGraphHashed.NonEmpty<N,V> | A non-empty type-invariant immutable valued arrow (directed) graph. The nodes are internally maintained using HashMaps See the Graph documentation and the ArrowValuedGraphHashed API documentation |
ArrowValuedGraphHashed.Types | Utility interface that provides higher-kinded types for this collection. |
Static Methods
builder
Returns an empty builder instance.
builder
createContext
Returns a new ArrowValuedGraphHashed context instance based on the given options
.
createContext
options
.defaultContext
Returns the default context for this type of graph.
defaultContext
empty
Returns the (singleton) empty instance of this type and context with given key and value types.
empty
from
Returns an immutable valued Graph, containing the graph elements from each of the given sources
.
from
sources
.of
Returns an immutable valued Graph instance containing the graph elements from the given graphElements
.
of
graphElements
.reducer
Returns a Reducer
that adds valued received graph elements to a ValuedGraph and returns the ValuedGraph as a result. When a source
is given, the reducer will first create a graph from the source, and then add graph elements to it.
reducer
Reducer
that adds valued received graph elements to a ValuedGraph and returns the ValuedGraph as a result. When a source
is given, the reducer will first create a graph from the source, and then add graph elements to it.