Package org.tweetyproject.lp.asp.beliefdynamics.gui

Class SimpleRevisionCompareModel

java.lang.Object
org.tweetyproject.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

  • Constructor Details

    • SimpleRevisionCompareModel

      public SimpleRevisionCompareModel()

    • SimpleRevisionCompareModel

      public SimpleRevisionCompareModel(ASPSolver solver)

  • Method Details

    • setSolver

      public void setSolver(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(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(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(Reader beliefBase) throws ParseException
      Throws:
      ParseException

    • setNewBeliefs

      public void setNewBeliefs(String newBeliefs) throws ParseException
      Throws:
      ParseException

    • setNewBeliefs

      public void setNewBeliefs(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()