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

_

_cacheFileSuffix - Static variable in class com.articulate.sigma.KB

The String constant that is the suffix for files of cached assertions.

_cacheFileSuffix - Static variable in class com.articulate.sigma.KBcache

_DEFAULT_TIMEOUT - Static variable in class com.articulate.sigma.InferenceTestSuite

Default timeout for queries with unspecified timeouts or override when selected

_f - Variable in class com.articulate.sigma.trans.SUMOformulaToTPTPformula

_userAssertionsString - Static variable in class com.articulate.sigma.KB

The String constant that is the suffix for file of user assertions.

_userAssertionsTFF - Static variable in class com.articulate.sigma.KB

The String constant that is the suffix for TFF file of user assertions.

_userAssertionsTHF - Static variable in class com.articulate.sigma.KB

The String constant that is the suffix for THF file of user assertions.

_userAssertionsTPTP - Static variable in class com.articulate.sigma.KB

The String constant that is the suffix for TPTP file of user assertions.

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