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