Class SimpleRevisionCompareModel
java.lang.Object
org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
The data-model used to compare two different revision approaches.
Based on RevisionCompareModel in the beliefdynamics.gui package.
- Author:
- Sebastian Homann, Tim Janus
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
addListener(PropertyChangeListener listener)
Adds a property change listenervoid
addOperator(BaseRevisionOperator<?> op)
Adds the given revision operator to the set of selectable revision methods.void
void
removeListener(PropertyChangeListener listener)
Removes a property change listenervoid
removeOperator(BaseRevisionOperator<?> op)
Removes the given revision operator from the set of selectable revision methods.void
void
setBeliefbase(Reader beliefBase)
void
setBeliefbase(String beliefBase)
Adds a belief base to the end of the ordered list of belief bases.void
setLeftOperator(BaseRevisionOperator<?> left)
Select the left revision method.void
setNewBeliefs(Reader newBeliefs)
void
setNewBeliefs(String newBeliefs)
void
setRightOperator(BaseRevisionOperator<?> right)
Select the right revision method.void
-
Constructor Details
-
SimpleRevisionCompareModel
public SimpleRevisionCompareModel() -
SimpleRevisionCompareModel
-
-
Method Details
-
setSolver
-
addListener
Adds a property change listener- Parameters:
listener
- Reference to the listener
-
removeListener
Removes a property change listener- Parameters:
listener
- Reference to the listener
-
setLeftOperator
Select the left revision method.- Parameters:
left
- The revision method as an operator reference
-
setRightOperator
Select the right revision method.- Parameters:
right
- The revision method as an operator reference
-
setBeliefbase
Adds a belief base to the end of the ordered list of belief bases.- Parameters:
beliefBase
- Reference to the new belief base- Throws:
ParseException
- if parsing failed
-
setBeliefbase
- Throws:
ParseException
-
setNewBeliefs
- Throws:
ParseException
-
setNewBeliefs
- Throws:
ParseException
-
addOperator
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
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.
-
runRevisions
public void runRevisions() -
calculateResultingAnswersets
public void calculateResultingAnswersets()
-