Class FORuleImpl

java.lang.Object
fr.inria.rules.dlgpemodel.HasItemInfoImpl
fr.inria.rules.dlgpemodel.SentenceImpl
fr.inria.rules.integraal.model.rule.impl.FORuleImpl
All Implemented Interfaces:
fr.inria.rules.dlgpemodel.api.sentences.HasItemInfo, fr.inria.rules.dlgpemodel.api.sentences.IPrintable, fr.inria.rules.dlgpemodel.api.sentences.IRule, fr.inria.rules.dlgpemodel.api.sentences.ISentence, Labeled, Printable, Sentence, FORule, Rule
public class FORuleImpl extends fr.inria.rules.dlgpemodel.SentenceImpl implements FORule
Default implementation of FORule
Author:
Florent Tornil

  • Field Summary

    Fields inherited from interface fr.inria.rules.dlgpemodel.api.sentences.HasItemInfo

    IDENT

    Fields inherited from interface fr.inria.rules.dlgpemodel.api.sentences.IPrintable

    WRITER

    Fields inherited from interface Labeled

    NOLABEL

  • Constructor Summary

    Constructors
    Constructor
    Description
    FORuleImpl(FOFormula body, FOFormula head)
    Constructor without label
    FORuleImpl(String label, FOFormula body, FOFormula head)
    Deprecated.

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    equals(Object o)
     
    FOFormula
    getBody()
    //////////////////////////////////////////////
    Collection<Constant>
    getConstants()
    Returns the constants occurring in the rule.
    Collection<Variable>
    getExistentials()
    Returns the existential variables introduced by the rule head.
    Collection<Variable>
    getFrontier()
    Returns the frontier variables of the rule.
    FOFormula
    getHead()
     
    String
    getLabel()
    Deprecated.
    int
    hashCode()
     
    void
    setLabel(String label)
    Deprecated.
    String
    toDLGP()
    Renders this object in DLGP form.
    String
    toString()
     

    Methods inherited from class fr.inria.rules.dlgpemodel.SentenceImpl

    getPatterns, setPatterns

    Methods inherited from class fr.inria.rules.dlgpemodel.HasItemInfoImpl

    getItemInfo, setItemInfo

    Methods inherited from class Object

    clone, finalize, getClass, notify, notifyAll, wait, wait, wait

    Methods inherited from interface fr.inria.rules.dlgpemodel.api.sentences.HasItemInfo

    getIdentifier, getInfo, getItemInfo, setIdentifier, setInfo, setItemInfo

    Methods inherited from interface fr.inria.rules.dlgpemodel.api.sentences.IPrintable

    toDLGPE

    Methods inherited from interface fr.inria.rules.dlgpemodel.api.sentences.ISentence

    setPatterns

    Methods inherited from interface Sentence

    getPatterns

  • Constructor Details

    • FORuleImpl

      public FORuleImpl(FOFormula body, FOFormula head)
      Constructor without label
      Parameters:
      body - the body of the rule
      head - the head of the rule

    • FORuleImpl

      @Deprecated public FORuleImpl(String label, FOFormula body, FOFormula head)
      Deprecated.
      Constructor with label
      Parameters:
      label - the label of the rule
      body - the body of the rule
      head - the head of the rule

  • Method Details

    • getBody

      public FOFormula getBody()
      //////////////////////////////////////////////
      Specified by:
      getBody in interface FORule
      Specified by:
      getBody in interface fr.inria.rules.dlgpemodel.api.sentences.IRule
      Specified by:
      getBody in interface Rule
      Returns:
      the body of the rule

    • getHead

      public FOFormula getHead()
      Specified by:
      getHead in interface FORule
      Specified by:
      getHead in interface fr.inria.rules.dlgpemodel.api.sentences.IRule
      Specified by:
      getHead in interface Rule
      Returns:
      the head of the rule

    • getFrontier

      public Collection<Variable> getFrontier()
      Description copied from interface: Rule
      Returns the frontier variables of the rule.
      Specified by:
      getFrontier in interface Rule
      Returns:
      the frontier of the rule

    • getExistentials

      public Collection<Variable> getExistentials()
      Description copied from interface: Rule
      Returns the existential variables introduced by the rule head.
      Specified by:
      getExistentials in interface Rule
      Returns:
      the existential variables of the rule

    • getConstants

      public Collection<Constant> getConstants()
      Description copied from interface: Rule
      Returns the constants occurring in the rule.
      Specified by:
      getConstants in interface Rule
      Returns:
      the constants of the rule

    • getLabel

      @Deprecated public String getLabel()
      Deprecated.
      Description copied from interface: Labeled
      Returns the current label.
      Specified by:
      getLabel in interface Labeled
      Specified by:
      getLabel in interface Sentence
      Returns:
      the label of this object

    • setLabel

      @Deprecated public void setLabel(String label)
      Deprecated.
      Description copied from interface: Labeled
      Updates the current label.
      Specified by:
      setLabel in interface FORule
      Specified by:
      setLabel in interface Labeled
      Specified by:
      setLabel in interface Sentence
      Parameters:
      label - the new label

    • 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

    • toDLGP

      public String toDLGP()
      Description copied from interface: Printable
      Renders this object in DLGP form.
      Specified by:
      toDLGP in interface Printable
      Returns:
      the DLGP serialization