aima.logic.fol.inference.proof
Class ProofPrinter

java.lang.Object
  aima.logic.fol.inference.proof.ProofPrinter

public class ProofPrinter
extends java.lang.Object

Constructor Summary

ProofPrinter()

Method Summary

static java.lang.String

printProof(Proof aProof) Utility method for outputting proofs 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

ProofPrinter

public ProofPrinter()

Method Detail

printProof

public static java.lang.String printProof(Proof aProof)

Utility method for outputting proofs in a formatted textual representation.

Parameters:

aProof -

Returns:

a String representation of the Proof.