Hierarchy For Package fr.inria.rules.integraal.model.formula.impl

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • fr.inria.rules.integraal.model.formula.api.CompoundFOFormula (implements fr.inria.rules.integraal.model.formula.api.FOFormula)
    • fr.inria.rules.integraal.model.formula.impl.FOConjunctionImpl (implements fr.inria.rules.integraal.model.formula.api.FOFormulaConjunction)
    • fr.inria.rules.integraal.model.formula.impl.FODisjunctionImpl (implements fr.inria.rules.integraal.model.formula.api.FOFormulaDisjunction)
  • fr.inria.rules.integraal.model.formula.impl.FOConjunctionFactBaseWrapper (implements fr.inria.rules.integraal.model.formula.api.FOFormulaConjunction)

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • fr.inria.rules.integraal.model.formula.impl.FONegationImpl (implements fr.inria.rules.integraal.model.formula.api.FOFormulaNegation)