Class SimpleRevisionComparePresenter.MockOperator
- java.lang.Object
-
- net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter.MockOperator
-
- All Implemented Interfaces:
BaseRevisionOperator<ASPRule>
- Enclosing class:
- SimpleRevisionComparePresenter
private static class SimpleRevisionComparePresenter.MockOperator extends java.lang.Object implements BaseRevisionOperator<ASPRule>
Mock revision operator for functional test.- Author:
- Tim Janus
-
-
Field Summary
Fields Modifier and Type Field Description private java.lang.String
name
-
Constructor Summary
Constructors Constructor Description MockOperator(java.lang.String name)
-
-
-
Method Detail
-
revise
public java.util.Collection<ASPRule> revise(java.util.Collection<ASPRule> base, ASPRule formula)
Description copied from interface:BaseRevisionOperator
Revises the given collection of formulas by the given formula.- Specified by:
revise
in interfaceBaseRevisionOperator<ASPRule>
- Parameters:
base
- some collection of formulas.formula
- a formula- Returns:
- the revised collection.
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-