TPTPWorld

Class LooksDifferent

java.lang.Object

TPTPWorld.LooksDifferent

public class LooksDifferent
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static String	predicate_ld

Constructor Summary

Constructors

Constructor and Description
LooksDifferent()

Method Summary

Modifier and Type	Method and Description
static ArrayList<String>	addAxioms(TreeSet uniqueSymbols, TreeSet symbolList)
static String	addToConjecture(String conjecture, ArrayList<Binding> binds)
static String	bindConjecture(String conjecture, ArrayList<Binding> original, ArrayList<Binding> bind)
static String	filterLooksDifferent(String tptp)
static ArrayList<String>	getUniqueAxioms()
static TreeSet<TPTPParser.Symbol>	getUniqueSymbols(TreeSet symbolsSoFar, TreeSet newSymbols)
static void	main(String[] args)

Methods inherited from class java.lang.Object

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

Field Detail

predicate_ld

public static final String predicate_ld

See Also:

Constant Field Values

Constructor Detail

LooksDifferent

public LooksDifferent()

Method Detail

getUniqueSymbols

public static TreeSet<TPTPParser.Symbol> getUniqueSymbols(TreeSet symbolsSoFar,
                                                          TreeSet newSymbols)

getUniqueAxioms

public static ArrayList<String> getUniqueAxioms()

addAxioms

public static ArrayList<String> addAxioms(TreeSet uniqueSymbols,
                                          TreeSet symbolList)

addToConjecture

public static String addToConjecture(String conjecture,
                                     ArrayList<Binding> binds)

bindConjecture

public static String bindConjecture(String conjecture,
                                    ArrayList<Binding> original,
                                    ArrayList<Binding> bind)

filterLooksDifferent

public static String filterLooksDifferent(String tptp)
                                   throws Exception

Throws:

Exception

main

public static void main(String[] args)
                 throws Exception

Throws:

Exception