Main

cli

Mealy

automata

Minimiziation

automata

Moore

automata

MultipleBool

automata

main

Main

map

ApaSpecular NbaSpecular NfaSpecular PosBool

mealy

AutomataParserCombinators

meet

B4

member

AffHelperParserCombinators

message

ParsingException SignNotFoundException StateNotFoundException ConverterNotFound LoadingFileException StrangeInputException FormulaHasNoPropositionsException

minimalModels

PosBool

minimizeDeterministicNfa

Minimiziation

minimizeMealy

Minimiziation

minimizeMoore

Minimiziation

modelledBy

BoolAnd BoolOr BoolPiece PosBool

moore

AutomataParserCombinators