de.rwth.i2.attestor

Classes

• APCollector
• FormulaWalker
• LTLFormula
• NegationPusher
• OperatorEliminator