Class ComputedAtomImpl

java.lang.Object
fr.inria.rules.integraal.model.logicalElements.impl.ComputedAtomImpl
All Implemented Interfaces:
fr.inria.rules.dlgpemodel.api.formulas.IAtom, fr.inria.rules.dlgpemodel.api.formulas.IFormula, fr.inria.rules.dlgpemodel.api.formulas.IPredicated, fr.inria.rules.dlgpemodel.api.formulas.IStandardAtom, fr.inria.rules.dlgpemodel.api.sentences.IPrintable, FOFormula, Atom, ComputedAtom, Evaluable<Atom>, Substitutable<FOFormula>, TermCompound, TermSequenceCompound
public class ComputedAtomImpl extends Object implements ComputedAtom
Default implementation of a ComputedAtom
Author:
Florent Tornil

  • Constructor Details

    • ComputedAtomImpl

      public ComputedAtomImpl(Invoker invoker, Predicate predicate, List<Term> terms)
      Constructor using a list of terms
      Parameters:
      invoker - the invoker
      predicate - the predicate associated with the atom
      terms - the list of terms

    • ComputedAtomImpl

      public ComputedAtomImpl(Invoker invoker, Predicate predicate, Term... terms)
      Constructor using an array of terms
      Parameters:
      invoker - the invoker
      predicate - the predicate associated with the atom
      terms - the array of terms

  • Method Details

    • eval

      public Atom eval(Substitution s)
      //////////////////////////////////////////////
      Specified by:
      eval in interface ComputedAtom
      Specified by:
      eval in interface Evaluable<Atom>
      Parameters:
      s - a full substitution of this atom variables.
      Returns:
      an atom

    • getInvoker

      public Invoker getInvoker()
      Description copied from interface: ComputedAtom
      Returns the invoker used to evaluate this computed atom.
      Specified by:
      getInvoker in interface ComputedAtom
      Returns:
      the underlying invoker

    • getPredicate

      public Predicate getPredicate()
      Description copied from interface: Atom
      Returns the predicate associated with this atom.
      Specified by:
      getPredicate in interface Atom
      Specified by:
      getPredicate in interface fr.inria.rules.dlgpemodel.api.formulas.IPredicated
      Returns:
      the Predicate associated to this atom.

    • contains

      public boolean contains(Term term)
      Description copied from interface: Atom
      Tests whether a term occurs in this atom.
      Specified by:
      contains in interface Atom
      Parameters:
      term - the term to check
      Returns:
      true iff the Term term is present in this atom.

    • indexOf

      public int indexOf(Term term)
      Description copied from interface: Atom
      Returns the first position of a term in this atom.
      Specified by:
      indexOf in interface Atom
      Parameters:
      term - the term to find
      Returns:
      the index of the first occurrence of Term term in this atom. Any negative non-zero value is returned if this atom does not contain the term.

    • indexesOf

      public int[] indexesOf(Term term)
      Description copied from interface: Atom
      Returns every position at which a term occurs in this atom.
      Specified by:
      indexesOf in interface Atom
      Parameters:
      term - the term to find all occurrences of
      Returns:
      the indexes of all the occurrence of Term term in this atom. An empty array is returned if this atom does not contain the term.

    • applySubstitution

      public Atom applySubstitution(Substitution substitution, boolean evaluate)
      Description copied from interface: Atom
      Applies a substitution to this atom.
      Specified by:
      applySubstitution in interface Atom
      Specified by:
      applySubstitution in interface FOFormula
      Specified by:
      applySubstitution in interface Substitutable<FOFormula>
      Parameters:
      substitution - the substitution to apply
      evaluate - whether evaluable functions should be evaluated
      Returns:
      the substituted atom

    • copy

      public ComputedAtomImpl copy()
      Description copied from interface: FOFormula
      Creates a deep copy of this formula.
      Specified by:
      copy in interface FOFormula
      Returns:
      a detached copy of this formula

    • getMandatoryParameters

      public Set<Variable> getMandatoryParameters()
      Description copied from interface: Evaluable
      Get the variables that must be sent to something to evaluate the object
      Specified by:
      getMandatoryParameters in interface Evaluable<Atom>
      Returns:
      a set of variables containing the variables that must be substituted

    • isEvaluableWith

      public boolean isEvaluableWith(Substitution substitution)
      Description copied from interface: Evaluable
      Check if we can evaluate the object with the given substitution
      Specified by:
      isEvaluableWith in interface Evaluable<Atom>
      Parameters:
      substitution - the substitution that associates the values to the parameters of the evaluation
      Returns:
      true iff we can evaluate this object with the given substitution

    • getTermSequence

      public List<Term> getTermSequence()
      Description copied from interface: TermSequenceCompound
      Returns the direct term sequence of this compound.
      Specified by:
      getTermSequence in interface fr.inria.rules.dlgpemodel.api.formulas.IStandardAtom
      Specified by:
      getTermSequence in interface TermSequenceCompound
      Returns:
      the sequence of first level terms (i.e., all terms that are not themselves in a compound term) For instance, for p(a,g(b)), it returns a and g(b) but not b.

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object

    • equals

      public boolean equals(Object o)
      Overrides:
      equals in class Object

    • toString

      public String toString()
      Overrides:
      toString in class Object
      Returns:
      a string representation of this atom of the form p(t1,...,tn)