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

FormulaToBreach

public class FormulaToBreach implements FormulaVisitor<P, M>

Author

loreti

Constructors

Link copied to clipboard
public void FormulaToBreach()

Functions

Link copied to clipboard
public static IllegalArgumentException generateException(Class<? extends Object> c)
Link copied to clipboard
public String toBreach(Formula formula)
Link copied to clipboard
public M visit(EscapeFormula escapeFormula, P parameters)
public M visit(EverywhereFormula everywhereFormula, P parameters)
public M visit(ReachFormula reachFormula, P parameters)
public M visit(SomewhereFormula somewhereFormula, P parameters)
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(HistoricallyFormula historicallyFormula, String parameters)
public String visit(OnceFormula onceFormula, String parameters)
public String visit(SinceFormula sinceFormula, String parameters)
public String visit(UntilFormula untilFormula, String parameters)