Uses of Interface net.automatalib.graph.concept.KripkeInterpretation (AutomataLib :: API 0.11.0 API)

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.

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`.