Class and Description |
---|
Graph
Graph interface.
|
Class and Description |
---|
Graph
Graph interface.
|
Class and Description |
---|
Graph
Graph interface.
|
Class and Description |
---|
Graph
Graph interface.
|
Class and Description |
---|
Graph
Graph interface.
|
IndefiniteGraph
Interface for an (indefinite) graph structure.
|
UniversalGraph |
UniversalIndefiniteGraph
A universal graph, i.e., with (possibly empty) node and edge properties.
|
Class and Description |
---|
Graph
Graph interface.
|
IndefiniteGraph
Interface for an (indefinite) graph structure.
|
UniversalGraph |
UniversalIndefiniteGraph
A universal graph, i.e., with (possibly empty) node and edge properties.
|
Class and Description |
---|
Graph
Graph interface.
|
IndefiniteGraph
Interface for an (indefinite) graph structure.
|
UniversalGraph |
UniversalIndefiniteGraph
A universal graph, i.e., with (possibly empty) node and edge properties.
|
Class and Description |
---|
Graph
Graph interface.
|
IndefiniteGraph
Interface for an (indefinite) graph structure.
|
UniversalGraph |
UniversalIndefiniteGraph
A universal graph, i.e., with (possibly empty) node and edge properties.
|
Class and Description |
---|
Graph
Graph interface.
|
IndefiniteGraph
Interface for an (indefinite) graph structure.
|
UniversalGraph |
UniversalIndefiniteGraph
A universal graph, i.e., with (possibly empty) node and edge properties.
|
Class and Description |
---|
Graph
Graph interface.
|
IndefiniteGraph
Interface for an (indefinite) graph structure.
|
UniversalGraph |
UniversalIndefiniteGraph
A universal graph, i.e., with (possibly empty) node and edge properties.
|
Class and Description |
---|
Graph
Graph interface.
|
IndefiniteGraph
Interface for an (indefinite) graph structure.
|
Class and Description |
---|
Graph
Graph interface.
|
IndefiniteGraph
Interface for an (indefinite) graph structure.
|
UniversalGraph |
UniversalIndefiniteGraph
A universal graph, i.e., with (possibly empty) node and edge properties.
|
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.
|
UniversalGraph |
UniversalIndefiniteGraph
A universal graph, i.e., with (possibly empty) node and edge properties.
|
Class and 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.
|
Class and Description |
---|
BidirectionalGraph
Interface for bidirectional graph.
|
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.
|
Class and Description |
---|
Graph
Graph interface.
|
IndefiniteGraph
Interface for an (indefinite) graph structure.
|
Class and Description |
---|
Graph
Graph interface.
|
IndefiniteGraph
Interface for an (indefinite) graph structure.
|
UniversalGraph |
UniversalIndefiniteGraph
A universal graph, i.e., with (possibly empty) node and edge properties.
|
Class and Description |
---|
Graph
Graph interface.
|
IndefiniteGraph
Interface for an (indefinite) graph structure.
|
UniversalGraph |
UniversalIndefiniteGraph
A universal graph, i.e., with (possibly empty) node and edge properties.
|
Class and Description |
---|
Graph
Graph interface.
|
UniversalGraph |
Class and Description |
---|
Graph
Graph interface.
|
IndefiniteGraph
Interface for an (indefinite) graph structure.
|
UniversalGraph |
UniversalIndefiniteGraph
A universal graph, i.e., with (possibly empty) node and edge properties.
|
Class and Description |
---|
Graph
Graph interface.
|
IndefiniteGraph
Interface for an (indefinite) graph structure.
|
UniversalIndefiniteGraph
A universal graph, i.e., with (possibly empty) node and edge properties.
|
Class and Description |
---|
UniversalGraph |
Class and 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.
|
Class and Description |
---|
Graph
Graph interface.
|
Class and Description |
---|
IndefiniteGraph
Interface for an (indefinite) graph structure.
|
Class and Description |
---|
UniversalGraph |
Class and Description |
---|
Graph
Graph interface.
|
IndefiniteGraph
Interface for an (indefinite) graph structure.
|
Copyright © 2015. All Rights Reserved.