net.sf.tweety.lp.asp.beliefdynamics.gui

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 and Description
protected Program	beliefBase
private java.beans.PropertyChangeSupport	change delegator for the implementation of the PropertyChange
protected BaseRevisionOperator<?>	leftOperator the left revision operator
protected java.util.Collection<?>	leftResult
protected Program	newBeliefs
protected BaseRevisionOperator<?>	rightOperator the right revision operator
protected java.util.Collection<?>	rightResult
protected java.util.Set<BaseRevisionOperator<?>>	selectableOperators a set of selectable revison operators
protected Solver	solver

Constructor Summary

Constructors

Constructor and Description
SimpleRevisionCompareModel()
SimpleRevisionCompareModel(Solver solver)

Method Summary

Modifier and Type	Method and Description
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	calculateResultingAnswersets()
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.
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(Solver solver)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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 Solver solver

Constructor Detail

SimpleRevisionCompareModel

public SimpleRevisionCompareModel()

SimpleRevisionCompareModel

public SimpleRevisionCompareModel(Solver solver)

Method Detail

setSolver

public void setSolver(Solver 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

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)