A B C D E F G H I L M N O P Q R S T U V

A

add(E) - Method in class org.openqed.util.ImmutableListBuilder

addPrefListener(PrefListener<TYPE>) - Method in class org.openqed.util.prefs.Pref

AtomicFormula - Class in org.openqed.struct.formula

AtomicFormula() - Constructor for class org.openqed.struct.formula.AtomicFormula

AtomicPrefType<TYPE> - Class in org.openqed.util.prefs

AtomicPrefType() - Constructor for class org.openqed.util.prefs.AtomicPrefType

AXIOM - Static variable in class org.openqed.struct.namedid.SentenceRole

B

BasePrefs - Class in org.openqed.util.prefs

BasePrefs() - Constructor for class org.openqed.util.prefs.BasePrefs

BinaryFormula - Class in org.openqed.struct.formula

BinaryFormula(BinaryOperator, FofFormula, FofFormula) - Constructor for class org.openqed.struct.formula.BinaryFormula

BinaryOperator - Class in org.openqed.struct.namedid

BinaryOperator.EnumValue - Enum in org.openqed.struct.namedid

BOOLEAN - Static variable in class org.openqed.util.prefs.BasePrefs

BOOLEAN_LIST - Static variable in class org.openqed.util.prefs.BasePrefs

BOOLEAN_MAP - Static variable in class org.openqed.util.prefs.BasePrefs

BYTE - Static variable in class org.openqed.util.prefs.BasePrefs

BYTE_LIST - Static variable in class org.openqed.util.prefs.BasePrefs

BYTE_MAP - Static variable in class org.openqed.util.prefs.BasePrefs

C

CHARACTER - Static variable in class org.openqed.util.prefs.BasePrefs

CHARACTER_LIST - Static variable in class org.openqed.util.prefs.BasePrefs

CHARACTER_MAP - Static variable in class org.openqed.util.prefs.BasePrefs

CheckedExceptionWrapper - Exception in org.openqed.util

CheckedExceptionWrapper(Exception) - Constructor for exception org.openqed.util.CheckedExceptionWrapper

checkValue(TYPE) - Method in interface org.openqed.util.prefs.PrefCheck

Clausifier - Class in org.openqed.tool.clausifier

Main class for launching the clausifier tool.

CnfFormula - Class in org.openqed.struct.formula

CnfFormula(List<Literal>) - Constructor for class org.openqed.struct.formula.CnfFormula

CnfFormula(Literal...) - Constructor for class org.openqed.struct.formula.CnfFormula

compareTo(TptpHeader.TptpVersion) - Method in class org.openqed.parser.tptp.TptpHeader.TptpVersion

CompoundPrefType<TYPE> - Class in org.openqed.util.prefs

CompoundPrefType() - Constructor for class org.openqed.util.prefs.CompoundPrefType

CONJECTURE - Static variable in class org.openqed.struct.namedid.SentenceRole

CONJUNCTION - Static variable in class org.openqed.struct.namedid.BinaryOperator

CONTRADICTION - Static variable in class org.openqed.struct.namedid.BinaryOperator

CONTRADICTION - Static variable in class org.openqed.struct.namedid.NullaryOperator

CONTRADICTION - Static variable in class org.openqed.struct.namedid.UnaryOperator

CONVERSE_IMPLICATION - Static variable in class org.openqed.struct.namedid.BinaryOperator

create(Token) - Method in class org.openqed.parser.tptp.TptpParserCommonTreeAdaptor

create(E...) - Static method in class org.openqed.util.ImmutableList

create(Collection<E>) - Static method in class org.openqed.util.ImmutableList

create(T0) - Static method in class org.openqed.util.tuple.Tuple

create(T0, T1) - Static method in class org.openqed.util.tuple.Tuple

create(T0, T1, T2) - Static method in class org.openqed.util.tuple.Tuple

create(T0, T1, T2, T3) - Static method in class org.openqed.util.tuple.Tuple

create(T0, T1, T2, T3, T4) - Static method in class org.openqed.util.tuple.Tuple

create(T0, T1, T2, T3, T4, T5) - Static method in class org.openqed.util.tuple.Tuple

create(T0, T1, T2, T3, T4, T5, T6) - Static method in class org.openqed.util.tuple.Tuple

create(T0, T1, T2, T3, T4, T5, T6, T7) - Static method in class org.openqed.util.tuple.Tuple

create(T0, T1, T2, T3, T4, T5, T6, T7, T8) - Static method in class org.openqed.util.tuple.Tuple

createErrorMessage(TYPE) - Method in interface org.openqed.util.prefs.PrefCheck

createFromCharSequence(CharSequence) - Static method in class org.openqed.parser.tptp.TptpParser

createFromFile(File) - Static method in class org.openqed.parser.tptp.TptpParser

createFromFileName(String) - Static method in class org.openqed.parser.tptp.TptpParser

createFromReader(Reader) - Static method in class org.openqed.parser.tptp.TptpParser

D

DEFINITION - Static variable in class org.openqed.struct.namedid.SentenceRole

DISJUNCTION - Static variable in class org.openqed.struct.namedid.BinaryOperator

DOUBLE - Static variable in class org.openqed.util.prefs.BasePrefs

DOUBLE_LIST - Static variable in class org.openqed.util.prefs.BasePrefs

DOUBLE_MAP - Static variable in class org.openqed.util.prefs.BasePrefs

DynamicId - Class in org.openqed.struct.namedid

E

EnumId - Class in org.openqed.struct.namedid

EQUALITY_PREDICATE_ID - Static variable in class org.openqed.struct.namedid.PredicateId

EQUALITY_PREDICATE_NAME - Static variable in class org.openqed.struct.namedid.PredicateId

equals(Object) - Method in class org.openqed.parser.tptp.TptpHeader.TptpVersion

equals(Object) - Method in class org.openqed.struct.formula.BinaryFormula

equals(Object) - Method in class org.openqed.struct.formula.CnfFormula

equals(Object) - Method in class org.openqed.struct.formula.FormulaNode

equals(Object) - Method in class org.openqed.struct.formula.FunctionTerm

equals(Object) - Method in class org.openqed.struct.formula.Literal

equals(Object) - Method in class org.openqed.struct.formula.NegationFormula

equals(Object) - Method in class org.openqed.struct.formula.NullaryFormula

equals(Object) - Method in class org.openqed.struct.formula.ObjectTerm

equals(Object) - Method in class org.openqed.struct.formula.PredicateFormula

equals(Object) - Method in class org.openqed.struct.formula.QuantifierFormula

equals(Object) - Method in class org.openqed.struct.formula.VariableTerm

equals(Object) - Method in class org.openqed.struct.namedid.NamedId

equals(Object) - Method in class org.openqed.util.MemberwiseEqualsHashCodeObject

equals(Object) - Method in class org.openqed.util.tuple.Tuple

equalsHelper(MemberwiseEqualsHashCode, Object) - Static method in class org.openqed.util.MemberwiseEqualsHashCodeHelper

EQUIVALENCE - Static variable in class org.openqed.struct.namedid.BinaryOperator

evaluateValues(boolean...) - Method in class org.openqed.struct.namedid.LogicalOperator

EXISTENTIAL - Static variable in class org.openqed.struct.namedid.QuantifierOperator

F

FALSE - Static variable in class org.openqed.struct.namedid.TruthValue

FILE - Static variable in class org.openqed.util.prefs.BasePrefs

FILE_LIST - Static variable in class org.openqed.util.prefs.BasePrefs

FILE_MAP - Static variable in class org.openqed.util.prefs.BasePrefs

FLOAT - Static variable in class org.openqed.util.prefs.BasePrefs

FLOAT_LIST - Static variable in class org.openqed.util.prefs.BasePrefs

FLOAT_MAP - Static variable in class org.openqed.util.prefs.BasePrefs

