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 Summary

Constructors

Constructor	Description
RevisionCompareModel()	Default

Method Summary

Modifier and Type	Method	Description
void	addBeliefbase(Collection<? extends Formula> beliefBase)	Adds a belief base to the end of the ordered list of belief bases.
void	addListener(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(Collection<?> beliefBase, int dir)	Moves the given belief base in the given direction.
void	removeBeliefbase(Collection<?> beliefBase)	Removes a belief base from the ordered list of belief bases.
void	removeListener(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 Details

RevisionCompareModel

public RevisionCompareModel()

Default

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.