Apa ApaSpecular

Nfa

SymmetricRelation Nfa

SymmetricRelation

ApaSpecular Direction

BoolAnd BoolOr BackTo BinaryOperation Bool Complementation ConDisjunction Conjunction Disjunction Finally Globally Implication Letter Next PastFinally PastGlobally Previous Release Since StrongRelease StrongTrigger Trigger UnaryOperation Until WeakNext WeakPrevious WeakUntil Disjunction Omega BasicPast BooleanLetter Concatenation Disjunction Kleene Past StringLetter Complementation Conjunction Disjunction Regex Sequential UniSequential WeakSequential WeakUniSequential

BoolAnd BoolOr BackTo BinaryOperation ConDisjunction Conjunction Disjunction Implication Release Since StrongRelease StrongTrigger Trigger Until WeakUntil Disjunction Omega Concatenation Disjunction Kleene Conjunction Disjunction Sequential UniSequential WeakSequential WeakUniSequential

Apa ApaSpecular Nfa

ApaSpecular