net.sf.tweety.beliefdynamics.gui

Class RevisionComparePresenter.MockFormula

java.lang.Object

net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.MockFormula

All Implemented Interfaces:

Formula

Enclosing class:

RevisionComparePresenter

private static class RevisionComparePresenter.MockFormula
extends java.lang.Object
implements Formula

Mock formula used for functional test.

Author:

Tim Janus

Field Summary

Fields

Modifier and Type	Field and Description
private static char	c
private char	mc

Constructor Summary

Constructors

Constructor and Description
MockFormula()

Method Summary

Modifier and Type	Method and Description
Signature	getSignature() Returns the signature of the language of this formula.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

mc

private char mc

c

private static char c

Constructor Detail

MockFormula

public MockFormula()

Method Detail

getSignature

public Signature getSignature()

Description copied from interface: Formula

Returns the signature of the language of this formula.

Specified by:

getSignature in interface Formula

Returns:

the signature of the language of this formula.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object