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

Package Hierarchies:

• All Packages

Interface Hierarchy

• fr.inria.rules.integraal.model.logicalElements.api.Evaluable<R>
  • fr.inria.rules.integraal.model.logicalElements.api.ComputedAtom (also extends fr.inria.rules.integraal.model.logicalElements.api.Atom)
  • fr.inria.rules.integraal.model.logicalElements.api.EvaluableFunction (also extends fr.inria.rules.dlgpemodel.api.elems.IFunctionalTerm, fr.inria.rules.integraal.model.logicalElements.api.Term, fr.inria.rules.integraal.model.logicalElements.api.TermSequenceCompound)
• fr.inria.rules.dlgpemodel.api.formulas.IPredicated
  • fr.inria.rules.dlgpemodel.api.formulas.IStandardAtom (also extends fr.inria.rules.dlgpemodel.api.formulas.IAtom)
    • fr.inria.rules.integraal.model.logicalElements.api.Atom (also extends fr.inria.rules.integraal.model.formula.api.FOFormula, fr.inria.rules.integraal.model.logicalElements.api.TermSequenceCompound)
      • fr.inria.rules.integraal.model.logicalElements.api.ComputedAtom (also extends fr.inria.rules.integraal.model.logicalElements.api.Evaluable<R>)
• 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.logicalElements.api.Atom (also extends fr.inria.rules.dlgpemodel.api.formulas.IStandardAtom, fr.inria.rules.integraal.model.logicalElements.api.TermSequenceCompound)
        • fr.inria.rules.integraal.model.logicalElements.api.ComputedAtom (also extends fr.inria.rules.integraal.model.logicalElements.api.Evaluable<R>)
    • fr.inria.rules.dlgpemodel.api.formulas.IAtom
      • fr.inria.rules.dlgpemodel.api.formulas.IStandardAtom (also extends fr.inria.rules.dlgpemodel.api.formulas.IPredicated)
        • fr.inria.rules.integraal.model.logicalElements.api.Atom (also extends fr.inria.rules.integraal.model.formula.api.FOFormula, fr.inria.rules.integraal.model.logicalElements.api.TermSequenceCompound)
          • fr.inria.rules.integraal.model.logicalElements.api.ComputedAtom (also extends fr.inria.rules.integraal.model.logicalElements.api.Evaluable<R>)
  • fr.inria.rules.dlgpemodel.api.elems.IPredicate
    • fr.inria.rules.integraal.model.logicalElements.api.Predicate (also extends fr.inria.rules.integraal.model.data.standardizable.Standardizable)
  • fr.inria.rules.dlgpemodel.api.elems.ISubstitution<V,T>
    • fr.inria.rules.integraal.model.logicalElements.api.Substitution
  • fr.inria.rules.dlgpemodel.api.elems.ITerm
    • fr.inria.rules.dlgpemodel.api.elems.IConstant
      • fr.inria.rules.integraal.model.logicalElements.api.Constant (also extends fr.inria.rules.integraal.model.logicalElements.api.Term)
    • fr.inria.rules.dlgpemodel.api.elems.IFunctionalTerm
      • fr.inria.rules.integraal.model.logicalElements.api.EvaluableFunction (also extends fr.inria.rules.integraal.model.logicalElements.api.Evaluable<R>, fr.inria.rules.integraal.model.logicalElements.api.Term, fr.inria.rules.integraal.model.logicalElements.api.TermSequenceCompound)
    • fr.inria.rules.dlgpemodel.api.elems.ILiteral
      • fr.inria.rules.integraal.model.logicalElements.api.Literal<T> (also extends fr.inria.rules.integraal.model.logicalElements.api.Term)
    • fr.inria.rules.dlgpemodel.api.elems.IVariable
      • fr.inria.rules.integraal.model.logicalElements.api.Variable (also extends fr.inria.rules.integraal.model.logicalElements.api.Term)
    • fr.inria.rules.integraal.model.logicalElements.api.Term (also extends fr.inria.rules.integraal.model.data.standardizable.Standardizable, fr.inria.rules.integraal.model.logicalElements.api.Substitutable<R>)
      • fr.inria.rules.integraal.model.logicalElements.api.Constant (also extends fr.inria.rules.dlgpemodel.api.elems.IConstant)
      • fr.inria.rules.integraal.model.logicalElements.api.EvaluableFunction (also extends fr.inria.rules.integraal.model.logicalElements.api.Evaluable<R>, fr.inria.rules.dlgpemodel.api.elems.IFunctionalTerm, fr.inria.rules.integraal.model.logicalElements.api.TermSequenceCompound)
      • fr.inria.rules.integraal.model.logicalElements.api.Literal<T> (also extends fr.inria.rules.dlgpemodel.api.elems.ILiteral)
      • fr.inria.rules.integraal.model.logicalElements.api.LogicalFunctionalTerm (also extends fr.inria.rules.integraal.model.logicalElements.api.TermSequenceCompound)
        • fr.inria.rules.integraal.model.logicalElements.api.SpecializableLogicalFunctionalTerm
      • fr.inria.rules.integraal.model.logicalElements.api.Variable (also extends fr.inria.rules.dlgpemodel.api.elems.IVariable)
