Uses of Package
net.automatalib.graphs

Packages that use net.automatalib.graphs

Package	Description
net.automatalib.automata	This package contains the basic interfaces for automata.
net.automatalib.automata.fsa
net.automatalib.automata.graphs
net.automatalib.automata.transout
net.automatalib.graphs
net.automatalib.graphs.ads
net.automatalib.graphs.concepts
net.automatalib.graphs.helpers

Classes in net.automatalib.graphs used by net.automatalib.automata

Class and Description
Graph Graph interface.
UniversalGraph

Classes in net.automatalib.graphs used by net.automatalib.automata.fsa

Class and 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.graphs used by net.automatalib.automata.graphs

Class and 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.graphs used by net.automatalib.automata.transout

Class and 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.graphs used by net.automatalib.graphs

Class and Description
FiniteKripkeStructure A Kripke structure is a graph which has sets of atomic properties assigned to its nodes.
FiniteLTS A finite LTS is an IndefiniteLTS with a finite number of nodes.
Graph Graph interface.
IndefiniteGraph Interface for an (indefinite) graph structure.
IndefiniteLTS A labeled transition system is a graph with labels attached to its edges.
IndefiniteSimpleGraph A simplified interface for indefinite graphs, exposing only adjacency information, but no further information about edge objects.
IndefiniteSimpleGraph.NormalGraphView
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.graphs used by net.automatalib.graphs.ads

Class and 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.graphs used by net.automatalib.graphs.concepts

Class and Description
Graph Graph interface.

Classes in net.automatalib.graphs used by net.automatalib.graphs.helpers

Class and Description
SimpleGraph The finite version of a IndefiniteSimpleGraph.