Package net.automatalib.modelchecker.m3c.formula.visitor
-
Interface Summary Interface Description FormulaNodeVisitor<T,L,AP> -
Class Summary Class Description CTLToMuCalc<L,AP> A visitor that transforms a given CTL formula to an equivalent mu-calculus formula.NNFVisitor<L,AP> A visitor that transforms a given mu-calculus or CTL formula to negation-normal-form.