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

Class SimpleRevisionComparePresenter.MockOperator

java.lang.Object

net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter.MockOperator

All Implemented Interfaces:

BaseRevisionOperator<Rule>

Enclosing class:

SimpleRevisionComparePresenter

private static class SimpleRevisionComparePresenter.MockOperator
extends java.lang.Object
implements BaseRevisionOperator<Rule>

Mock revision operator for functional test.

Author:

Tim Janus

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	name

Constructor Summary

Constructors

Constructor and Description
MockOperator(java.lang.String name)

Method Summary

Modifier and Type	Method and Description
java.util.Collection<Rule>	revise(java.util.Collection<Rule> base, Rule 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<Rule> revise(java.util.Collection<Rule> base,
                                         Rule formula)

Description copied from interface: BaseRevisionOperator

Revises the given collection of formulas by the given formula.

Specified by:

revise in interface BaseRevisionOperator<Rule>

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