engine/io.github.moonlightsuite.moonlight.io/FormulaToBreach/visit

visit

public String visit(AtomicFormula atomicFormula, String parameters)
public String visit(AndFormula andFormula, String parameters)
public String visit(NegationFormula negationFormula, String parameters)
public String visit(OrFormula orFormula, String parameters)
public String visit(EventuallyFormula eventuallyFormula, String parameters)
public String visit(GloballyFormula globallyFormula, String parameters)
public String visit(UntilFormula untilFormula, String parameters)
public String visit(SinceFormula sinceFormula, String parameters)
public String visit(HistoricallyFormula historicallyFormula, String parameters)
public String visit(OnceFormula onceFormula, String parameters)