@EverythingIsNonnullByDefault

Package owl.ltl.visitors

Class Summary

Class	Description
FormulaMutator
FormulaStrengthening	The strengthening mutation mode of AuRUS: rewrites an LTL formula (in negation normal form) into a semantically stronger one, i.e.
FormulaWeakening	The weakening mutation mode of AuRUS: rewrites an LTL formula (in negation normal form) into a semantically weaker one, i.e.
GeneralFormulaMutator
PropositionVariablesExtractor
SolverSyntaxOperatorReplacer
SubformulaReplacer	Replaces every occurrence of a given sub-formula with another, throughout an LTL formula's syntax tree.