jtp.ui
Class AnswerUtil

java.lang.Object
  |
  +--jtp.ui.AnswerUtil

public class AnswerUtil

extends Object

Constructor Summary

AnswerUtil()

Method Summary

static String	printProof(ReasoningStepIterator rsi, String padding)
static String	printProof(ReasoningStep rs, String padding)
static String	shortenNS(String s)

Methods inherited from class java.lang.Object

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

Constructor Detail

AnswerUtil

public AnswerUtil()

Method Detail

printProof

public static String printProof(ReasoningStepIterator rsi,
                                String padding)
                         throws Exception

Exception

printProof

public static String printProof(ReasoningStep rs,
                                String padding)

shortenNS

public static String shortenNS(String s)