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 SignaturegetSignature()Returns the signature of the language of this formula.java.lang.StringtoString()
-
-
-
Method Detail
-
getSignature
public Signature getSignature()
Description copied from interface:FormulaReturns the signature of the language of this formula.- Specified by:
getSignaturein interfaceFormula- Returns:
- the signature of the language of this formula.
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
-