Index

A B C D E F G H I J K L M N O P Q R S T U V W X _
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

Q

qChildren - Static variable in class com.articulate.sigma.trans.SUMOKBtoTFAKB

qlist - Variable in class com.articulate.sigma.Formula

The Formula's Question List

qlist - Variable in class com.articulate.sigma.tp.ECNF

qlist - Variable in class com.articulate.sigma.tp.EProver

qlist - Variable in class com.articulate.sigma.tp.LEO

qlist - Variable in class com.articulate.sigma.tp.Vampire

qlist - Static variable in class com.articulate.sigma.trans.SUMOformulaToTPTPformula

qNotI - Static variable in class com.articulate.sigma.trans.SUMOKBtoTFAKB

qNotL - Static variable in class com.articulate.sigma.trans.SUMOKBtoTFAKB

qNotR - Static variable in class com.articulate.sigma.trans.SUMOKBtoTFAKB

quantButNotBuiltInSubtype(String, String) - Static method in class com.articulate.sigma.trans.SUMOKBtoTFAKB

Test whether the term is a subclass of Quantity but not a subclass of one of the three TFF built-in types of $int, $rat and $real

quantButNotBuiltInType(String, String) - Static method in class com.articulate.sigma.trans.SUMOKBtoTFAKB

Test whether the term is a subclass of Quantity but not a one of the three TFF built-in types of $int, $rat and $real or subclass

QUANTIFIED_VARS - Enum constant in enum class com.articulate.sigma.nlg.StackElement.StackState

quantifierNotInBody(KB) - Static method in class com.articulate.sigma.Diagnostics

Find cases where a variable appears in a quantifier list, but not in the body of the quantified expression.

quantifierNotInBody(KB, String) - Static method in class com.articulate.sigma.Diagnostics

Find cases where a variable appears in a quantifier list, but not in the body of the quantified expression.

quantifierNotInStatement(Formula) - Static method in class com.articulate.sigma.Diagnostics

quantVarsCache - Variable in class com.articulate.sigma.Formula

quantVarsCache - Variable in class com.articulate.sigma.FormulaAST

query - Variable in class com.articulate.sigma.InferenceTestSuite.InfTestData

query(String, int) - Method in class com.articulate.sigma.PythonAPI

QUERY - Static variable in class com.articulate.sigma.ProofStep

QUEUED - Enum constant in enum class com.articulate.sigma.CCheckManager.CCheckStatus

queueDepth() - Static method in class com.articulate.sigma.EditorWorkerQueue

quoteChar(int) - Method in class com.articulate.sigma.StreamTokenizer_s

Specifies that matching pairs of this character delimit string constants in this tokenizer.

A B C D E F G H I J K L M N O P Q R S T U V W X _
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form