Interface FORule

All Superinterfaces:
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, Rule, Sentence
All Known Implementing Classes:
FORuleImpl
public interface FORule extends Rule, Printable
A Rule with FOFormula representation
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

  • Method Summary

    Modifier and Type
    Method
    Description
    FOFormula
    getBody()
     
    FOFormula
    getHead()
     
    void
    setLabel(String label)
    Updates the current label.

    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 Printable

    toDLGP

    Methods inherited from interface Rule

    getConstants, getExistentials, getFrontier

    Methods inherited from interface Sentence

    getLabel, getPatterns

  • Method Details

    • getBody

      FOFormula getBody()
      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

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

    • setLabel

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