Class SimpleRevisionCompareModel
- java.lang.Object
-
- net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
-
public class SimpleRevisionCompareModel extends java.lang.Object
The data-model used to compare two different revision approaches. Based on RevisionCompareModel in the beliefdynamics.gui package.- Author:
- Sebastian Homann, Tim Janus
-
-
Field Summary
Fields Modifier and Type Field Description protected Program
beliefBase
private java.beans.PropertyChangeSupport
change
delegator for the implementation of the PropertyChangeprotected BaseRevisionOperator<?>
leftOperator
the left revision operatorprotected java.util.Collection<?>
leftResult
protected Program
newBeliefs
protected BaseRevisionOperator<?>
rightOperator
the right revision operatorprotected java.util.Collection<?>
rightResult
protected java.util.Set<BaseRevisionOperator<?>>
selectableOperators
a set of selectable revison operatorsprotected ASPSolver
solver
-
Constructor Summary
Constructors Constructor Description SimpleRevisionCompareModel()
SimpleRevisionCompareModel(ASPSolver solver)
-
Method Summary
Modifier and Type Method Description 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
calculateResultingAnswersets()
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.private <E extends Formula>
java.util.Collection<E>runRevision(BaseRevisionOperator<E> op)
private <E extends Formula>
java.util.Collection<E>runRevision(MultipleBaseRevisionOperator<E> op)
void
runRevisions()
void
setBeliefbase(java.io.Reader beliefBase)
void
setBeliefbase(java.lang.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(java.io.Reader newBeliefs)
void
setNewBeliefs(java.lang.String newBeliefs)
void
setRightOperator(BaseRevisionOperator<?> right)
Select the right revision method.void
setSolver(ASPSolver solver)
-
-
-
Field Detail
-
change
private java.beans.PropertyChangeSupport change
delegator for the implementation of the PropertyChange
-
leftOperator
protected BaseRevisionOperator<?> leftOperator
the left revision operator
-
rightOperator
protected BaseRevisionOperator<?> rightOperator
the right revision operator
-
selectableOperators
protected java.util.Set<BaseRevisionOperator<?>> selectableOperators
a set of selectable revison operators
-
beliefBase
protected Program beliefBase
-
newBeliefs
protected Program newBeliefs
-
leftResult
protected java.util.Collection<?> leftResult
-
rightResult
protected java.util.Collection<?> rightResult
-
solver
protected ASPSolver solver
-
-
Constructor Detail
-
SimpleRevisionCompareModel
public SimpleRevisionCompareModel()
-
SimpleRevisionCompareModel
public SimpleRevisionCompareModel(ASPSolver solver)
-
-
Method Detail
-
setSolver
public void setSolver(ASPSolver solver)
-
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
-
setBeliefbase
public void setBeliefbase(java.lang.String beliefBase) throws ParseException
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
public void setBeliefbase(java.io.Reader beliefBase) throws ParseException
- Throws:
ParseException
-
setNewBeliefs
public void setNewBeliefs(java.lang.String newBeliefs) throws ParseException
- Throws:
ParseException
-
setNewBeliefs
public void setNewBeliefs(java.io.Reader newBeliefs) throws ParseException
- Throws:
ParseException
-
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.
-
runRevisions
public void runRevisions()
-
calculateResultingAnswersets
public void calculateResultingAnswersets()
-
runRevision
private <E extends Formula> java.util.Collection<E> runRevision(MultipleBaseRevisionOperator<E> op)
-
runRevision
private <E extends Formula> java.util.Collection<E> runRevision(BaseRevisionOperator<E> op)
-
-