Uses of Class
com.luchersol.core.util.collection.Graph.Edge

Packages that use Graph.Edge

Package	Description
com.luchersol.core.specialized_checkers.collection	Specialized checkers for Java collection types.
com.luchersol.core.util	Core utility classes and base abstractions for the Checker framework.
com.luchersol.core.util.collection	Utility classes for collection operations.

Uses of Graph.Edge in com.luchersol.core.specialized_checkers.collection

Methods in com.luchersol.core.specialized_checkers.collection with parameters of type Graph.Edge

Modifier and Type	Method	Description
CheckerGraph<N,E>	CheckerGraph.containsEdge(Graph.Edge<N,E> edge)	Checks if the graph contains the specified edge.

Method parameters in com.luchersol.core.specialized_checkers.collection with type arguments of type Graph.Edge

Modifier and Type	Method	Description
CheckerGraph<N,E>	CheckerGraph.allEdgesMatch(Predicate<Graph.Edge<N,E>> condition)	Checks if all edges in the graph match the given condition.
CheckerGraph<N,E>	CheckerGraph.anyEdgesMatch(Predicate<Graph.Edge<N,E>> condition)	Checks if any edge in the graph matches the given condition.
static <N, E extends Number> CheckerGraph<N,E>	CheckerGraph.check(Collection<Graph.Edge<N,E>> edges)	Creates a CheckerGraph from a collection of edges with a default name.
static <N, E extends Number> CheckerGraph<N,E>	CheckerGraph.check(Collection<Graph.Edge<N,E>> edges, boolean directed)	Creates a CheckerGraph from a collection of edges, specifying if the graph is directed, with a default name.
static <N, E extends Number> CheckerGraph<N,E>	CheckerGraph.check(Collection<Graph.Edge<N,E>> edges, boolean directed, String name)	Creates a CheckerGraph from a collection of edges, specifying if the graph is directed, and assigns a name.
static <N, E extends Number> CheckerGraph<N,E>	CheckerGraph.check(Collection<Graph.Edge<N,E>> edges, String name)	Creates a CheckerGraph from a collection of edges and assigns a name.

Uses of Graph.Edge in com.luchersol.core.util

Method parameters in com.luchersol.core.util with type arguments of type Graph.Edge

Modifier and Type	Method	Description
<N, E extends Number> CheckerGraph<N,E>	Checker.isGraph(Collection<Graph.Edge<N,E>> edges)	Creates a CheckerGraph for the given edges (undirected by default).
<N, E extends Number> CheckerGraph<N,E>	Checker.isGraph(Collection<Graph.Edge<N,E>> edges, boolean directed)	Creates a CheckerGraph for the given edges and directionality.

Uses of Graph.Edge in com.luchersol.core.util.collection

Methods in com.luchersol.core.util.collection that return types with arguments of type Graph.Edge

Modifier and Type	Method	Description
Set<Graph.Edge<N,E>>	Graph.getEdges()	Returns the set of all edges in the graph.

Methods in com.luchersol.core.util.collection with parameters of type Graph.Edge

Modifier and Type	Method	Description
boolean	Graph.containsEdge(Graph.Edge<N,E> edge)	Checks if the graph contains the specified edge.

Method parameters in com.luchersol.core.util.collection with type arguments of type Graph.Edge

Modifier and Type	Method	Description
boolean	Graph.allEdgesMatch(Predicate<Graph.Edge<N,E>> condition)	Checks if all edges in the graph match the given condition.
boolean	Graph.anyEdgesMatch(Predicate<Graph.Edge<N,E>> condition)	Checks if any edge in the graph matches the given condition.

Constructor parameters in com.luchersol.core.util.collection with type arguments of type Graph.Edge

Modifier	Constructor	Description
	Graph(Collection<Graph.Edge<N,E>> edges)	Constructs an undirected graph with the specified edges.
	Graph(Collection<Graph.Edge<N,E>> edges, boolean directed)	Constructs a graph with the specified edges and directionality.