• fr.inria.rules.integraal.model.data.standardizable.Standardizable
  • fr.inria.rules.integraal.model.logicalElements.api.Predicate (also extends fr.inria.rules.dlgpemodel.api.elems.IPredicate)
  • fr.inria.rules.integraal.model.logicalElements.api.Term (also extends fr.inria.rules.dlgpemodel.api.elems.ITerm, fr.inria.rules.integraal.model.logicalElements.api.Substitutable<R>)
    • fr.inria.rules.integraal.model.logicalElements.api.Constant (also extends fr.inria.rules.dlgpemodel.api.elems.IConstant)
    • fr.inria.rules.integraal.model.logicalElements.api.EvaluableFunction (also extends fr.inria.rules.integraal.model.logicalElements.api.Evaluable<R>, fr.inria.rules.dlgpemodel.api.elems.IFunctionalTerm, fr.inria.rules.integraal.model.logicalElements.api.TermSequenceCompound)
    • fr.inria.rules.integraal.model.logicalElements.api.Literal<T> (also extends fr.inria.rules.dlgpemodel.api.elems.ILiteral)
    • fr.inria.rules.integraal.model.logicalElements.api.LogicalFunctionalTerm (also extends fr.inria.rules.integraal.model.logicalElements.api.TermSequenceCompound)
      • fr.inria.rules.integraal.model.logicalElements.api.SpecializableLogicalFunctionalTerm
    • fr.inria.rules.integraal.model.logicalElements.api.Variable (also extends fr.inria.rules.dlgpemodel.api.elems.IVariable)
• 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.logicalElements.api.Atom (also extends fr.inria.rules.dlgpemodel.api.formulas.IStandardAtom, fr.inria.rules.integraal.model.logicalElements.api.TermSequenceCompound)
      • fr.inria.rules.integraal.model.logicalElements.api.ComputedAtom (also extends fr.inria.rules.integraal.model.logicalElements.api.Evaluable<R>)
  • fr.inria.rules.integraal.model.logicalElements.api.Term (also extends fr.inria.rules.dlgpemodel.api.elems.ITerm, fr.inria.rules.integraal.model.data.standardizable.Standardizable)
    • fr.inria.rules.integraal.model.logicalElements.api.Constant (also extends fr.inria.rules.dlgpemodel.api.elems.IConstant)
    • fr.inria.rules.integraal.model.logicalElements.api.EvaluableFunction (also extends fr.inria.rules.integraal.model.logicalElements.api.Evaluable<R>, fr.inria.rules.dlgpemodel.api.elems.IFunctionalTerm, fr.inria.rules.integraal.model.logicalElements.api.TermSequenceCompound)
    • fr.inria.rules.integraal.model.logicalElements.api.Literal<T> (also extends fr.inria.rules.dlgpemodel.api.elems.ILiteral)
    • fr.inria.rules.integraal.model.logicalElements.api.LogicalFunctionalTerm (also extends fr.inria.rules.integraal.model.logicalElements.api.TermSequenceCompound)
      • fr.inria.rules.integraal.model.logicalElements.api.SpecializableLogicalFunctionalTerm
    • fr.inria.rules.integraal.model.logicalElements.api.Variable (also extends fr.inria.rules.dlgpemodel.api.elems.IVariable)
• 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.logicalElements.api.Atom (also extends fr.inria.rules.dlgpemodel.api.formulas.IStandardAtom, fr.inria.rules.integraal.model.logicalElements.api.TermSequenceCompound)
      • fr.inria.rules.integraal.model.logicalElements.api.ComputedAtom (also extends fr.inria.rules.integraal.model.logicalElements.api.Evaluable<R>)
  • fr.inria.rules.integraal.model.logicalElements.api.TermSequenceCompound
    • fr.inria.rules.integraal.model.logicalElements.api.Atom (also extends fr.inria.rules.integraal.model.formula.api.FOFormula, fr.inria.rules.dlgpemodel.api.formulas.IStandardAtom)
      • fr.inria.rules.integraal.model.logicalElements.api.ComputedAtom (also extends fr.inria.rules.integraal.model.logicalElements.api.Evaluable<R>)
    • fr.inria.rules.integraal.model.logicalElements.api.EvaluableFunction (also extends fr.inria.rules.integraal.model.logicalElements.api.Evaluable<R>, fr.inria.rules.dlgpemodel.api.elems.IFunctionalTerm, fr.inria.rules.integraal.model.logicalElements.api.Term)
    • fr.inria.rules.integraal.model.logicalElements.api.LogicalFunctionalTerm (also extends fr.inria.rules.integraal.model.logicalElements.api.Term)
      • fr.inria.rules.integraal.model.logicalElements.api.SpecializableLogicalFunctionalTerm