Package net.sf.tweety.beliefdynamics.gui

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

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected java.util.List<java.util.Collection<?>> beliefBases
      an ordered list of belief bases which are revised for the comparsation of the two selected revision methods
      private java.beans.PropertyChangeSupport change
      delegator for the implementation of the PropertyChange
      protected boolean leftIterative
      use interactive revision for the left method
      protected BaseRevisionOperator<?> leftOperator
      the left revision operator
      protected boolean rightIterative
      use interactive revision for the right method
      protected BaseRevisionOperator<?> rightOperator
      the right revision operator
      protected java.util.Set<BaseRevisionOperator<?>> selectableOperators
      a set of selectable revison operators

    • 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

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Field Detail

      • change

        private java.beans.PropertyChangeSupport change
        delegator for the implementation of the PropertyChange

      • leftIterative

        protected boolean leftIterative
        use interactive revision for the left method

      • rightIterative

        protected boolean rightIterative
        use interactive revision for the right method

      • selectableOperators

        protected java.util.Set<BaseRevisionOperator<?>> selectableOperators
        a set of selectable revison operators

      • beliefBases

        protected java.util.List<java.util.Collection<?>> beliefBases
        an ordered list of belief bases which are revised for the comparsation of the two selected revision methods

    • 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.