Uses of Package
net.automatalib.graph

Packages that use net.automatalib.graph

Package	Description
net.automatalib.automaton	This package (including sub-packages) contains the basic classes concerning automata.
net.automatalib.automaton.fsa
net.automatalib.automaton.graph
net.automatalib.automaton.procedural
net.automatalib.automaton.transducer
net.automatalib.automaton.vpa
net.automatalib.brics	This package contains adapter classes for treating the Automaton objects from the BRICS library as AutomataLib models.
net.automatalib.graph	This package (including sub-packages) contains the basic classes concerning graphs.
net.automatalib.graph.ads
net.automatalib.graph.base
net.automatalib.graph.concept
net.automatalib.graph.helper
net.automatalib.graph.visualization
net.automatalib.incremental	This package (including sub-packages) contains several approaches for the incremental construction of automaton-like structures.
net.automatalib.incremental.dfa
net.automatalib.incremental.dfa.tree
net.automatalib.incremental.mealy.dag
net.automatalib.incremental.mealy.tree
net.automatalib.incremental.moore.dag
net.automatalib.incremental.moore.tree
net.automatalib.modelchecker.m3c.solver
net.automatalib.serialization.dot
net.automatalib.ts.modal
net.automatalib.util.automaton
net.automatalib.util.automaton.procedural
net.automatalib.util.graph
net.automatalib.util.graph.apsp
net.automatalib.util.graph.concept
net.automatalib.util.graph.copy
net.automatalib.util.graph.scc
net.automatalib.util.graph.sssp
net.automatalib.util.graph.traversal
net.automatalib.util.minimizer
net.automatalib.visualization	This package contains several approaches for the visualization of the different types of automata, transition systems, and graphs supported by AutomataLib.
net.automatalib.visualization.dot
net.automatalib.visualization.jung

Classes in net.automatalib.graph used by net.automatalib.automaton

Class	Description
Graph	Graph interface.
UniversalGraph

Classes in net.automatalib.graph used by net.automatalib.automaton.fsa

Class	Description
Graph	Graph interface.
IndefiniteGraph	Interface for an (indefinite) graph structure.
IndefiniteSimpleGraph	A simplified interface for indefinite graphs, exposing only adjacency information, but no further information about edge objects.
SimpleGraph	The finite version of a IndefiniteSimpleGraph.
UniversalGraph
UniversalIndefiniteGraph	A universal graph, i.e., with (possibly empty) node and edge properties.

Classes in net.automatalib.graph used by net.automatalib.automaton.graph

Class	Description
Graph	Graph interface.
IndefiniteGraph	Interface for an (indefinite) graph structure.
IndefiniteSimpleGraph	A simplified interface for indefinite graphs, exposing only adjacency information, but no further information about edge objects.
SimpleGraph	The finite version of a IndefiniteSimpleGraph.
UniversalGraph
UniversalIndefiniteGraph	A universal graph, i.e., with (possibly empty) node and edge properties.

Classes in net.automatalib.graph used by net.automatalib.automaton.procedural

Class	Description
Graph	Graph interface.
IndefiniteGraph	Interface for an (indefinite) graph structure.
IndefiniteSimpleGraph	A simplified interface for indefinite graphs, exposing only adjacency information, but no further information about edge objects.
SimpleGraph	The finite version of a IndefiniteSimpleGraph.

Classes in net.automatalib.graph used by net.automatalib.automaton.transducer

Class	Description
Graph	Graph interface.
IndefiniteGraph	Interface for an (indefinite) graph structure.
IndefiniteSimpleGraph	A simplified interface for indefinite graphs, exposing only adjacency information, but no further information about edge objects.
SimpleGraph	The finite version of a IndefiniteSimpleGraph.
UniversalGraph
UniversalIndefiniteGraph	A universal graph, i.e., with (possibly empty) node and edge properties.

Classes in net.automatalib.graph used by net.automatalib.automaton.vpa

Class	Description
Graph	Graph interface.
IndefiniteGraph	Interface for an (indefinite) graph structure.
IndefiniteSimpleGraph	A simplified interface for indefinite graphs, exposing only adjacency information, but no further information about edge objects.
SimpleGraph	The finite version of a IndefiniteSimpleGraph.

Classes in net.automatalib.graph used by net.automatalib.brics

