Package org.tweetyproject.beliefdynamics.gui

Class RevisionCompareModel

java.lang.Object
org.tweetyproject.beliefdynamics.gui.RevisionCompareModel
public class RevisionCompareModel extends 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

  • Constructor Details

    • RevisionCompareModel

      public RevisionCompareModel()

  • Method Details

    • addListener

      public void addListener(PropertyChangeListener listener)
      Adds a property change listener
      Parameters:
      listener - Reference to the listener

    • removeListener

      public void removeListener(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(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(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(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.