Uses of Interface
net.automatalib.graphs.FiniteKripkeStructure

Packages that use FiniteKripkeStructure

Package	Description
net.automatalib.graphs

Uses of FiniteKripkeStructure in net.automatalib.graphs

Subinterfaces of FiniteKripkeStructure in net.automatalib.graphs

Modifier and Type	Interface and Description
interface	FiniteKTS<N,E,AP,L> A finite Kripke Transition System combines the properties of both a labeled transition system and a Kripke structure.