Package net.sf.tweety.beliefdynamics.gui
Class RevisionComparePresenter.MockOperator
- java.lang.Object
-
- net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.MockOperator
-
- All Implemented Interfaces:
BaseRevisionOperator<RevisionComparePresenter.MockFormula>
- Enclosing class:
- RevisionComparePresenter
private static class RevisionComparePresenter.MockOperator extends java.lang.Object implements BaseRevisionOperator<RevisionComparePresenter.MockFormula>
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 Summary
Modifier and Type Method Description java.util.Collection<RevisionComparePresenter.MockFormula>
revise(java.util.Collection<RevisionComparePresenter.MockFormula> base, RevisionComparePresenter.MockFormula formula)
Revises the given collection of formulas by the given formula.java.lang.String
toString()
-
-
-
Method Detail
-
revise
public java.util.Collection<RevisionComparePresenter.MockFormula> revise(java.util.Collection<RevisionComparePresenter.MockFormula> base, RevisionComparePresenter.MockFormula formula)
Description copied from interface:BaseRevisionOperator
Revises the given collection of formulas by the given formula.- Specified by:
revise
in interfaceBaseRevisionOperator<RevisionComparePresenter.MockFormula>
- 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
-
-