FofFormula - Class in org.openqed.struct.formula

FofFormula() - Constructor for class org.openqed.struct.formula.FofFormula

Formula - Class in org.openqed.struct.formula

Formula() - Constructor for class org.openqed.struct.formula.Formula

FormulaNode - Class in org.openqed.struct.formula

FormulaNode() - Constructor for class org.openqed.struct.formula.FormulaNode

FormulaNode.FormulaNodeType - Enum in org.openqed.struct.formula

FormulaNodeVisitor - Class in org.openqed.struct.formula

FormulaNodeVisitor() - Constructor for class org.openqed.struct.formula.FormulaNodeVisitor

FormulaNodeVisitorArg<A> - Class in org.openqed.struct.formula

FormulaNodeVisitorArg() - Constructor for class org.openqed.struct.formula.FormulaNodeVisitorArg

FormulaNodeVisitorRet<R> - Class in org.openqed.struct.formula

FormulaNodeVisitorRet() - Constructor for class org.openqed.struct.formula.FormulaNodeVisitorRet

FormulaNodeVisitorRetArg<R,A> - Class in org.openqed.struct.formula

FormulaNodeVisitorRetArg() - Constructor for class org.openqed.struct.formula.FormulaNodeVisitorRetArg

FormulaSummary - Class in org.openqed.struct.misc

FormulaSummary(Map<FormulaSummary.FieldId, Integer>) - Constructor for class org.openqed.struct.misc.FormulaSummary

FormulaSummary.FieldId - Enum in org.openqed.struct.misc

FunctionId - Class in org.openqed.struct.namedid

FunctionTerm - Class in org.openqed.struct.formula

FunctionTerm(FunctionId, List<Term>) - Constructor for class org.openqed.struct.formula.FunctionTerm

FunctionTerm(FunctionId, Term...) - Constructor for class org.openqed.struct.formula.FunctionTerm

FunctorApplication - Interface in org.openqed.struct.formula

FunctorId - Class in org.openqed.struct.namedid

G

get(String) - Static method in class org.openqed.struct.namedid.BinaryOperator

get(BinaryOperator.EnumValue) - Static method in class org.openqed.struct.namedid.BinaryOperator

get(String) - Static method in class org.openqed.struct.namedid.NullaryOperator

get(NullaryOperator.EnumValue) - Static method in class org.openqed.struct.namedid.NullaryOperator

get(String) - Static method in class org.openqed.struct.namedid.QuantifierOperator

get(QuantifierOperator.EnumValue) - Static method in class org.openqed.struct.namedid.QuantifierOperator

get(String) - Static method in class org.openqed.struct.namedid.SentenceRole

get(SentenceRole.EnumValue) - Static method in class org.openqed.struct.namedid.SentenceRole

get(String) - Static method in class org.openqed.struct.namedid.TruthValue

get(TruthValue.EnumValue) - Static method in class org.openqed.struct.namedid.TruthValue

get(String) - Static method in class org.openqed.struct.namedid.UnaryOperator

get(UnaryOperator.EnumValue) - Static method in class org.openqed.struct.namedid.UnaryOperator

get(int) - Method in class org.openqed.util.ImmutableList

get(int) - Method in class org.openqed.util.ImmutableListBuilder

get() - Method in class org.openqed.util.prefs.Pref

getArity() - Method in class org.openqed.struct.namedid.BinaryOperator

getArity() - Method in class org.openqed.struct.namedid.FunctorId

getArity() - Method in class org.openqed.struct.namedid.LogicalOperator

getArity() - Method in class org.openqed.struct.namedid.NullaryOperator

getArity() - Method in class org.openqed.struct.namedid.UnaryOperator

getChild(int) - Method in class org.openqed.struct.formula.BinaryFormula

getChild(int) - Method in class org.openqed.struct.formula.CnfFormula

getChild(int) - Method in class org.openqed.struct.formula.FormulaNode

getChild(int) - Method in class org.openqed.struct.formula.FunctionTerm

getChild(int) - Method in class org.openqed.struct.formula.Literal

getChild(int) - Method in class org.openqed.struct.formula.NegationFormula

getChild(int) - Method in class org.openqed.struct.formula.NullaryFormula

getChild(int) - Method in class org.openqed.struct.formula.ObjectTerm

getChild(int) - Method in class org.openqed.struct.formula.PredicateFormula

getChild(int) - Method in class org.openqed.struct.formula.QuantifierFormula

getChild(int) - Method in class org.openqed.struct.formula.VariableTerm

getChildCount() - Method in class org.openqed.struct.formula.BinaryFormula

getChildCount() - Method in class org.openqed.struct.formula.CnfFormula

getChildCount() - Method in class org.openqed.struct.formula.FormulaNode

getChildCount() - Method in class org.openqed.struct.formula.FunctionTerm

getChildCount() - Method in class org.openqed.struct.formula.Literal

getChildCount() - Method in class org.openqed.struct.formula.NegationFormula

getChildCount() - Method in class org.openqed.struct.formula.NullaryFormula

getChildCount() - Method in class org.openqed.struct.formula.ObjectTerm

getChildCount() - Method in class org.openqed.struct.formula.PredicateFormula

getChildCount() - Method in class org.openqed.struct.formula.QuantifierFormula

getChildCount() - Method in class org.openqed.struct.formula.VariableTerm

getChildIterator() - Method in class org.openqed.struct.formula.FormulaNode

getColumnNumber() - Method in class org.openqed.parser.tptp.TptpParserCommonTree

getColumnNumber() - Method in class org.openqed.parser.tptp.TptpStatement

getColumnNumber() - Method in class org.openqed.struct.sentence.SentenceFileSource

getElem(int) - Method in class org.openqed.util.tuple.Tuple

getElem0() - Method in class org.openqed.util.tuple.Tuple1

getElem0() - Method in class org.openqed.util.tuple.Tuple2

getElem0() - Method in class org.openqed.util.tuple.Tuple3

getElem0() - Method in class org.openqed.util.tuple.Tuple4

getElem0() - Method in class org.openqed.util.tuple.Tuple5

getElem0() - Method in class org.openqed.util.tuple.Tuple6

getElem0() - Method in class org.openqed.util.tuple.Tuple7

getElem0() - Method in class org.openqed.util.tuple.Tuple8

getElem0() - Method in class org.openqed.util.tuple.Tuple9

getElem1() - Method in class org.openqed.util.tuple.Tuple2

getElem1() - Method in class org.openqed.util.tuple.Tuple3

getElem1() - Method in class org.openqed.util.tuple.Tuple4

getElem1() - Method in class org.openqed.util.tuple.Tuple5

getElem1() - Method in class org.openqed.util.tuple.Tuple6

getElem1() - Method in class org.openqed.util.tuple.Tuple7

getElem1() - Method in class org.openqed.util.tuple.Tuple8

getElem1() - Method in class org.openqed.util.tuple.Tuple9

getElem2() - Method in class org.openqed.util.tuple.Tuple3

getElem2() - Method in class org.openqed.util.tuple.Tuple4

getElem2() - Method in class org.openqed.util.tuple.Tuple5

getElem2() - Method in class org.openqed.util.tuple.Tuple6

getElem2() - Method in class org.openqed.util.tuple.Tuple7

getElem2() - Method in class org.openqed.util.tuple.Tuple8

getElem2() - Method in class org.openqed.util.tuple.Tuple9

getElem3() - Method in class org.openqed.util.tuple.Tuple4

getElem3() - Method in class org.openqed.util.tuple.Tuple5

getElem3() - Method in class org.openqed.util.tuple.Tuple6

getElem3() - Method in class org.openqed.util.tuple.Tuple7

getElem3() - Method in class org.openqed.util.tuple.Tuple8

getElem3() - Method in class org.openqed.util.tuple.Tuple9

