Package fr.inria.rules.integraal.model.formula.api
package fr.inria.rules.integraal.model.formula.api
-
ClassDescriptionAbstract implementation for compound formulaThis interface represents a first order formula of atoms.Representation of a conjunction (logical AND) of first‑order sub‑formulas.Representation of disjunctions of sub formulasRepresentation of the negation of a sub formulaRepresentation of a subquery.