Package net.automatalib.ts

Interface FiniteKTS<S,I,T,AP>

Type Parameters:

S - state class

I - input symbol class

T - transition class

AP - atomic proposition class

All Superinterfaces:

Automaton<S,I,T>, FiniteRepresentation, Iterable<S>, KripkeInterpretation<S,AP>, SimpleAutomaton<S,I>, SimpleTS<S,I>, TransitionSystem<S,I,T>

public interface FiniteKTS<S,I,T,AP>
extends Automaton<S,I,T>, KripkeInterpretation<S,AP>

A finite Kripke Transition System combines the properties of a finite transition system and a KripkeInterpretation.

See Also:

KripkeInterpretation, FiniteKripkeStructure

Method Summary

Methods inherited from interface net.automatalib.automaton.Automaton

transitionGraphView

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.graph.concept.KripkeInterpretation

getAtomicPropositions

Methods inherited from interface net.automatalib.automaton.simple.SimpleAutomaton

createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs

Methods inherited from interface net.automatalib.ts.simple.SimpleTS

getInitialStates, getStates, getSuccessors, getSuccessors

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, getSuccessors, getTransitions, powersetView