getElem4() - Method in class org.openqed.util.tuple.Tuple5

getElem4() - Method in class org.openqed.util.tuple.Tuple6

getElem4() - Method in class org.openqed.util.tuple.Tuple7

getElem4() - Method in class org.openqed.util.tuple.Tuple8

getElem4() - Method in class org.openqed.util.tuple.Tuple9

getElem5() - Method in class org.openqed.util.tuple.Tuple6

getElem5() - Method in class org.openqed.util.tuple.Tuple7

getElem5() - Method in class org.openqed.util.tuple.Tuple8

getElem5() - Method in class org.openqed.util.tuple.Tuple9

getElem6() - Method in class org.openqed.util.tuple.Tuple7

getElem6() - Method in class org.openqed.util.tuple.Tuple8

getElem6() - Method in class org.openqed.util.tuple.Tuple9

getElem7() - Method in class org.openqed.util.tuple.Tuple8

getElem7() - Method in class org.openqed.util.tuple.Tuple9

getElem8() - Method in class org.openqed.util.tuple.Tuple9

getElems() - Method in class org.openqed.util.tuple.Tuple

getEnumValue() - Method in class org.openqed.struct.namedid.BinaryOperator

getEnumValue() - Method in class org.openqed.struct.namedid.EnumId

getEnumValue() - Method in class org.openqed.struct.namedid.NullaryOperator

getEnumValue() - Method in class org.openqed.struct.namedid.QuantifierOperator

getEnumValue() - Method in class org.openqed.struct.namedid.SentenceRole

getEnumValue() - Method in class org.openqed.struct.namedid.TruthValue

getEnumValue() - Method in class org.openqed.struct.namedid.UnaryOperator

getFormulaNodeType() - Method in class org.openqed.struct.formula.BinaryFormula

getFormulaNodeType() - Method in class org.openqed.struct.formula.CnfFormula

getFormulaNodeType() - Method in class org.openqed.struct.formula.FormulaNode

getFormulaNodeType() - Method in class org.openqed.struct.formula.FunctionTerm

getFormulaNodeType() - Method in class org.openqed.struct.formula.Literal

getFormulaNodeType() - Method in class org.openqed.struct.formula.NegationFormula

getFormulaNodeType() - Method in class org.openqed.struct.formula.NullaryFormula

getFormulaNodeType() - Method in class org.openqed.struct.formula.ObjectTerm

getFormulaNodeType() - Method in class org.openqed.struct.formula.PredicateFormula

getFormulaNodeType() - Method in class org.openqed.struct.formula.QuantifierFormula

getFormulaNodeType() - Method in class org.openqed.struct.formula.VariableTerm

getFormulaSummary() - Method in class org.openqed.parser.tptp.TptpHeader

getFunctionId() - Method in class org.openqed.struct.formula.FunctionTerm

getFunctionName() - Method in class org.openqed.struct.formula.FunctionTerm

getFunctorId() - Method in class org.openqed.struct.formula.FunctionTerm

getFunctorId() - Method in interface org.openqed.struct.formula.FunctorApplication

getFunctorId() - Method in class org.openqed.struct.formula.PredicateFormula

getFunctorName() - Method in class org.openqed.struct.formula.FunctionTerm

getFunctorName() - Method in interface org.openqed.struct.formula.FunctorApplication

getFunctorName() - Method in class org.openqed.struct.formula.PredicateFormula

getHeader() - Method in class org.openqed.parser.tptp.TptpParser

getHelpInfo() - Method in interface org.openqed.util.prefs.PrefCheck

getIncludeFile() - Method in class org.openqed.parser.tptp.TptpIncludeStatement

getIncludeSentenceIds() - Method in class org.openqed.parser.tptp.TptpIncludeStatement

getInputFile() - Method in class org.openqed.parser.tptp.TptpParserCommonTree

getInputFile() - Method in class org.openqed.parser.tptp.TptpStatement

getInputFile() - Method in class org.openqed.struct.sentence.SentenceFileSource

getInverse() - Method in class org.openqed.struct.namedid.BinaryOperator

getInverse() - Method in class org.openqed.struct.namedid.InvertibleEnumId

getInverse() - Method in class org.openqed.struct.namedid.LogicalOperator

getInverse() - Method in class org.openqed.struct.namedid.NullaryOperator

getInverse() - Method in class org.openqed.struct.namedid.QuantifierOperator

getInverse() - Method in class org.openqed.struct.namedid.TruthValue

getInverse() - Method in class org.openqed.struct.namedid.UnaryOperator

getLeftSubFormula() - Method in class org.openqed.struct.formula.BinaryFormula

getLineNumber() - Method in class org.openqed.parser.tptp.TptpParserCommonTree

getLineNumber() - Method in class org.openqed.parser.tptp.TptpStatement

getLineNumber() - Method in class org.openqed.struct.sentence.SentenceFileSource

getLiteral(int) - Method in class org.openqed.struct.formula.CnfFormula

getLiteralCount() - Method in class org.openqed.struct.formula.CnfFormula

getLiterals() - Method in class org.openqed.struct.formula.CnfFormula

getMaintenanceVersionNumber() - Method in class org.openqed.parser.tptp.TptpHeader.TptpVersion

getMajorVersionNumber() - Method in class org.openqed.parser.tptp.TptpHeader.TptpVersion

getMinorVersionNumber() - Method in class org.openqed.parser.tptp.TptpHeader.TptpVersion

getName() - Method in class org.openqed.struct.namedid.NamedId

getObjectId() - Method in class org.openqed.struct.formula.ObjectTerm

getObjectName() - Method in class org.openqed.struct.formula.ObjectTerm

getOperator() - Method in class org.openqed.struct.formula.BinaryFormula

getOperator() - Method in class org.openqed.struct.formula.Literal

getOperator() - Method in class org.openqed.struct.formula.NegationFormula

getOperator() - Method in class org.openqed.struct.formula.NullaryFormula

getOperator() - Method in class org.openqed.struct.formula.QuantifierFormula

getOperator() - Method in interface org.openqed.struct.formula.UnaryFormula

getOperatorName() - Method in class org.openqed.struct.formula.BinaryFormula

getOperatorName() - Method in class org.openqed.struct.formula.Literal

getOperatorName() - Method in class org.openqed.struct.formula.NegationFormula

getOperatorName() - Method in class org.openqed.struct.formula.NullaryFormula

getOperatorName() - Method in class org.openqed.struct.formula.QuantifierFormula

getOrCreate(String, int) - Static method in class org.openqed.struct.namedid.FunctionId

getOrCreate(String) - Static method in class org.openqed.struct.namedid.ObjectId

getOrCreate(String, int) - Static method in class org.openqed.struct.namedid.PredicateId

getOrCreate(String) - Static method in class org.openqed.struct.namedid.SentenceId

getOrCreate(String) - Static method in class org.openqed.struct.namedid.VariableId

getOrdinal() - Method in class org.openqed.struct.namedid.EnumId

getPredicateId() - Method in class org.openqed.struct.formula.PredicateFormula

getPredicateName() - Method in class org.openqed.struct.formula.PredicateFormula

getRating() - Method in class org.openqed.parser.tptp.TptpHeader.TptpRating

getRecursiveIterator() - Method in class org.openqed.struct.formula.FormulaNode

getRightSubFormula() - Method in class org.openqed.struct.formula.BinaryFormula

getRole() - Method in class org.openqed.struct.sentence.Sentence

getRoleName() - Method in class org.openqed.struct.sentence.Sentence

getRootCnfFormula() - Method in class org.openqed.struct.sentence.Sentence

getRootFofFormula() - Method in class org.openqed.struct.sentence.Sentence

getRootFormula() - Method in class org.openqed.struct.sentence.Sentence

