public class RevisionCompareModel
extends java.lang.Object
Modifier and Type | Field and 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
|
Constructor and Description |
---|
RevisionCompareModel() |
Modifier and Type | Method and 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.
|
private java.beans.PropertyChangeSupport change
protected BaseRevisionOperator<?> leftOperator
protected BaseRevisionOperator<?> rightOperator
protected boolean leftIterative
protected boolean rightIterative
protected java.util.Set<BaseRevisionOperator<?>> selectableOperators
protected java.util.List<java.util.Collection<?>> beliefBases
public void addListener(java.beans.PropertyChangeListener listener)
listener
- Reference to the listenerpublic void removeListener(java.beans.PropertyChangeListener listener)
listener
- Reference to the listenerpublic void setLeftOperator(BaseRevisionOperator<?> left)
left
- The revision method as an operator referencepublic void setRightOperator(BaseRevisionOperator<?> right)
right
- The revision method as an operator referencepublic void addBeliefbase(java.util.Collection<? extends Formula> beliefBase)
beliefBase
- Reference to the new belief basepublic void removeBeliefbase(java.util.Collection<?> beliefBase)
beliefBase
- Reference to the belief base which shall be removed.public void moveBeliefbase(java.util.Collection<?> beliefBase, int dir)
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.public void addOperator(BaseRevisionOperator<?> op)
op
- Reference to the operator, if the operator is in the set nothing happenspublic void removeOperator(BaseRevisionOperator<?> op)
op
- Reference to the operator which is removed if it is member of the set of revision methods.public void setLeftIterative(boolean b)
b
- true means iterative, false means in one step.public void setRightIterative(boolean b)
b
- true means iterative, false means in one step.