value
B4
B4False
B4True
BoolElement
DnfAtom
PossiblyFalse
PossiblyTrue
Text
values
AutomataAlphabet
AutomataEvents
AutomataPropositions
B3
B4