Class SimplePlRule

  • All Implemented Interfaces:
    Formula, Rule<PlFormula,​PlFormula>

    public class SimplePlRule
    extends java.lang.Object
    implements Rule<PlFormula,​PlFormula>
    Basic data structure for handling simple rule
    Author:
    Federico Cerutti (federico.cerutti@acm.org)
    • Constructor Detail

      • SimplePlRule

        public SimplePlRule()
      • SimplePlRule

        public SimplePlRule​(PlFormula _claim)
      • SimplePlRule

        public SimplePlRule​(PlFormula _claim,
                            java.util.Set<PlFormula> _support)
    • Method Detail

      • addPremise

        public void addPremise​(PlFormula arg0)
        Description copied from interface: Rule
        Add the given premise to this rule.
        Specified by:
        addPremise in interface Rule<PlFormula,​PlFormula>
        Parameters:
        arg0 - some formula
      • addPremises

        public void addPremises​(java.util.Collection<? extends PlFormula> arg0)
        Description copied from interface: Rule
        Add the given premises to this rule.
        Specified by:
        addPremises in interface Rule<PlFormula,​PlFormula>
        Parameters:
        arg0 - some formulas
      • getPremise

        public java.util.Collection<? extends PlFormula> getPremise()
        Description copied from interface: Rule
        Returns the premise of this rule.
        Specified by:
        getPremise in interface Rule<PlFormula,​PlFormula>
        Returns:
        the premise of this rule.
      • setConclusion

        public void setConclusion​(PlFormula arg0)
        Description copied from interface: Rule
        Set the conclusion of this rule.
        Specified by:
        setConclusion in interface Rule<PlFormula,​PlFormula>
        Parameters:
        arg0 - some formula
      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object