Interface LogicalFunctionalTerm

All Superinterfaces:
fr.inria.rules.dlgpemodel.api.sentences.IPrintable, fr.inria.rules.dlgpemodel.api.elems.ITerm, Standardizable, Substitutable<Term>, Term, TermCompound, TermSequenceCompound
All Known Subinterfaces:
SpecializableLogicalFunctionalTerm
All Known Implementing Classes:
AbstractLogicalFunctionalTermImpl, GroundFunctionalTermImpl, SpecializableLogicalFunctionalTermImpl
public interface LogicalFunctionalTerm extends Term, TermSequenceCompound
A term representing the application of a logical function to other terms.
Author:
Florent Tornil, Federico Ulliana

  • Method Details

    • isFunctionalTerm

      default boolean isFunctionalTerm()
      Description copied from interface: Term
      Indicates whether this term is a logical functional term.
      Specified by:
      isFunctionalTerm in interface Term
      Returns:
      true iff this object is a LogicalFunctionalTerm

    • isGround

      default boolean isGround()
      Description copied from interface: Term
      Indicates whether this term contains no variables.
      Specified by:
      isGround in interface Term
      Returns:
      true iff the term contains no variables

    • getFunctionName

      String getFunctionName()
      Returns the function symbol of this term.
      Returns:
      a string representing the function name

    • homomorphism

      default Optional<Substitution> homomorphism(TermSequenceCompound target, Substitution toExtend)
      Allows computing the homomorphism from this logical functional term to a target one if it exists
      Specified by:
      homomorphism in interface TermSequenceCompound
      Parameters:
      target - the logical functional term on which we want to map
      toExtend - a substitution that the homomorphism must extend
      Returns:
      an optional containing a substitution representing the homomorphism if it exists, otherwise empty

    • toStandardForm

      default String toStandardForm(Boolean shortForm)
      Description copied from interface: Standardizable
      Returns the standardized textual form.
      Specified by:
      toStandardForm in interface Standardizable
      Parameters:
      shortForm - indicates whether the generated form should take into account the prefix system
      Returns:
      the standardized form