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

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)

Interface Hierarchy

• fr.inria.rules.dlgpemodel.api.sentences.IPrintable
  • fr.inria.rules.dlgpemodel.api.formulas.IFormula
    • fr.inria.rules.integraal.model.formula.api.FOFormula (also extends fr.inria.rules.integraal.model.logicalElements.api.Substitutable<R>, fr.inria.rules.integraal.model.logicalElements.api.TermCompound)
      • fr.inria.rules.integraal.model.formula.api.FOFormulaConjunction (also extends fr.inria.rules.dlgpemodel.api.formulas.IConjunction)
      • fr.inria.rules.integraal.model.formula.api.FOFormulaDisjunction (also extends fr.inria.rules.dlgpemodel.api.formulas.IDisjunction)
      • fr.inria.rules.integraal.model.formula.api.FOFormulaNegation (also extends fr.inria.rules.dlgpemodel.api.formulas.INegation)
    • fr.inria.rules.dlgpemodel.api.formulas.IConjunction
      • fr.inria.rules.integraal.model.formula.api.FOFormulaConjunction (also extends fr.inria.rules.integraal.model.formula.api.FOFormula)
    • fr.inria.rules.dlgpemodel.api.formulas.IDisjunction
      • fr.inria.rules.integraal.model.formula.api.FOFormulaDisjunction (also extends fr.inria.rules.integraal.model.formula.api.FOFormula)
    • fr.inria.rules.dlgpemodel.api.formulas.INegation
      • fr.inria.rules.integraal.model.formula.api.FOFormulaNegation (also extends fr.inria.rules.integraal.model.formula.api.FOFormula)
• fr.inria.rules.integraal.model.logicalElements.api.Substitutable<R>
  • fr.inria.rules.integraal.model.formula.api.FOFormula (also extends fr.inria.rules.dlgpemodel.api.formulas.IFormula, fr.inria.rules.integraal.model.logicalElements.api.TermCompound)
    • fr.inria.rules.integraal.model.formula.api.FOFormulaConjunction (also extends fr.inria.rules.dlgpemodel.api.formulas.IConjunction)
    • fr.inria.rules.integraal.model.formula.api.FOFormulaDisjunction (also extends fr.inria.rules.dlgpemodel.api.formulas.IDisjunction)
    • fr.inria.rules.integraal.model.formula.api.FOFormulaNegation (also extends fr.inria.rules.dlgpemodel.api.formulas.INegation)
• fr.inria.rules.integraal.model.logicalElements.api.TermCompound
  • fr.inria.rules.integraal.model.formula.api.FOFormula (also extends fr.inria.rules.dlgpemodel.api.formulas.IFormula, fr.inria.rules.integraal.model.logicalElements.api.Substitutable<R>)
    • fr.inria.rules.integraal.model.formula.api.FOFormulaConjunction (also extends fr.inria.rules.dlgpemodel.api.formulas.IConjunction)
    • fr.inria.rules.integraal.model.formula.api.FOFormulaDisjunction (also extends fr.inria.rules.dlgpemodel.api.formulas.IDisjunction)
    • fr.inria.rules.integraal.model.formula.api.FOFormulaNegation (also extends fr.inria.rules.dlgpemodel.api.formulas.INegation)