getRootFormulaNode() - Method in class org.openqed.struct.sentence.Sentence

getSelectiveIterator(FormulaNodeVisitorRet<Boolean>) - Method in class org.openqed.struct.formula.FormulaNode

getSentence() - Method in class org.openqed.parser.tptp.TptpSentenceStatement

getSentence(int) - Method in class org.openqed.struct.sentence.SentenceList

getSentenceCount() - Method in class org.openqed.struct.sentence.SentenceList

getSentenceId() - Method in class org.openqed.struct.sentence.Sentence

getSentenceName() - Method in class org.openqed.struct.sentence.Sentence

getSentences() - Method in class org.openqed.struct.sentence.SentenceList

getSize() - Method in class org.openqed.util.tuple.Tuple

getSource() - Method in class org.openqed.struct.sentence.Sentence

getSubFormula() - Method in class org.openqed.struct.formula.Literal

getSubFormula() - Method in class org.openqed.struct.formula.NegationFormula

getSubFormula() - Method in class org.openqed.struct.formula.QuantifierFormula

getSubFormula() - Method in interface org.openqed.struct.formula.UnaryFormula

getTerm(int) - Method in class org.openqed.struct.formula.FunctionTerm

getTerm(int) - Method in interface org.openqed.struct.formula.FunctorApplication

getTerm(int) - Method in class org.openqed.struct.formula.PredicateFormula

getTermCount() - Method in class org.openqed.struct.formula.FunctionTerm

getTermCount() - Method in interface org.openqed.struct.formula.FunctorApplication

getTermCount() - Method in class org.openqed.struct.formula.PredicateFormula

getTerms() - Method in class org.openqed.struct.formula.FunctionTerm

getTerms() - Method in interface org.openqed.struct.formula.FunctorApplication

getTerms() - Method in class org.openqed.struct.formula.PredicateFormula

getValue(FormulaSummary.FieldId) - Method in class org.openqed.struct.misc.FormulaSummary

getVariableId() - Method in class org.openqed.struct.formula.QuantifierFormula

getVariableId() - Method in class org.openqed.struct.formula.VariableTerm

getVariableName() - Method in class org.openqed.struct.formula.QuantifierFormula

getVariableName() - Method in class org.openqed.struct.formula.VariableTerm

getVersion() - Method in class org.openqed.parser.tptp.TptpHeader.TptpRating

H

hashCode() - Method in class org.openqed.parser.tptp.TptpHeader.TptpVersion

hashCode() - Method in class org.openqed.struct.formula.BinaryFormula

hashCode() - Method in class org.openqed.struct.formula.CnfFormula

hashCode() - Method in class org.openqed.struct.formula.FormulaNode

hashCode() - Method in class org.openqed.struct.formula.FunctionTerm

hashCode() - Method in class org.openqed.struct.formula.Literal

hashCode() - Method in class org.openqed.struct.formula.NegationFormula

hashCode() - Method in class org.openqed.struct.formula.NullaryFormula

hashCode() - Method in class org.openqed.struct.formula.ObjectTerm

hashCode() - Method in class org.openqed.struct.formula.PredicateFormula

hashCode() - Method in class org.openqed.struct.formula.QuantifierFormula

hashCode() - Method in class org.openqed.struct.formula.VariableTerm

hashCode() - Method in class org.openqed.struct.namedid.NamedId

hashCode() - Method in class org.openqed.util.MemberwiseEqualsHashCodeObject

hashCode() - Method in class org.openqed.util.tuple.Tuple

hashCodeHelper(MemberwiseEqualsHashCode) - Static method in class org.openqed.util.MemberwiseEqualsHashCodeHelper

HYPOTHESIS - Static variable in class org.openqed.struct.namedid.SentenceRole

I

IDENTITY - Static variable in class org.openqed.struct.namedid.UnaryOperator

ImmutableList<E> - Class in org.openqed.util

ImmutableListBuilder<E> - Class in org.openqed.util

ImmutableListBuilder(int) - Constructor for class org.openqed.util.ImmutableListBuilder

IMPLICATION - Static variable in class org.openqed.struct.namedid.BinaryOperator

initialize(String, String[], Class<? extends BasePrefs>, Pref<?>[]...) - Static method in class org.openqed.util.prefs.BasePrefs

initialize(String, String[], Class<?>[], Pref<?>[]...) - Static method in class org.openqed.util.prefs.BasePrefs

INTEGER - Static variable in class org.openqed.util.prefs.BasePrefs

INTEGER_LIST - Static variable in class org.openqed.util.prefs.BasePrefs

INTEGER_MAP - Static variable in class org.openqed.util.prefs.BasePrefs

InvertibleEnumId - Class in org.openqed.struct.namedid

isAxiom() - Method in class org.openqed.struct.namedid.SentenceRole

isAxiom() - Method in class org.openqed.struct.sentence.Sentence

isAxiomLike() - Method in class org.openqed.struct.namedid.SentenceRole

isAxiomLike() - Method in class org.openqed.struct.sentence.Sentence

isCnfSentence() - Method in class org.openqed.struct.sentence.Sentence

isCnfSentenceList() - Method in class org.openqed.struct.sentence.SentenceList

isConjecture() - Method in class org.openqed.struct.namedid.SentenceRole

isConjecture() - Method in class org.openqed.struct.sentence.Sentence

isConjunction() - Method in class org.openqed.struct.formula.BinaryFormula

isConjunction() - Method in class org.openqed.struct.namedid.BinaryOperator

isConstant() - Method in class org.openqed.struct.namedid.FunctionId

isContradiction() - Method in class org.openqed.struct.formula.NullaryFormula

isContradiction() - Method in class org.openqed.struct.namedid.BinaryOperator

isContradiction() - Method in class org.openqed.struct.namedid.NullaryOperator

isContradiction() - Method in class org.openqed.struct.namedid.UnaryOperator

isConverseImplication() - Method in class org.openqed.struct.formula.BinaryFormula

isConverseImplication() - Method in class org.openqed.struct.namedid.BinaryOperator

isDefinition() - Method in class org.openqed.struct.namedid.SentenceRole

isDefinition() - Method in class org.openqed.struct.sentence.Sentence

isDegenerate() - Method in class org.openqed.struct.namedid.LogicalOperator

isDisjunction() - Method in class org.openqed.struct.formula.BinaryFormula

isDisjunction() - Method in class org.openqed.struct.namedid.BinaryOperator

isEquivalence() - Method in class org.openqed.struct.formula.BinaryFormula

isEquivalence() - Method in class org.openqed.struct.namedid.BinaryOperator

isExistential() - Method in class org.openqed.struct.formula.QuantifierFormula

isExistential() - Method in class org.openqed.struct.namedid.QuantifierOperator

isFalse() - Method in class org.openqed.struct.namedid.TruthValue

isFofSentence() - Method in class org.openqed.struct.sentence.Sentence

isFofSentenceList() - Method in class org.openqed.struct.sentence.SentenceList

isHorn() - Method in class org.openqed.struct.formula.CnfFormula

isHypothesis() - Method in class org.openqed.struct.namedid.SentenceRole

isHypothesis() - Method in class org.openqed.struct.sentence.Sentence

isIdentity() - Method in class org.openqed.struct.formula.Literal

isIdentity() - Method in class org.openqed.struct.formula.NegationFormula

isIdentity() - Method in interface org.openqed.struct.formula.UnaryFormula

isIdentity() - Method in class org.openqed.struct.namedid.UnaryOperator

isImplication() - Method in class org.openqed.struct.formula.BinaryFormula

isImplication() - Method in class org.openqed.struct.namedid.BinaryOperator

isLeftIdentity() - Method in class org.openqed.struct.namedid.BinaryOperator

isLemma() - Method in class org.openqed.struct.namedid.SentenceRole

