Package net.sf.tweety.beliefdynamics.gui
Class RevisionCompareModel
- java.lang.Object
-
- net.sf.tweety.beliefdynamics.gui.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
-
-
Constructor Summary
Constructors Constructor Description RevisionCompareModel()
-
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 listenervoid
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 listenervoid
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 algorithmsvoid
setLeftOperator(BaseRevisionOperator<?> left)
Select the left revision method.void
setRightIterative(boolean b)
switches the flag indicating if the right method shall use iterative algorithmsvoid
setRightOperator(BaseRevisionOperator<?> right)
Select the right revision method.
-
-
-
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 basesdir
- 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.
-
-