Class SimpleRevisionComparePresenter.MockOperator

    • Field Summary

      Fields 
      Modifier and Type Field Description
      private java.lang.String name  
    • Constructor Summary

      Constructors 
      Constructor Description
      MockOperator​(java.lang.String name)  
    • Method Summary

      Modifier and Type Method Description
      java.util.Collection<ASPRule> revise​(java.util.Collection<ASPRule> base, ASPRule formula)
      Revises the given collection of formulas by the given formula.
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Field Detail

      • name

        private java.lang.String name
    • Constructor Detail

      • MockOperator

        public MockOperator​(java.lang.String name)
    • Method Detail

      • revise

        public java.util.Collection<ASPRule> revise​(java.util.Collection<ASPRule> base,
                                                    ASPRule formula)
        Description copied from interface: BaseRevisionOperator
        Revises the given collection of formulas by the given formula.
        Specified by:
        revise in interface BaseRevisionOperator<ASPRule>
        Parameters:
        base - some collection of formulas.
        formula - a formula
        Returns:
        the revised collection.
      • toString

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