isLemma() - Method in class org.openqed.struct.sentence.Sentence

isNegatedConjecture() - Method in class org.openqed.struct.namedid.SentenceRole

isNegatedConjecture() - Method in class org.openqed.struct.sentence.Sentence

isNegatedConjunction() - Method in class org.openqed.struct.formula.BinaryFormula

isNegatedConjunction() - Method in class org.openqed.struct.namedid.BinaryOperator

isNegatedConverseImplication() - Method in class org.openqed.struct.formula.BinaryFormula

isNegatedConverseImplication() - Method in class org.openqed.struct.namedid.BinaryOperator

isNegatedDisjunction() - Method in class org.openqed.struct.formula.BinaryFormula

isNegatedDisjunction() - Method in class org.openqed.struct.namedid.BinaryOperator

isNegatedEquivalence() - Method in class org.openqed.struct.formula.BinaryFormula

isNegatedEquivalence() - Method in class org.openqed.struct.namedid.BinaryOperator

isNegatedImplication() - Method in class org.openqed.struct.formula.BinaryFormula

isNegatedImplication() - Method in class org.openqed.struct.namedid.BinaryOperator

isNegatedLeftIdentity() - Method in class org.openqed.struct.namedid.BinaryOperator

isNegatedRightIdentity() - Method in class org.openqed.struct.namedid.BinaryOperator

isNegation() - Method in class org.openqed.struct.formula.Literal

isNegation() - Method in class org.openqed.struct.formula.NegationFormula

isNegation() - Method in interface org.openqed.struct.formula.UnaryFormula

isNegation() - Method in class org.openqed.struct.namedid.UnaryOperator

isNegativeInverse() - Method in class org.openqed.struct.namedid.InvertibleEnumId

isProposition() - Method in class org.openqed.struct.namedid.PredicateId

isRightIdentity() - Method in class org.openqed.struct.namedid.BinaryOperator

isTautology() - Method in class org.openqed.struct.formula.NullaryFormula

isTautology() - Method in class org.openqed.struct.namedid.BinaryOperator

isTautology() - Method in class org.openqed.struct.namedid.NullaryOperator

isTautology() - Method in class org.openqed.struct.namedid.UnaryOperator

isTheorem() - Method in class org.openqed.struct.namedid.SentenceRole

isTheorem() - Method in class org.openqed.struct.sentence.Sentence

isTrue() - Method in class org.openqed.struct.namedid.TruthValue

isUnit() - Method in class org.openqed.struct.formula.CnfFormula

isUnitContradiction() - Method in class org.openqed.struct.formula.CnfFormula

isUniversal() - Method in class org.openqed.struct.formula.QuantifierFormula

isUniversal() - Method in class org.openqed.struct.namedid.QuantifierOperator

iterator() - Method in class org.openqed.struct.formula.FormulaNode

iterator() - Method in class org.openqed.util.tuple.Tuple

L

LEFT_IDENTITY - Static variable in class org.openqed.struct.namedid.BinaryOperator

LEMMA - Static variable in class org.openqed.struct.namedid.SentenceRole

ListPrefType<TYPE> - Class in org.openqed.util.prefs

Literal - Class in org.openqed.struct.formula

Literal(UnaryOperator, AtomicFormula) - Constructor for class org.openqed.struct.formula.Literal

LogicalOperator - Class in org.openqed.struct.namedid

LONG - Static variable in class org.openqed.util.prefs.BasePrefs

LONG_LIST - Static variable in class org.openqed.util.prefs.BasePrefs

LONG_MAP - Static variable in class org.openqed.util.prefs.BasePrefs

M

main(String[]) - Static method in class org.openqed.tool.clausifier.Clausifier

main(String[]) - Static method in class org.openqed.tool.prover.Prover

main(String[]) - Static method in class org.openqed.tool.recognizer.Recognizer

main(String[]) - Static method in class org.openqed.tool.summarizer.Summarizer

main(String[]) - Static method in class org.openqed.tool.treeprinter.TreePrinter

MapPrefType<TYPE> - Class in org.openqed.util.prefs

memberwiseEqualsHashCode(MemberwiseEqualsHashCode.MemberVisitor) - Method in class org.openqed.parser.tptp.TptpIncludeStatement

memberwiseEqualsHashCode(MemberwiseEqualsHashCode.MemberVisitor) - Method in class org.openqed.parser.tptp.TptpSentenceStatement

memberwiseEqualsHashCode(MemberwiseEqualsHashCode.MemberVisitor) - Method in class org.openqed.parser.tptp.TptpStatement

memberwiseEqualsHashCode(MemberwiseEqualsHashCode.MemberVisitor) - Method in class org.openqed.struct.sentence.Sentence

memberwiseEqualsHashCode(MemberwiseEqualsHashCode.MemberVisitor) - Method in class org.openqed.struct.sentence.SentenceFileSource

memberwiseEqualsHashCode(MemberwiseEqualsHashCode.MemberVisitor) - Method in class org.openqed.struct.sentence.SentenceList

MemberwiseEqualsHashCode - Interface in org.openqed.util

memberwiseEqualsHashCode(MemberwiseEqualsHashCode.MemberVisitor) - Method in interface org.openqed.util.MemberwiseEqualsHashCode

memberwiseEqualsHashCode(MemberwiseEqualsHashCode.MemberVisitor) - Method in class org.openqed.util.MemberwiseEqualsHashCodeObject

MemberwiseEqualsHashCode.MemberVisitor - Interface in org.openqed.util

MemberwiseEqualsHashCodeHelper - Class in org.openqed.util

MemberwiseEqualsHashCodeObject - Class in org.openqed.util

MemberwiseEqualsHashCodeObject() - Constructor for class org.openqed.util.MemberwiseEqualsHashCodeObject

N

NamedId - Class in org.openqed.struct.namedid

NEGATED_CONJECTURE - Static variable in class org.openqed.struct.namedid.SentenceRole

NEGATED_CONJUNCTION - Static variable in class org.openqed.struct.namedid.BinaryOperator

NEGATED_CONVERSE_IMPLICATION - Static variable in class org.openqed.struct.namedid.BinaryOperator

NEGATED_DISJUNCTION - Static variable in class org.openqed.struct.namedid.BinaryOperator

NEGATED_EQUIVALENCE - Static variable in class org.openqed.struct.namedid.BinaryOperator

NEGATED_IMPLICATION - Static variable in class org.openqed.struct.namedid.BinaryOperator

NEGATED_LEFT_IDENTITY - Static variable in class org.openqed.struct.namedid.BinaryOperator

NEGATED_RIGHT_IDENTITY - Static variable in class org.openqed.struct.namedid.BinaryOperator

NEGATION - Static variable in class org.openqed.struct.namedid.UnaryOperator

NegationFormula - Class in org.openqed.struct.formula

NegationFormula(FofFormula) - Constructor for class org.openqed.struct.formula.NegationFormula

NotImplementedException - Exception in org.openqed.util

NotImplementedException() - Constructor for exception org.openqed.util.NotImplementedException

NotImplementedException(String) - Constructor for exception org.openqed.util.NotImplementedException

NullaryFormula - Class in org.openqed.struct.formula

NullaryFormula(NullaryOperator) - Constructor for class org.openqed.struct.formula.NullaryFormula

NullaryOperator - Class in org.openqed.struct.namedid

NullaryOperator.EnumValue - Enum in org.openqed.struct.namedid

O

ObjectId - Class in org.openqed.struct.namedid

ObjectTerm - Class in org.openqed.struct.formula

ObjectTerm(ObjectId) - Constructor for class org.openqed.struct.formula.ObjectTerm

onPrefChange(Pref<TYPE>, TYPE, TYPE) - Method in interface org.openqed.util.prefs.PrefListener

org.openqed.parser.tptp - package org.openqed.parser.tptp

