Uses of Package
com.luchersol.core.util.collection

Packages that use com.luchersol.core.util.collection

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.

Classes in com.luchersol.core.util.collection used by com.luchersol.core.specialized_checkers.collection

Class	Description
Graph	Graph is a generic class representing a graph data structure with nodes and weighted edges.
Graph.Edge	Edge represents a connection between two nodes in the graph, possibly with a weight and additional properties.
Tree	Tree is a generic class representing a tree data structure with nodes and children.

Classes in com.luchersol.core.util.collection used by com.luchersol.core.util

Class	Description
Graph.Edge	Edge represents a connection between two nodes in the graph, possibly with a weight and additional properties.

Classes in com.luchersol.core.util.collection used by com.luchersol.core.util.collection

Class	Description
Graph.Edge	Edge represents a connection between two nodes in the graph, possibly with a weight and additional properties.
Tree.TreeNode	TreeNode represents a node in the tree, holding a value and a list of children.