com.articulate.sigma.trans

Class TPTP2SUMO

java.lang.Object

com.articulate.sigma.trans.TPTP2SUMO

public class TPTP2SUMO
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
TPTP2SUMO()

Method Summary

Modifier and Type	Method and Description
static java.lang.String	convert(java.io.BufferedReader reader, java.util.ArrayList<TPTPWorld.Binding> answer, boolean instantiated) Convert a TPTP proof to a SUMO XML-wrapped proof
static java.lang.String	convert(java.io.Reader in, java.util.ArrayList<TPTPWorld.Binding> answer, boolean instantiated) Convenience routine that calls the main convert() method below
static java.lang.String	convert(java.io.Reader in, boolean instantiated) Convenience routine that calls the main convert() method below
static java.lang.String	convert(java.lang.String tptp, java.util.ArrayList<TPTPWorld.Binding> answer, boolean instantiated) Convenience routine that calls the main convert() method below
static java.lang.String	convert(java.lang.String tptp, boolean instantiated) Convenience routine that calls the main convert() method below
static java.lang.StringBuffer	convertType(TPTPWorld.TPTPFormula formula, int indent, int indented) Convert a single annotated TPTP clause to a single XML-wrapped SUMO formula.
static java.lang.StringBuffer	convertType(TPTPWorld.TPTPFormula formula, int indent, int indented, boolean noXML) Convert a single annotated TPTP clause to a single SUMO formula, possibly XML-wrapped.
static void	main(java.lang.String[] args)
static java.lang.String	transformTerm(java.lang.String term) remove termSymbolPrefix and termMentionSuffix

Methods inherited from class java.lang.Object

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

Constructor Detail

TPTP2SUMO

public TPTP2SUMO()

Method Detail

convert

public static java.lang.String convert(java.lang.String tptp,
                                       boolean instantiated)
                                throws java.lang.Exception

Convenience routine that calls the main convert() method below

Throws:

java.lang.Exception

convert

public static java.lang.String convert(java.io.Reader in,
                                       boolean instantiated)
                                throws java.lang.Exception

Convenience routine that calls the main convert() method below

Throws:

java.lang.Exception

convert

public static java.lang.String convert(java.lang.String tptp,
                                       java.util.ArrayList<TPTPWorld.Binding> answer,
                                       boolean instantiated)
                                throws java.lang.Exception

Convenience routine that calls the main convert() method below

Throws:

java.lang.Exception

convert

public static java.lang.String convert(java.io.Reader in,
                                       java.util.ArrayList<TPTPWorld.Binding> answer,
                                       boolean instantiated)
                                throws java.lang.Exception

Convenience routine that calls the main convert() method below

Throws:

java.lang.Exception

convert

public static java.lang.String convert(java.io.BufferedReader reader,
                                       java.util.ArrayList<TPTPWorld.Binding> answer,
                                       boolean instantiated)
                                throws java.lang.Exception

Convert a TPTP proof to a SUMO XML-wrapped proof

Throws:

java.lang.Exception

convertType

public static java.lang.StringBuffer convertType(TPTPWorld.TPTPFormula formula,
                                                 int indent,
                                                 int indented)

Convert a single annotated TPTP clause to a single XML-wrapped SUMO formula. This is the main entry point for this class.

convertType

public static java.lang.StringBuffer convertType(TPTPWorld.TPTPFormula formula,
                                                 int indent,
                                                 int indented,
                                                 boolean noXML)

Convert a single annotated TPTP clause to a single SUMO formula, possibly XML-wrapped. This is the main entry point for this class.

transformTerm

public static java.lang.String transformTerm(java.lang.String term)

remove termSymbolPrefix and termMentionSuffix

main

public static void main(java.lang.String[] args)