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 Summary

Modifier and Type	Method	Description
`java.util.Collection<ASPRule>`	`revise(java.util.Collection<ASPRule> base, ASPRule 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<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 interface BaseRevisionOperator<ASPRule>
    
    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