engine/io.github.moonlightsuite.moonlight.core.formula/BinaryFormula

BinaryFormula

public interface BinaryFormula implements Formula

Interface implemented by any logic formula over a binary logical operator. It is required to support the visit-based online monitoring.

See also

for more on the interface hierarchy

Inheritors

Functions

Link copied to clipboard
public R accept<T, R>(FormulaVisitor<T, R> visitor, T parameters)
Primary entry point for the monitoring of a formula.
Link copied to clipboard
public abstract Formula getFirstArgument()
Link copied to clipboard
public abstract Formula getSecondArgument()