com.articulate.sigma

Class TPTPutil

java.lang.Object

com.articulate.sigma.TPTPutil

public class TPTPutil
extends Object

Constructor Summary

Constructors

Constructor and Description
TPTPutil()

Method Summary

Modifier and Type	Method and Description
static String	htmlTPTPFormat(Formula f, String hyperlink, boolean traditionalLogic) Format a formula for either text or HTML presentation by inserting the proper hyperlink code, characters for indentation and end of line.
static void	main(String[] args)

Methods inherited from class java.lang.Object

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

Constructor Detail

TPTPutil

public TPTPutil()

Method Detail

htmlTPTPFormat

public static String htmlTPTPFormat(Formula f,
                                    String hyperlink,
                                    boolean traditionalLogic)

Format a formula for either text or HTML presentation by inserting the proper hyperlink code, characters for indentation and end of line. A standard LISP-style pretty printing is employed where an open parenthesis triggers a new line and added indentation.

Parameters:

hyperlink - - the URL to be referenced to a hyperlinked term.

indentChars - - the proper characters for indenting text.

eolChars - - the proper character for end of line.

main

public static void main(String[] args)