Uses of Interface
net.automatalib.graph.FiniteKripkeStructure

Packages that use FiniteKripkeStructure

Package	Description
net.automatalib.graph	This package (including sub-packages) contains the basic classes concerning graphs.

Uses of FiniteKripkeStructure in net.automatalib.graph

Subinterfaces of FiniteKripkeStructure in net.automatalib.graph

Modifier and Type	Interface	Description
interface	MutableProceduralModalProcessGraph<N,L,E,AP,TP extends MutableProceduralModalEdgeProperty>	A mutable version of the ProceduralModalProcessGraph.
interface	ProceduralModalProcessGraph<N,L,E,AP,TP extends ProceduralModalEdgeProperty>	Represents a Procedural Modal Transition System as defined in the paper M3C: Modal Meta Model Checking.

Classes in net.automatalib.graph that implement FiniteKripkeStructure

Modifier and Type	Class	Description
class	CompactPMPG<L,AP>