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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

name

private java.lang.String name

Constructor Detail

MockOperator

public MockOperator(java.lang.String name)

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 interface BaseRevisionOperator<RevisionComparePresenter.MockFormula>

Parameters:

base - some collection of formulas.

formula - a formula

Returns:

the revised collection.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object