Uses of Package
net.automatalib.graph.concept
-
Packages that use net.automatalib.graph.concept Package Description net.automatalib.automaton This package (including sub-packages) contains the basic classes concerning automata.net.automatalib.automaton.graph net.automatalib.automaton.procedural net.automatalib.automaton.vpa net.automatalib.graph This package (including sub-packages) contains the basic classes concerning graphs.net.automatalib.graph.concept net.automatalib.graph.helper net.automatalib.ts This package (including sub-packages) contains the basic classes concerning transition systems.net.automatalib.ts.modal -
Classes in net.automatalib.graph.concept used by net.automatalib.automaton Class Description GraphViewable -
Classes in net.automatalib.graph.concept used by net.automatalib.automaton.graph Class Description NodeIDs An interface for translating between graph nodes and their primitive representations as integers. -
Classes in net.automatalib.graph.concept used by net.automatalib.automaton.procedural Class Description GraphViewable -
Classes in net.automatalib.graph.concept used by net.automatalib.automaton.vpa Class Description GraphViewable -
Classes in net.automatalib.graph.concept used by net.automatalib.graph Class Description EdgeLabels Edge label context, forGraph
s with labeled edges.FinalNode GraphViewable InitialNode Initial node concept.KripkeInterpretation A Kripke interpretation for a graph.MutableEdgeLabels MutableKripkeInterpretation NodeAcceptance Node acceptance concept, forGraph
s that represent a structure for deciding acceptance or rejection.NodeIDs An interface for translating between graph nodes and their primitive representations as integers. -
Classes in net.automatalib.graph.concept used by net.automatalib.graph.concept Class Description EdgeLabels Edge label context, forGraph
s with labeled edges.KripkeInterpretation A Kripke interpretation for a graph. -
Classes in net.automatalib.graph.concept used by net.automatalib.graph.helper Class Description NodeIDs An interface for translating between graph nodes and their primitive representations as integers. -
Classes in net.automatalib.graph.concept used by net.automatalib.ts Class Description KripkeInterpretation A Kripke interpretation for a graph. -
Classes in net.automatalib.graph.concept used by net.automatalib.ts.modal Class Description GraphViewable