Class RevisionCompareModel


  • public class RevisionCompareModel
    extends java.lang.Object
    The data-model used to compare two different revision approaches. Two approaches can be selected using a list of approaches. The data-model also contains an ordered list of belief bases which define the ordering of the revision process. Observers are notified using the PropertyChangeListener.
    Author:
    Tim Janus
    • Method Summary

      Modifier and Type Method Description
      void addBeliefbase​(java.util.Collection<? extends Formula> beliefBase)
      Adds a belief base to the end of the ordered list of belief bases.
      void addListener​(java.beans.PropertyChangeListener listener)
      Adds a property change listener
      void addOperator​(BaseRevisionOperator<?> op)
      Adds the given revision operator to the set of selectable revision methods.
      void moveBeliefbase​(java.util.Collection<?> beliefBase, int dir)
      Moves the given belief base in the given direction.
      void removeBeliefbase​(java.util.Collection<?> beliefBase)
      Removes a belief base from the ordered list of belief bases.
      void removeListener​(java.beans.PropertyChangeListener listener)
      Removes a property change listener
      void removeOperator​(BaseRevisionOperator<?> op)
      Removes the given revision operator from the set of selectable revision methods.
      void setLeftIterative​(boolean b)
      switches the flag indicating if the left method shall use iterative algorithms
      void setLeftOperator​(BaseRevisionOperator<?> left)
      Select the left revision method.
      void setRightIterative​(boolean b)
      switches the flag indicating if the right method shall use iterative algorithms
      void setRightOperator​(BaseRevisionOperator<?> right)
      Select the right revision method.
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • RevisionCompareModel

        public RevisionCompareModel()
    • Method Detail

      • addListener

        public void addListener​(java.beans.PropertyChangeListener listener)
        Adds a property change listener
        Parameters:
        listener - Reference to the listener
      • removeListener

        public void removeListener​(java.beans.PropertyChangeListener listener)
        Removes a property change listener
        Parameters:
        listener - Reference to the listener
      • setLeftOperator

        public void setLeftOperator​(BaseRevisionOperator<?> left)
        Select the left revision method.
        Parameters:
        left - The revision method as an operator reference
      • setRightOperator

        public void setRightOperator​(BaseRevisionOperator<?> right)
        Select the right revision method.
        Parameters:
        right - The revision method as an operator reference
      • addBeliefbase

        public void addBeliefbase​(java.util.Collection<? extends Formula> beliefBase)
        Adds a belief base to the end of the ordered list of belief bases.
        Parameters:
        beliefBase - Reference to the new belief base
      • removeBeliefbase

        public void removeBeliefbase​(java.util.Collection<?> beliefBase)
        Removes a belief base from the ordered list of belief bases.
        Parameters:
        beliefBase - Reference to the belief base which shall be removed.
      • moveBeliefbase

        public void moveBeliefbase​(java.util.Collection<?> beliefBase,
                                   int dir)
        Moves the given belief base in the given direction.
        Parameters:
        beliefBase - A belief base which is already in the ordered list of belief bases
        dir - Either -1 if the belief base shall move one index to the front of the list or 1 if the belief base shall move one unit index to the end of the list.
      • addOperator

        public void addOperator​(BaseRevisionOperator<?> op)
        Adds the given revision operator to the set of selectable revision methods.
        Parameters:
        op - Reference to the operator, if the operator is in the set nothing happens
      • removeOperator

        public void removeOperator​(BaseRevisionOperator<?> op)
        Removes the given revision operator from the set of selectable revision methods.
        Parameters:
        op - Reference to the operator which is removed if it is member of the set of revision methods.
      • setLeftIterative

        public void setLeftIterative​(boolean b)
        switches the flag indicating if the left method shall use iterative algorithms
        Parameters:
        b - true means iterative, false means in one step.
      • setRightIterative

        public void setRightIterative​(boolean b)
        switches the flag indicating if the right method shall use iterative algorithms
        Parameters:
        b - true means iterative, false means in one step.