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

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • fr.inria.rules.integraal.model.logicalElements.impl.AtomImpl (implements fr.inria.rules.integraal.model.logicalElements.api.Atom)
  • fr.inria.rules.integraal.model.logicalElements.impl.ComputedAtomImpl (implements fr.inria.rules.integraal.model.logicalElements.api.ComputedAtom)
  • fr.inria.rules.integraal.model.logicalElements.impl.SubstitutionImpl (implements java.io.Serializable, fr.inria.rules.integraal.model.logicalElements.api.Substitution)
  • fr.inria.rules.integraal.model.logicalElements.impl.VariableImpl (implements fr.inria.rules.integraal.model.logicalElements.api.Variable)
    • fr.inria.rules.integraal.model.logicalElements.impl.FreshVariableImpl

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • fr.inria.rules.integraal.model.logicalElements.impl.ConstantImpl (implements fr.inria.rules.integraal.model.logicalElements.api.Constant)
    • fr.inria.rules.integraal.model.logicalElements.impl.LiteralImpl<T> (implements fr.inria.rules.integraal.model.logicalElements.api.Literal<T>)
    • fr.inria.rules.integraal.model.logicalElements.impl.PredicateImpl (implements fr.inria.rules.integraal.model.logicalElements.api.Predicate)