Classes for parsing TPTP problems and generating core representational structures.

org.openqed.struct.formula - package org.openqed.struct.formula

Core structure classes for representing first order formulae (both CNF and FOF).

org.openqed.struct.misc - package org.openqed.struct.misc

Miscellaneous structure classes augmenting core structure classes.

org.openqed.struct.namedid - package org.openqed.struct.namedid

Core structure classes for naming formula components (both static enumerations and dynamic names).

org.openqed.struct.sentence - package org.openqed.struct.sentence

Core structure classes for representing sentences (annotated formulae, in TPTP nomenclature).

org.openqed.tool.clausifier - package org.openqed.tool.clausifier

Command line tool for converting FOF formulae to CNF formulae, optionally adding equality axioms.

org.openqed.tool.prover - package org.openqed.tool.prover

Command line tool for invoking very simple resolution based theorem prover (mainly place holder for future work).

org.openqed.tool.recognizer - package org.openqed.tool.recognizer

Command line tool for recognizing (parsing and validating) formula syntax and semantics.

org.openqed.tool.summarizer - package org.openqed.tool.summarizer

Command line tool for parsing formulae and generating structural summaries.

org.openqed.tool.treeprinter - package org.openqed.tool.treeprinter

Command line tool for parsing and printing formulae in various formats.

org.openqed.util - package org.openqed.util

Various utility classes.

org.openqed.util.prefs - package org.openqed.util.prefs

Classes for defining, parsing, checking, and generating help info for command line preferences.

org.openqed.util.tuple - package org.openqed.util.tuple

Classes representing generically-typed n-ary tuples.

P

parseNextSentence() - Method in class org.openqed.parser.tptp.TptpParser

parseSentenceList() - Method in class org.openqed.parser.tptp.TptpParser

parseSentenceListFromCharSequence(CharSequence) - Static method in class org.openqed.parser.tptp.TptpParser

parseSentenceListFromFile(File) - Static method in class org.openqed.parser.tptp.TptpParser

parseSentenceListFromFileName(String) - Static method in class org.openqed.parser.tptp.TptpParser

parseSentenceListFromReader(Reader) - Static method in class org.openqed.parser.tptp.TptpParser

PredicateFormula - Class in org.openqed.struct.formula

PredicateFormula(PredicateId, List<Term>) - Constructor for class org.openqed.struct.formula.PredicateFormula

PredicateFormula(PredicateId, Term...) - Constructor for class org.openqed.struct.formula.PredicateFormula

PredicateId - Class in org.openqed.struct.namedid

Pref<TYPE> - Class in org.openqed.util.prefs

PrefCheck<TYPE> - Interface in org.openqed.util.prefs

PrefListener<TYPE> - Interface in org.openqed.util.prefs

PrefsException - Exception in org.openqed.util.prefs

PrefType<TYPE> - Class in org.openqed.util.prefs

PrefType() - Constructor for class org.openqed.util.prefs.PrefType

PrimitivePrefType<TYPE> - Class in org.openqed.util.prefs

Prover - Class in org.openqed.tool.prover

Main class for launching the prover tool.

Q

QuantifierFormula - Class in org.openqed.struct.formula

QuantifierFormula(QuantifierOperator, VariableId, FofFormula) - Constructor for class org.openqed.struct.formula.QuantifierFormula

QuantifierOperator - Class in org.openqed.struct.namedid

QuantifierOperator.EnumValue - Enum in org.openqed.struct.namedid

R

Recognizer - Class in org.openqed.tool.recognizer

Main class for launching the grammar recognizer tool.

removePrefListener(PrefListener<TYPE>) - Method in class org.openqed.util.prefs.Pref

RIGHT_IDENTITY - Static variable in class org.openqed.struct.namedid.BinaryOperator

RootFormula - Class in org.openqed.struct.formula

RootFormula() - Constructor for class org.openqed.struct.formula.RootFormula

S

Sentence - Class in org.openqed.struct.sentence

Sentence(SentenceId, SentenceRole, RootFormula, SentenceSource) - Constructor for class org.openqed.struct.sentence.Sentence

Sentence(SentenceId, String, RootFormula, SentenceSource) - Constructor for class org.openqed.struct.sentence.Sentence

SentenceFileSource - Class in org.openqed.struct.sentence

SentenceFileSource(File, int, int) - Constructor for class org.openqed.struct.sentence.SentenceFileSource

SentenceId - Class in org.openqed.struct.namedid

SentenceInferenceSource - Class in org.openqed.struct.sentence

SentenceInferenceSource() - Constructor for class org.openqed.struct.sentence.SentenceInferenceSource

SentenceList - Class in org.openqed.struct.sentence

SentenceList(List<Sentence>) - Constructor for class org.openqed.struct.sentence.SentenceList

SentenceRole - Class in org.openqed.struct.namedid

SentenceRole.EnumValue - Enum in org.openqed.struct.namedid

SentenceSource - Class in org.openqed.struct.sentence

SentenceSource() - Constructor for class org.openqed.struct.sentence.SentenceSource

SentenceTheorySource - Class in org.openqed.struct.sentence

SentenceTheorySource() - Constructor for class org.openqed.struct.sentence.SentenceTheorySource

set(TYPE) - Method in class org.openqed.util.prefs.Pref

setElem0(T0) - Method in class org.openqed.util.tuple.Tuple1

setElem0(T0) - Method in class org.openqed.util.tuple.Tuple2

setElem0(T0) - Method in class org.openqed.util.tuple.Tuple3

setElem0(T0) - Method in class org.openqed.util.tuple.Tuple4

setElem0(T0) - Method in class org.openqed.util.tuple.Tuple5

setElem0(T0) - Method in class org.openqed.util.tuple.Tuple6

setElem0(T0) - Method in class org.openqed.util.tuple.Tuple7

setElem0(T0) - Method in class org.openqed.util.tuple.Tuple8

setElem0(T0) - Method in class org.openqed.util.tuple.Tuple9

setElem1(T1) - Method in class org.openqed.util.tuple.Tuple2

setElem1(T1) - Method in class org.openqed.util.tuple.Tuple3

setElem1(T1) - Method in class org.openqed.util.tuple.Tuple4

setElem1(T1) - Method in class org.openqed.util.tuple.Tuple5

setElem1(T1) - Method in class org.openqed.util.tuple.Tuple6

setElem1(T1) - Method in class org.openqed.util.tuple.Tuple7

setElem1(T1) - Method in class org.openqed.util.tuple.Tuple8

setElem1(T1) - Method in class org.openqed.util.tuple.Tuple9

setElem2(T2) - Method in class org.openqed.util.tuple.Tuple3

setElem2(T2) - Method in class org.openqed.util.tuple.Tuple4

setElem2(T2) - Method in class org.openqed.util.tuple.Tuple5

setElem2(T2) - Method in class org.openqed.util.tuple.Tuple6

setElem2(T2) - Method in class org.openqed.util.tuple.Tuple7

setElem2(T2) - Method in class org.openqed.util.tuple.Tuple8

setElem2(T2) - Method in class org.openqed.util.tuple.Tuple9

setElem3(T3) - Method in class org.openqed.util.tuple.Tuple4

setElem3(T3) - Method in class org.openqed.util.tuple.Tuple5

setElem3(T3) - Method in class org.openqed.util.tuple.Tuple6

setElem3(T3) - Method in class org.openqed.util.tuple.Tuple7

setElem3(T3) - Method in class org.openqed.util.tuple.Tuple8

setElem3(T3) - Method in class org.openqed.util.tuple.Tuple9

setElem4(T4) - Method in class org.openqed.util.tuple.Tuple5

setElem4(T4) - Method in class org.openqed.util.tuple.Tuple6

setElem4(T4) - Method in class org.openqed.util.tuple.Tuple7

