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

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • fr.inria.rules.integraal.model.formula.FOFormulas

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • fr.inria.rules.integraal.model.formula.FOFormulas.EvaluableReplacementResult<F>