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

Class 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

    • 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

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