engine/io.github.moonlightsuite.moonlight.formula/AtomicFormula

AtomicFormula

public class AtomicFormula implements Formula

Constructors

public void AtomicFormula(String atomicId)

Properties

public final String atomicId

Functions

public R accept<T, R>(FormulaVisitor<T, R> visitor, T parameters)

Primary entry point for the monitoring of a formula.

public boolean equals(Object obj)

public String getAtomicId()

public int hashCode()

public String toString()