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

Class 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 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

      • rightResult

        protected Collection<?> rightResult

      • solver

        protected net.sf.tweety.lp.asp.reasoner.ASPSolver solver

    • Constructor Detail

      • SimpleRevisionCompareModel

        public SimpleRevisionCompareModel()

      • SimpleRevisionCompareModel

        public SimpleRevisionCompareModel​(net.sf.tweety.lp.asp.reasoner.ASPSolver solver)

    • Method Detail

      • setSolver

        public void setSolver​(net.sf.tweety.lp.asp.reasoner.ASPSolver 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 - if parsing failed

      • 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()