Package 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
-
-
Constructor Summary
Constructors Constructor Description MockFormula()
-
Method Summary
Modifier and Type Method Description Signature
getSignature()
Returns the signature of the language of this formula.java.lang.String
toString()
-
-
-
Method Detail
-
getSignature
public Signature getSignature()
Description copied from interface:Formula
Returns the signature of the language of this formula.- Specified by:
getSignature
in interfaceFormula
- Returns:
- the signature of the language of this formula.
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-