aima.logic.fol.inference
Class InferenceResultPrinter

java.lang.Object
  aima.logic.fol.inference.InferenceResultPrinter

public class InferenceResultPrinter
extends java.lang.Object

Constructor Summary

InferenceResultPrinter()

Method Summary

static java.lang.String

printInferenceResult(InferenceResult ir) Utility method for outputting InferenceResults in a formatted textual representation.

Methods inherited from class java.lang.Object

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

Constructor Detail

InferenceResultPrinter

public InferenceResultPrinter()

Method Detail

printInferenceResult

public static java.lang.String printInferenceResult(InferenceResult ir)

Utility method for outputting InferenceResults in a formatted textual representation.

Parameters:

ir - an InferenceResult

Returns:

a String representation of the InferenceResult.