Implication
ltl
implies
SaltLtlBuilder
isDeterministic
Nfa
isOk
BuchiState
isTwoWay
AMealy
Apa
Nba
Nfa
isp
uni_luebeck