engine/io.github.moonlightsuite.moonlight.core.formula/FormulaVisitor/visit

visit

public M visit(AtomicFormula atomicFormula, P parameters)
public M visit(AndFormula andFormula, P parameters)
public M visit(NegationFormula negationFormula, P parameters)
public M visit(OrFormula orFormula, P parameters)
public M visit(EventuallyFormula eventuallyFormula, P parameters)
public M visit(GloballyFormula globallyFormula, P parameters)
public M visit(UntilFormula untilFormula, P parameters)
public M visit(SinceFormula sinceFormula, P parameters)
public M visit(HistoricallyFormula historicallyFormula, P parameters)
public M visit(OnceFormula onceFormula, P parameters)
public M visit(SomewhereFormula somewhereFormula, P parameters)
public M visit(EverywhereFormula everywhereFormula, P parameters)
public M visit(ReachFormula reachFormula, P parameters)
public M visit(EscapeFormula escapeFormula, P parameters)