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

Q

quant - Static variable in class com.articulate.sigma.semRewrite.Lexer

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.

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

question - Static variable in class com.articulate.sigma.semRewrite.Interpreter

quote(String) - Static method in class com.articulate.sigma.StringUtil

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

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

QuotedString - Static variable in class com.articulate.sigma.semRewrite.Lexer

qwords - Static variable in class com.articulate.sigma.semRewrite.Interpreter

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