is.lill.acre.logic
Class ACRETermFormatter

java.lang.Object
  extended by is.lill.acre.logic.ACRETermFormatter
All Implemented Interfaces:
ITermFormatter

public class ACRETermFormatter
extends java.lang.Object
implements ITermFormatter


Constructor Summary
ACRETermFormatter()
           
 
Method Summary
 java.lang.String format(Term t)
          Generate a String representation of this term
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ACRETermFormatter

public ACRETermFormatter()
Method Detail

format

public java.lang.String format(Term t)
Generate a String representation of this term

Specified by:
format in interface ITermFormatter
Returns:
A String representation that can be converted into a Term again using fromString(String)