Class	Description
Graph	Graph interface.
IndefiniteGraph	Interface for an (indefinite) graph structure.
IndefiniteSimpleGraph	A simplified interface for indefinite graphs, exposing only adjacency information, but no further information about edge objects.
SimpleGraph	The finite version of a IndefiniteSimpleGraph.
UniversalGraph
UniversalIndefiniteGraph	A universal graph, i.e., with (possibly empty) node and edge properties.

Classes in net.automatalib.graph used by net.automatalib.graph

Class	Description
BidirectionalGraph	Interface for bidirectional graph.
BidirectionalGraph.IntAbstraction	Interface for node integer abstractions of a BidirectionalGraph.
CompactPMPGEdge
ContextFreeModalProcessSystem	Represents a Context-Free Modal Transition System as defined in the paper M3C: Modal Meta Model Checking.
FiniteKripkeStructure	A Kripke structure is a graph which has sets of atomic properties assigned to its nodes.
FiniteLabeledGraph
Graph	Graph interface.
Graph.IntAbstraction	Interface for node integer abstractions of a Graph.
IndefiniteGraph	Interface for an (indefinite) graph structure.
IndefiniteSimpleGraph	A simplified interface for indefinite graphs, exposing only adjacency information, but no further information about edge objects.
MutableGraph	A graph that allows modification.
MutableGraph.IntAbstraction	Interface for node integer abstractions of a MutableGraph.
MutableProceduralModalProcessGraph	A mutable version of the ProceduralModalProcessGraph.
MutableUniversalBidirectionalGraph
ProceduralModalProcessGraph	Represents a Procedural Modal Transition System as defined in the paper M3C: Modal Meta Model Checking.
ShrinkableGraph	A graph that supports (desirably efficient) removal of nodes and edges.
SimpleGraph	The finite version of a IndefiniteSimpleGraph.
SimpleGraph.IntAbstraction	Basic interface for integer abstractions of graphs.
UniversalBidirectionalGraph
UniversalGraph
UniversalGraph.IntAbstraction	Interface for node integer abstractions of a UniversalGraph.
UniversalIndefiniteGraph	A universal graph, i.e., with (possibly empty) node and edge properties.

Classes in net.automatalib.graph used by net.automatalib.graph.ads

Class	Description
Graph	Graph interface.
IndefiniteGraph	Interface for an (indefinite) graph structure.
IndefiniteSimpleGraph	A simplified interface for indefinite graphs, exposing only adjacency information, but no further information about edge objects.
SimpleGraph	The finite version of a IndefiniteSimpleGraph.

Classes in net.automatalib.graph used by net.automatalib.graph.base

Class	Description
BidirectionalGraph	Interface for bidirectional graph.
BidirectionalGraph.IntAbstraction	Interface for node integer abstractions of a BidirectionalGraph.
Graph	Graph interface.
Graph.IntAbstraction	Interface for node integer abstractions of a Graph.
IndefiniteGraph	Interface for an (indefinite) graph structure.
IndefiniteSimpleGraph	A simplified interface for indefinite graphs, exposing only adjacency information, but no further information about edge objects.
MutableGraph	A graph that allows modification.
MutableGraph.IntAbstraction	Interface for node integer abstractions of a MutableGraph.
MutableUniversalBidirectionalGraph
SimpleGraph	The finite version of a IndefiniteSimpleGraph.
SimpleGraph.IntAbstraction	Basic interface for integer abstractions of graphs.
UniversalBidirectionalGraph
UniversalGraph
UniversalGraph.IntAbstraction	Interface for node integer abstractions of a UniversalGraph.
UniversalIndefiniteGraph	A universal graph, i.e., with (possibly empty) node and edge properties.

Classes in net.automatalib.graph used by net.automatalib.graph.concept

Class	Description
Graph	Graph interface.

Classes in net.automatalib.graph used by net.automatalib.graph.helper

Class	Description
SimpleGraph	The finite version of a IndefiniteSimpleGraph.

Classes in net.automatalib.graph used by net.automatalib.graph.visualization

Class	Description
ProceduralModalProcessGraph	Represents a Procedural Modal Transition System as defined in the paper M3C: Modal Meta Model Checking.

Classes in net.automatalib.graph used by net.automatalib.incremental

Class	Description
Graph	Graph interface.

Classes in net.automatalib.graph used by net.automatalib.incremental.dfa

Class	Description
Graph	Graph interface.

Classes in net.automatalib.graph used by net.automatalib.incremental.dfa.tree

