public class TPTP2SUMO
extends java.lang.Object
Constructor and Description |
---|
TPTP2SUMO() |
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
|
public static java.lang.String convert(java.lang.String tptp, boolean instantiated) throws java.lang.Exception
java.lang.Exception
public static java.lang.String convert(java.io.Reader in, boolean instantiated) throws java.lang.Exception
java.lang.Exception
public static java.lang.String convert(java.lang.String tptp, java.util.ArrayList<TPTPWorld.Binding> answer, boolean instantiated) throws java.lang.Exception
java.lang.Exception
public static java.lang.String convert(java.io.Reader in, java.util.ArrayList<TPTPWorld.Binding> answer, boolean instantiated) throws java.lang.Exception
java.lang.Exception
public static java.lang.String convert(java.io.BufferedReader reader, java.util.ArrayList<TPTPWorld.Binding> answer, boolean instantiated) throws java.lang.Exception
java.lang.Exception
public static java.lang.StringBuffer convertType(TPTPWorld.TPTPFormula formula, int indent, int indented)
public static java.lang.StringBuffer convertType(TPTPWorld.TPTPFormula formula, int indent, int indented, boolean noXML)
public static java.lang.String transformTerm(java.lang.String term)
public static void main(java.lang.String[] args)