visit

public JsonElement visit(AtomicFormula atomicFormula, JsonSerializationContext parameters)

public JsonElement visit(AndFormula andFormula, JsonSerializationContext parameters)

public JsonElement visit(NegationFormula negationFormula, JsonSerializationContext parameters)

public JsonElement visit(OrFormula orFormula, JsonSerializationContext parameters)

public JsonElement visit(EventuallyFormula eventuallyFormula, JsonSerializationContext parameters)

public JsonElement visit(GloballyFormula globallyFormula, JsonSerializationContext parameters)

public JsonElement visit(UntilFormula untilFormula, JsonSerializationContext parameters)

public JsonElement visit(SinceFormula sinceFormula, JsonSerializationContext parameters)

public JsonElement visit(HistoricallyFormula historicallyFormula, JsonSerializationContext parameters)

public JsonElement visit(OnceFormula onceFormula, JsonSerializationContext parameters)