Constant Field Values

Contents

• com.articulate.*

com.articulate.*

com.articulate.sigma.Base64

Modifier and Type	Constant Field	Value
public static final int	DECODE	0
public static final int	DO_BREAK_LINES	8
public static final int	DONT_GUNZIP	4
public static final int	ENCODE	1
public static final int	GZIP	2
public static final int	NO_OPTIONS	0
public static final int	ORDERED	32
public static final int	URL_SAFE	16

com.articulate.sigma.DocGen

Modifier and Type	Constant Field	Value
protected static final java.lang.String	DEFAULT_KEY	"docgen_default"
protected static final java.lang.String	F_SI	"si"
protected static final java.lang.String	SP2	" "

com.articulate.sigma.Formula

Modifier and Type	Constant Field	Value
public static final java.lang.String	AND	"and"
public static final java.lang.String	classSymbolSuffix	"__t"
public static final java.lang.String	DIVIDEFN	"DivisionFn"
public static final java.lang.String	EQUAL	"equal"
public static final java.lang.String	EQUANT	"exists"
public static final java.lang.String	FN_SUFF	"Fn"
public static final java.lang.String	GT	"greaterThan"
public static final java.lang.String	GTET	"greaterThanOrEqualTo"
public static final java.lang.String	IF	"=>"
public static final java.lang.String	IFF	"<=>"
public static final java.lang.String	KAPPAFN	"KappaFn"
public static final java.lang.String	LOG_FALSE	"False"
public static final java.lang.String	LOG_TRUE	"True"
public static final java.lang.String	LP	"("
public static final java.lang.String	LT	"lessThan"
public static final java.lang.String	LTET	"lessThanOrEqualTo"
protected static final int	MAX_PREDICATE_ARITY	7
public static final java.lang.String	MINUSFN	"SubtractionFn"
public static final java.lang.String	NOT	"not"
public static final java.lang.String	OR	"or"
public static final java.lang.String	PLUSFN	"AdditionFn"
public static final java.lang.String	R_PREF	"@"
public static final java.lang.String	RP	")"
public static final java.lang.String	RVAR	"@ROW"
public static final java.lang.String	SK_PREF	"Sk"
public static final java.lang.String	SKFN	"SkFn"
public static final java.lang.String	SPACE	" "
public static final java.lang.String	termMentionSuffix	"__m"
public static final java.lang.String	termSymbolPrefix	"s__"
public static final java.lang.String	termVariablePrefix	"V__"
public static final java.lang.String	TIMESFN	"MultiplicationFn"
public static final java.lang.String	UQUANT	"forall"
public static final java.lang.String	V_PREF	"?"
public static final java.lang.String	VVAR	"?VAR"
public static final java.lang.String	VX	"?X"

com.articulate.sigma.Hotel

Modifier and Type	Constant Field	Value
public static final int	geocodeLimit	100

com.articulate.sigma.KB

Modifier and Type	Constant Field	Value
public static final java.lang.String	_cacheFileSuffix	"_Cache.kif"
public static final java.lang.String	_userAssertionsString	"_UserAssertions.kif"

com.articulate.sigma.KBcache

Modifier and Type	Constant Field	Value
public static final java.lang.String	_cacheFileSuffix	"_Cache.kif"

com.articulate.sigma.KBmanager

Modifier and Type	Constant Field	Value
protected static final java.lang.String	CONFIG_FILE	"config.xml"
public static final int	USE_CACHE	4
public static final int	USE_HOLDS_PREFIX	2
public static final int	USE_TPTP	8
public static final int	USE_TYPE_PREFIX	1

com.articulate.sigma.KIF

Modifier and Type	Constant Field	Value
public static final int	NORMAL_PARSE_MODE	1
public static final int	RELAXED_PARSE_MODE	2

com.articulate.sigma.PasswordService

Modifier and Type	Constant Field	Value
public static final java.lang.String	JDBCString	"jdbc:h2:~/var/passwd"

com.articulate.sigma.ProofStep

Modifier and Type	Constant Field	Value
public static final java.lang.String	INSTANTIATED_QUERY	"[Instantiated Query]"
public static final java.lang.String	NEGATED_QUERY	"[Negated Query]"
public static final java.lang.String	QUERY	"[Query]"

com.articulate.sigma.StreamTokenizer_s

Modifier and Type	Constant Field	Value
public static final int	TT_EOF	-1
public static final int	TT_EOL	10
public static final int	TT_NUMBER	-2
public static final int	TT_WORD	-3

com.articulate.sigma.trans.SUMOKBtoTPTPKB

Modifier and Type	Constant Field	Value
public static final boolean	filterSimpleOnly	false

com.articulate.sigma.wordNet.WordNet

Modifier and Type	Constant Field	Value
public static final int	ADJECTIVE	3
public static final int	ADJECTIVE_SATELLITE	5
public static final int	ADVERB	4
public static final int	NOUN	1
public static final int	VERB	2