Uses of Interface
net.automatalib.graph.concept.KripkeInterpretation

Packages that use KripkeInterpretation

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

Uses of KripkeInterpretation in net.automatalib.graph

Subinterfaces of KripkeInterpretation in net.automatalib.graph

Modifier and Type	Interface	Description
interface	FiniteKripkeStructure<N,E,AP>	A Kripke structure is a graph which has sets of atomic properties assigned to its nodes.
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 KripkeInterpretation

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

Uses of KripkeInterpretation in net.automatalib.graph.concept

Subinterfaces of KripkeInterpretation in net.automatalib.graph.concept

Modifier and Type	Interface	Description
interface	MutableKripkeInterpretation<N,AP>

Uses of KripkeInterpretation in net.automatalib.ts

Subinterfaces of KripkeInterpretation in net.automatalib.ts

Modifier and Type	Interface	Description
interface	FiniteKTS<S,I,T,AP>	A finite Kripke Transition System combines the properties of a finite transition system and a KripkeInterpretation.