aima.core.logic.fol.inference

Class InferenceResultPrinter

java.lang.Object

aima.core.logic.fol.inference.InferenceResultPrinter

public class InferenceResultPrinter
extends java.lang.Object

Author:

Ciaran O'Reilly

Constructor Summary

Constructors

Constructor and Description
InferenceResultPrinter()

Method Summary

Modifier and Type	Method and Description
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.