setElem4(T4) - Method in class org.openqed.util.tuple.Tuple8

setElem4(T4) - Method in class org.openqed.util.tuple.Tuple9

setElem5(T5) - Method in class org.openqed.util.tuple.Tuple6

setElem5(T5) - Method in class org.openqed.util.tuple.Tuple7

setElem5(T5) - Method in class org.openqed.util.tuple.Tuple8

setElem5(T5) - Method in class org.openqed.util.tuple.Tuple9

setElem6(T6) - Method in class org.openqed.util.tuple.Tuple7

setElem6(T6) - Method in class org.openqed.util.tuple.Tuple8

setElem6(T6) - Method in class org.openqed.util.tuple.Tuple9

setElem7(T7) - Method in class org.openqed.util.tuple.Tuple8

setElem7(T7) - Method in class org.openqed.util.tuple.Tuple9

setElem8(T8) - Method in class org.openqed.util.tuple.Tuple9

SHORT - Static variable in class org.openqed.util.prefs.BasePrefs

SHORT_LIST - Static variable in class org.openqed.util.prefs.BasePrefs

SHORT_MAP - Static variable in class org.openqed.util.prefs.BasePrefs

size() - Method in class org.openqed.util.ImmutableList

size() - Method in class org.openqed.util.ImmutableListBuilder

STRING - Static variable in class org.openqed.util.prefs.BasePrefs

STRING_LIST - Static variable in class org.openqed.util.prefs.BasePrefs

STRING_MAP - Static variable in class org.openqed.util.prefs.BasePrefs

Summarizer - Class in org.openqed.tool.summarizer

Main class for launching the problem summarizer tool.

T

TAUTOLOGY - Static variable in class org.openqed.struct.namedid.BinaryOperator

TAUTOLOGY - Static variable in class org.openqed.struct.namedid.NullaryOperator

TAUTOLOGY - Static variable in class org.openqed.struct.namedid.UnaryOperator

Term - Class in org.openqed.struct.formula

Term() - Constructor for class org.openqed.struct.formula.Term

THEOREM - Static variable in class org.openqed.struct.namedid.SentenceRole

toImmutableList() - Method in class org.openqed.util.ImmutableListBuilder

toString() - Method in class org.openqed.parser.tptp.TptpHeader.TptpVersion

toString() - Method in class org.openqed.parser.tptp.TptpIncludeStatement

toString() - Method in class org.openqed.parser.tptp.TptpSentenceStatement

toString() - Method in class org.openqed.parser.tptp.TptpStatement

toString() - Method in class org.openqed.struct.formula.BinaryFormula

toString() - Method in class org.openqed.struct.formula.CnfFormula

toString() - Method in class org.openqed.struct.formula.FormulaNode

toString() - Method in class org.openqed.struct.formula.FunctionTerm

toString() - Method in class org.openqed.struct.formula.Literal

toString() - Method in class org.openqed.struct.formula.NegationFormula

toString() - Method in class org.openqed.struct.formula.NullaryFormula

toString() - Method in class org.openqed.struct.formula.ObjectTerm

toString() - Method in class org.openqed.struct.formula.PredicateFormula

toString() - Method in class org.openqed.struct.formula.QuantifierFormula

toString() - Method in class org.openqed.struct.formula.VariableTerm

toString() - Method in class org.openqed.struct.namedid.NamedId

toString() - Method in class org.openqed.struct.sentence.Sentence

toString() - Method in class org.openqed.struct.sentence.SentenceFileSource

toString() - Method in class org.openqed.struct.sentence.SentenceList

toString() - Method in class org.openqed.util.tuple.Tuple

TptpHeader - Class in org.openqed.parser.tptp

TptpHeader(FormulaSummary) - Constructor for class org.openqed.parser.tptp.TptpHeader

TptpHeader.TptpRating - Class in org.openqed.parser.tptp

TptpHeader.TptpRating(double, TptpHeader.TptpVersion) - Constructor for class org.openqed.parser.tptp.TptpHeader.TptpRating

TptpHeader.TptpVersion - Class in org.openqed.parser.tptp

TptpHeader.TptpVersion(int, int, int) - Constructor for class org.openqed.parser.tptp.TptpHeader.TptpVersion

TptpIncludeStatement - Class in org.openqed.parser.tptp

TptpIncludeStatement(File, int, int, String, List<String>) - Constructor for class org.openqed.parser.tptp.TptpIncludeStatement

TptpParser - Class in org.openqed.parser.tptp

TptpParserCommonTree - Class in org.openqed.parser.tptp

TptpParserCommonTreeAdaptor - Class in org.openqed.parser.tptp

TptpSentenceStatement - Class in org.openqed.parser.tptp

TptpSentenceStatement(File, int, int, Sentence) - Constructor for class org.openqed.parser.tptp.TptpSentenceStatement

TptpStatement - Class in org.openqed.parser.tptp

TreePrinter - Class in org.openqed.tool.treeprinter

Main class for launching the formula tree printer tool.

TRUE - Static variable in class org.openqed.struct.namedid.TruthValue

TruthValue - Class in org.openqed.struct.namedid

TruthValue.EnumValue - Enum in org.openqed.struct.namedid

Tuple - Class in org.openqed.util.tuple

Tuple1<T0> - Class in org.openqed.util.tuple

Tuple1(T0) - Constructor for class org.openqed.util.tuple.Tuple1

Tuple2<T0,T1> - Class in org.openqed.util.tuple

Tuple2(T0, T1) - Constructor for class org.openqed.util.tuple.Tuple2

Tuple3<T0,T1,T2> - Class in org.openqed.util.tuple

Tuple3(T0, T1, T2) - Constructor for class org.openqed.util.tuple.Tuple3

Tuple4<T0,T1,T2,T3> - Class in org.openqed.util.tuple

Tuple4(T0, T1, T2, T3) - Constructor for class org.openqed.util.tuple.Tuple4

Tuple5<T0,T1,T2,T3,T4> - Class in org.openqed.util.tuple

Tuple5(T0, T1, T2, T3, T4) - Constructor for class org.openqed.util.tuple.Tuple5

Tuple6<T0,T1,T2,T3,T4,T5> - Class in org.openqed.util.tuple

Tuple6(T0, T1, T2, T3, T4, T5) - Constructor for class org.openqed.util.tuple.Tuple6

Tuple7<T0,T1,T2,T3,T4,T5,T6> - Class in org.openqed.util.tuple

Tuple7(T0, T1, T2, T3, T4, T5, T6) - Constructor for class org.openqed.util.tuple.Tuple7

Tuple8<T0,T1,T2,T3,T4,T5,T6,T7> - Class in org.openqed.util.tuple

Tuple8(T0, T1, T2, T3, T4, T5, T6, T7) - Constructor for class org.openqed.util.tuple.Tuple8

Tuple9<T0,T1,T2,T3,T4,T5,T6,T7,T8> - Class in org.openqed.util.tuple

Tuple9(T0, T1, T2, T3, T4, T5, T6, T7, T8) - Constructor for class org.openqed.util.tuple.Tuple9

U

UnaryFormula - Interface in org.openqed.struct.formula

UnaryOperator - Class in org.openqed.struct.namedid

UnaryOperator.EnumValue - Enum in org.openqed.struct.namedid

UNIVERSAL - Static variable in class org.openqed.struct.namedid.QuantifierOperator

V

valueOf(String) - Static method in enum org.openqed.struct.formula.FormulaNode.FormulaNodeType

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.openqed.struct.misc.FormulaSummary.FieldId

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.openqed.struct.namedid.BinaryOperator.EnumValue

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.openqed.struct.namedid.NullaryOperator.EnumValue

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.openqed.struct.namedid.QuantifierOperator.EnumValue

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.openqed.struct.namedid.SentenceRole.EnumValue

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.openqed.struct.namedid.TruthValue.EnumValue

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.openqed.struct.namedid.UnaryOperator.EnumValue

