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

Class SimpleRevisionCompareModel

java.lang.Object

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

public class SimpleRevisionCompareModel
extends 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 net.sf.tweety.lp.asp.syntax.Program	beliefBase
protected net.sf.tweety.beliefdynamics.BaseRevisionOperator<?>	leftOperator the left revision operator
protected Collection<?>	leftResult
protected net.sf.tweety.lp.asp.syntax.Program	newBeliefs
protected net.sf.tweety.beliefdynamics.BaseRevisionOperator<?>	rightOperator the right revision operator
protected Collection<?>	rightResult
protected Set<net.sf.tweety.beliefdynamics.BaseRevisionOperator<?>>	selectableOperators a set of selectable revison operators
protected net.sf.tweety.lp.asp.solver.Solver	solver

Constructor Summary

Constructors

Constructor and Description
SimpleRevisionCompareModel()
SimpleRevisionCompareModel(net.sf.tweety.lp.asp.solver.Solver solver)

Method Summary

Modifier and Type	Method and Description
void	addListener(PropertyChangeListener listener) Adds a property change listener
void	addOperator(net.sf.tweety.beliefdynamics.BaseRevisionOperator<?> op) Adds the given revision operator to the set of selectable revision methods.
void	calculateResultingAnswersets()
void	removeListener(PropertyChangeListener listener) Removes a property change listener
void	removeOperator(net.sf.tweety.beliefdynamics.BaseRevisionOperator<?> op) Removes the given revision operator from the set of selectable revision methods.
void	runRevisions()
void	setBeliefbase(Reader beliefBase)
void	setBeliefbase(String beliefBase) Adds a belief base to the end of the ordered list of belief bases.
void	setLeftOperator(net.sf.tweety.beliefdynamics.BaseRevisionOperator<?> left) Select the left revision method.
void	setNewBeliefs(Reader newBeliefs)
void	setNewBeliefs(String newBeliefs)
void	setRightOperator(net.sf.tweety.beliefdynamics.BaseRevisionOperator<?> right) Select the right revision method.
void	setSolver(net.sf.tweety.lp.asp.solver.Solver solver)

Methods inherited from class java.lang.Object

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

Field Detail

leftOperator

protected net.sf.tweety.beliefdynamics.BaseRevisionOperator<?> leftOperator

the left revision operator

rightOperator

protected net.sf.tweety.beliefdynamics.BaseRevisionOperator<?> rightOperator

the right revision operator

selectableOperators

protected Set<net.sf.tweety.beliefdynamics.BaseRevisionOperator<?>> selectableOperators

a set of selectable revison operators

beliefBase

protected net.sf.tweety.lp.asp.syntax.Program beliefBase

newBeliefs

protected net.sf.tweety.lp.asp.syntax.Program newBeliefs

leftResult

protected Collection<?> leftResult

rightResult

protected Collection<?> rightResult

solver

protected net.sf.tweety.lp.asp.solver.Solver solver

Constructor Detail

SimpleRevisionCompareModel

public SimpleRevisionCompareModel()

SimpleRevisionCompareModel

public SimpleRevisionCompareModel(net.sf.tweety.lp.asp.solver.Solver solver)

Method Detail

setSolver

public void setSolver(net.sf.tweety.lp.asp.solver.Solver solver)

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(net.sf.tweety.beliefdynamics.BaseRevisionOperator<?> left)

Select the left revision method.

Parameters:

left - The revision method as an operator reference

setRightOperator

public void setRightOperator(net.sf.tweety.beliefdynamics.BaseRevisionOperator<?> right)

Select the right revision method.

Parameters:

right - The revision method as an operator reference

setBeliefbase

public void setBeliefbase(String beliefBase)
                   throws net.sf.tweety.lp.asp.parser.ParseException

Adds a belief base to the end of the ordered list of belief bases.

Parameters:

beliefBase - Reference to the new belief base

Throws:

net.sf.tweety.lp.asp.parser.ParseException

setBeliefbase

public void setBeliefbase(Reader beliefBase)
                   throws net.sf.tweety.lp.asp.parser.ParseException

Throws:

net.sf.tweety.lp.asp.parser.ParseException

setNewBeliefs

public void setNewBeliefs(String newBeliefs)
                   throws net.sf.tweety.lp.asp.parser.ParseException

Throws:

net.sf.tweety.lp.asp.parser.ParseException

setNewBeliefs

public void setNewBeliefs(Reader newBeliefs)
                   throws net.sf.tweety.lp.asp.parser.ParseException

Throws:

net.sf.tweety.lp.asp.parser.ParseException

addOperator

public void addOperator(net.sf.tweety.beliefdynamics.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(net.sf.tweety.beliefdynamics.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()