engine/io.github.moonlightsuite.moonlight.io/FormulaToTaliro

FormulaToTaliro

public class FormulaToTaliro implements FormulaVisitor<P, M>

Author

loreti

Constructors

Link copied to clipboard
public void FormulaToTaliro()

Functions

Link copied to clipboard
public String createPrefix(Map<String, Integer> variables)
Link copied to clipboard
public static IllegalArgumentException generateException(Class<? extends Object> c)
Link copied to clipboard
public String toTaliro(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)