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

Package-level declarations

Types

public final class AndFormula extends Record implements BinaryFormula

And operator

NegationFormula

public final class NegationFormula extends Record implements UnaryFormula

Negation operator

public final class OrFormula extends Record implements BinaryFormula

Or operator