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

Packages that use MutableKripkeInterpretation

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

Uses of MutableKripkeInterpretation in net.automatalib.graph

Subinterfaces of MutableKripkeInterpretation in net.automatalib.graph

Modifier and Type	Interface	Description
interface	MutableProceduralModalProcessGraph<N,L,E,AP,TP extends MutableProceduralModalEdgeProperty>	A mutable version of the ProceduralModalProcessGraph.

Classes in net.automatalib.graph that implement MutableKripkeInterpretation

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