Class	Description
Graph	Graph interface.

Classes in net.automatalib.graph used by net.automatalib.incremental.mealy.dag

Class	Description
Graph	Graph interface.

Classes in net.automatalib.graph used by net.automatalib.incremental.mealy.tree

Class	Description
Graph	Graph interface.

Classes in net.automatalib.graph used by net.automatalib.incremental.moore.dag

Class	Description
Graph	Graph interface.

Classes in net.automatalib.graph used by net.automatalib.incremental.moore.tree

Class	Description
Graph	Graph interface.

Classes in net.automatalib.graph used by net.automatalib.modelchecker.m3c.solver

Class	Description
CompactGraph
ContextFreeModalProcessSystem	Represents a Context-Free Modal Transition System as defined in the paper M3C: Modal Meta Model Checking.
Graph	Graph interface.
Graph.IntAbstraction	Interface for node integer abstractions of a Graph.
IndefiniteGraph	Interface for an (indefinite) graph structure.
IndefiniteSimpleGraph	A simplified interface for indefinite graphs, exposing only adjacency information, but no further information about edge objects.
MutableGraph	A graph that allows modification.
MutableGraph.IntAbstraction	Interface for node integer abstractions of a MutableGraph.
ProceduralModalProcessGraph	Represents a Procedural Modal Transition System as defined in the paper M3C: Modal Meta Model Checking.
SimpleGraph	The finite version of a IndefiniteSimpleGraph.
SimpleGraph.IntAbstraction	Basic interface for integer abstractions of graphs.
UniversalGraph
UniversalGraph.IntAbstraction	Interface for node integer abstractions of a UniversalGraph.
UniversalIndefiniteGraph	A universal graph, i.e., with (possibly empty) node and edge properties.

Classes in net.automatalib.graph used by net.automatalib.serialization.dot

Class	Description
CompactGraph
Graph	Graph interface.
MutableGraph	A graph that allows modification.

Classes in net.automatalib.graph used by net.automatalib.ts.modal

Class	Description
Graph	Graph interface.
IndefiniteGraph	Interface for an (indefinite) graph structure.
IndefiniteSimpleGraph	A simplified interface for indefinite graphs, exposing only adjacency information, but no further information about edge objects.
SimpleGraph	The finite version of a IndefiniteSimpleGraph.
UniversalGraph
UniversalIndefiniteGraph	A universal graph, i.e., with (possibly empty) node and edge properties.

Classes in net.automatalib.graph used by net.automatalib.util.automaton

Class	Description
Graph	Graph interface.

Classes in net.automatalib.graph used by net.automatalib.util.automaton.procedural

Class	Description
ContextFreeModalProcessSystem	Represents a Context-Free Modal Transition System as defined in the paper M3C: Modal Meta Model Checking.

Classes in net.automatalib.graph used by net.automatalib.util.graph

Class	Description
Graph	Graph interface.
IndefiniteGraph	Interface for an (indefinite) graph structure.

Classes in net.automatalib.graph used by net.automatalib.util.graph.apsp

Class	Description
Graph	Graph interface.

Classes in net.automatalib.graph used by net.automatalib.util.graph.concept

Class	Description
UniversalGraph

Classes in net.automatalib.graph used by net.automatalib.util.graph.copy

Class	Description
Graph	Graph interface.
IndefiniteGraph	Interface for an (indefinite) graph structure.
MutableGraph	A graph that allows modification.
UniversalGraph
UniversalIndefiniteGraph	A universal graph, i.e., with (possibly empty) node and edge properties.

Classes in net.automatalib.graph used by net.automatalib.util.graph.scc

Class	Description
Graph	Graph interface.

Classes in net.automatalib.graph used by net.automatalib.util.graph.sssp

Class	Description
Graph	Graph interface.

Classes in net.automatalib.graph used by net.automatalib.util.graph.traversal

Class	Description
IndefiniteGraph	Interface for an (indefinite) graph structure.

Classes in net.automatalib.graph used by net.automatalib.util.minimizer

Class	Description
UniversalGraph

Classes in net.automatalib.graph used by net.automatalib.visualization

Class	Description
Graph	Graph interface.

Classes in net.automatalib.graph used by net.automatalib.visualization.dot

Class	Description
Graph	Graph interface.

Classes in net.automatalib.graph used by net.automatalib.visualization.jung

Class	Description
Graph	Graph interface.