Returns the enum constant of this type with the specified name.

values() - Static method in enum org.openqed.struct.formula.FormulaNode.FormulaNodeType

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.openqed.struct.misc.FormulaSummary.FieldId

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.openqed.struct.namedid.BinaryOperator.EnumValue

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.openqed.struct.namedid.NullaryOperator.EnumValue

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.openqed.struct.namedid.QuantifierOperator.EnumValue

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.openqed.struct.namedid.SentenceRole.EnumValue

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.openqed.struct.namedid.TruthValue.EnumValue

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.openqed.struct.namedid.UnaryOperator.EnumValue

Returns an array containing the constants of this enum type, in the order they are declared.

VariableId - Class in org.openqed.struct.namedid

VariableTerm - Class in org.openqed.struct.formula

VariableTerm(VariableId) - Constructor for class org.openqed.struct.formula.VariableTerm

visit(FormulaNodeVisitor) - Method in class org.openqed.struct.formula.BinaryFormula

visit(FormulaNodeVisitorArg<A>, A) - Method in class org.openqed.struct.formula.BinaryFormula

visit(FormulaNodeVisitorRet<R>) - Method in class org.openqed.struct.formula.BinaryFormula

visit(FormulaNodeVisitorRetArg<R, A>, A) - Method in class org.openqed.struct.formula.BinaryFormula

visit(FormulaNodeVisitor) - Method in class org.openqed.struct.formula.CnfFormula

visit(FormulaNodeVisitorArg<A>, A) - Method in class org.openqed.struct.formula.CnfFormula

visit(FormulaNodeVisitorRet<R>) - Method in class org.openqed.struct.formula.CnfFormula

visit(FormulaNodeVisitorRetArg<R, A>, A) - Method in class org.openqed.struct.formula.CnfFormula

visit(FormulaNodeVisitor) - Method in class org.openqed.struct.formula.FormulaNode

visit(FormulaNodeVisitorArg<A>, A) - Method in class org.openqed.struct.formula.FormulaNode

visit(FormulaNodeVisitorRet<R>) - Method in class org.openqed.struct.formula.FormulaNode

visit(FormulaNodeVisitorRetArg<R, A>, A) - Method in class org.openqed.struct.formula.FormulaNode

visit(FormulaNodeVisitor) - Method in class org.openqed.struct.formula.FunctionTerm

visit(FormulaNodeVisitorArg<A>, A) - Method in class org.openqed.struct.formula.FunctionTerm

visit(FormulaNodeVisitorRet<R>) - Method in class org.openqed.struct.formula.FunctionTerm

visit(FormulaNodeVisitorRetArg<R, A>, A) - Method in class org.openqed.struct.formula.FunctionTerm

visit(FormulaNodeVisitor) - Method in class org.openqed.struct.formula.Literal

visit(FormulaNodeVisitorArg<A>, A) - Method in class org.openqed.struct.formula.Literal

visit(FormulaNodeVisitorRet<R>) - Method in class org.openqed.struct.formula.Literal

visit(FormulaNodeVisitorRetArg<R, A>, A) - Method in class org.openqed.struct.formula.Literal

visit(FormulaNodeVisitor) - Method in class org.openqed.struct.formula.NegationFormula

visit(FormulaNodeVisitorArg<A>, A) - Method in class org.openqed.struct.formula.NegationFormula

visit(FormulaNodeVisitorRet<R>) - Method in class org.openqed.struct.formula.NegationFormula

visit(FormulaNodeVisitorRetArg<R, A>, A) - Method in class org.openqed.struct.formula.NegationFormula

visit(FormulaNodeVisitor) - Method in class org.openqed.struct.formula.NullaryFormula

visit(FormulaNodeVisitorArg<A>, A) - Method in class org.openqed.struct.formula.NullaryFormula

visit(FormulaNodeVisitorRet<R>) - Method in class org.openqed.struct.formula.NullaryFormula

visit(FormulaNodeVisitorRetArg<R, A>, A) - Method in class org.openqed.struct.formula.NullaryFormula

visit(FormulaNodeVisitor) - Method in class org.openqed.struct.formula.ObjectTerm

visit(FormulaNodeVisitorArg<A>, A) - Method in class org.openqed.struct.formula.ObjectTerm

visit(FormulaNodeVisitorRet<R>) - Method in class org.openqed.struct.formula.ObjectTerm

visit(FormulaNodeVisitorRetArg<R, A>, A) - Method in class org.openqed.struct.formula.ObjectTerm

visit(FormulaNodeVisitor) - Method in class org.openqed.struct.formula.PredicateFormula

visit(FormulaNodeVisitorArg<A>, A) - Method in class org.openqed.struct.formula.PredicateFormula

visit(FormulaNodeVisitorRet<R>) - Method in class org.openqed.struct.formula.PredicateFormula

visit(FormulaNodeVisitorRetArg<R, A>, A) - Method in class org.openqed.struct.formula.PredicateFormula

visit(FormulaNodeVisitor) - Method in class org.openqed.struct.formula.QuantifierFormula

visit(FormulaNodeVisitorArg<A>, A) - Method in class org.openqed.struct.formula.QuantifierFormula

visit(FormulaNodeVisitorRet<R>) - Method in class org.openqed.struct.formula.QuantifierFormula

visit(FormulaNodeVisitorRetArg<R, A>, A) - Method in class org.openqed.struct.formula.QuantifierFormula

visit(FormulaNodeVisitor) - Method in class org.openqed.struct.formula.VariableTerm

visit(FormulaNodeVisitorArg<A>, A) - Method in class org.openqed.struct.formula.VariableTerm

visit(FormulaNodeVisitorRet<R>) - Method in class org.openqed.struct.formula.VariableTerm

visit(FormulaNodeVisitorRetArg<R, A>, A) - Method in class org.openqed.struct.formula.VariableTerm

visit(Object) - Method in interface org.openqed.util.MemberwiseEqualsHashCode.MemberVisitor

visit(Object[]) - Method in interface org.openqed.util.MemberwiseEqualsHashCode.MemberVisitor

visit(boolean[]) - Method in interface org.openqed.util.MemberwiseEqualsHashCode.MemberVisitor

visit(byte[]) - Method in interface org.openqed.util.MemberwiseEqualsHashCode.MemberVisitor

visit(char[]) - Method in interface org.openqed.util.MemberwiseEqualsHashCode.MemberVisitor

visit(short[]) - Method in interface org.openqed.util.MemberwiseEqualsHashCode.MemberVisitor

visit(int[]) - Method in interface org.openqed.util.MemberwiseEqualsHashCode.MemberVisitor

visit(long[]) - Method in interface org.openqed.util.MemberwiseEqualsHashCode.MemberVisitor

visit(float[]) - Method in interface org.openqed.util.MemberwiseEqualsHashCode.MemberVisitor

visit(double[]) - Method in interface org.openqed.util.MemberwiseEqualsHashCode.MemberVisitor

visitChildren(FormulaNodeVisitor) - Method in class org.openqed.struct.formula.FormulaNode

visitChildren(FormulaNodeVisitorArg<A>, A) - Method in class org.openqed.struct.formula.FormulaNode

visitChildren(FormulaNodeVisitorRet<R>) - Method in class org.openqed.struct.formula.FormulaNode

visitChildren(FormulaNodeVisitorRetArg<R, A>, A) - Method in class org.openqed.struct.formula.FormulaNode

visitRecursive(FormulaNodeVisitor) - Method in class org.openqed.struct.formula.FormulaNode

visitRecursive(FormulaNodeVisitorArg<A>, A) - Method in class org.openqed.struct.formula.FormulaNode

A B C D E F G H I L M N O P Q R S T U V