com.cyc.cycjava.cycl.inference
Class arete

java.lang.Object
  extended by com.cyc.tool.subl.util.SubLTrampolineFile
      extended by com.cyc.tool.subl.util.SubLTranslatedFile
          extended by com.cyc.cycjava.cycl.inference.arete
All Implemented Interfaces:
CommonSymbols, SubLFile

public final class arete
extends SubLTranslatedFile


Nested Class Summary
 
Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
SubLTranslatedFile.SubL
 
Field Summary
static SubLSymbol $arete_log_kb_touchesP$
          When non-nil, logs every KB access in one of three dictionaries
static SubLSymbol $arete_outlier_timeout$
           
static SubLObject $const88$performSubL
           
static SubLObject $const89$trueSubL
           
static SubLObject $const91$and
           
static SubLSymbol $kw13$ALLOW_OTHER_KEYS
           
static SubLSymbol $kw14$QUERY_SPEC_SET
           
static SubLSymbol $kw15$FILENAME
           
static SubLSymbol $kw16$COMMENT
           
static SubLSymbol $kw17$OVERRIDING_QUERY_PROPERTIES
           
static SubLSymbol $kw18$METRICS
           
static SubLSymbol $kw20$OUTLIER_TIMEOUT
           
static SubLSymbol $kw22$INCREMENTAL
           
static SubLSymbol $kw23$INCLUDE_RESULTS
           
static SubLSymbol $kw24$SKIP
           
static SubLSymbol $kw25$COUNT
           
static SubLSymbol $kw26$DIRECTORY
           
static SubLSymbol $kw33$UNDEFINED
           
static SubLSymbol $kw34$BASELINE
           
static SubLSymbol $kw35$EXPERIMENT
           
static SubLSymbol $kw37$OUTPUT
           
static SubLSymbol $kw45$HALT_REASON
           
static SubLSymbol $kw46$ANSWER_COUNT
           
static SubLSymbol $kw47$TOTAL_TIME
           
static SubLSymbol $kw48$TIME_TO_FIRST_ANSWER
           
static SubLSymbol $kw49$TIME_TO_LAST_ANSWER
           
static SubLSymbol $kw5$MACHINE
           
static SubLSymbol $kw50$MAX_TRANSFORMATION_DEPTH
           
static SubLSymbol $kw51$BROWSABLE_
           
static SubLSymbol $kw52$CONTINUABLE_
           
static SubLSymbol $kw6$DATE
           
static SubLSymbol $kw73$BOTH
           
static SubLSymbol $kw76$ALL
           
static SubLSymbol $kw83$ORIGIN
           
static SubLSymbol $kw84$QUERY_RUNS
           
static SubLSymbol $kw9$UNINITIALIZED
           
static SubLSymbol $kw90$CONDITIONAL_SENTENCE_
           
static SubLSymbol $kw92$IGNORE
           
static SubLList $list11
           
static SubLList $list12
           
static SubLList $list19
           
static SubLList $list41
           
static SubLList $list43
           
static SubLList $list53
           
static SubLList $list54
           
static SubLList $list55
           
static SubLList $list57
           
static SubLList $list58
           
static SubLList $list59
           
static SubLList $list70
           
static SubLList $list72
           
static SubLList $list75
           
static SubLList $list78
           
static SubLList $list94
           
static SubLString $str0$_cyc_projects_inference_arete_exp
           
static SubLString $str1$_
           
static SubLString $str10$tkb_training_with_auto_destroy_re
           
static SubLString $str2$cfasl
           
static SubLString $str3$_cyc_projects_inference_arete_ana
           
static SubLString $str36$_s_already_exists__specify_OVERWR
           
static SubLString $str38$Unable_to_open__S
           
static SubLString $str39$_________________________________
           
static SubLString $str4$txt
           
static SubLString $str40$_a__
           
static SubLString $str42$Summary_Statistics___
           
static SubLString $str44$_________________________________
           
static SubLString $str60$_s_Histogram___
           
static SubLString $str62$_s_Data___
           
static SubLString $str63$_s_Tuples___
           
static SubLString $str65$_s_applied_to__s___
           
static SubLString $str68$_s_____s__
           
static SubLString $str7$kbq__8D__6D__A
           
static SubLString $str79$Interning_all_assertion_conses
           
static SubLString $str81$Looking_for_shared_nauts
           
static SubLString $str85$
           
static SubLString $str86$__Hybridized_with___
           
static SubLSymbol $sym21$_ARETE_OUTLIER_TIMEOUT_
           
static SubLSymbol $sym27$FILENAME_VAR
           
static SubLSymbol $sym28$FULL_FILENAME
           
static SubLSymbol $sym29$CLET
           
static SubLSymbol $sym30$FWHEN
           
static SubLSymbol $sym31$ARETE_EXPERIMENT_FULL_FILENAME
           
static SubLSymbol $sym32$RUN_KBQ_EXPERIMENT
           
static SubLSymbol $sym56$SAFE_DIFFERENCE
           
static SubLSymbol $sym61$SAFE__
           
static SubLSymbol $sym64$FIRST
           
static SubLSymbol $sym66$MAPCAR
           
static SubLSymbol $sym67$LIST
           
static SubLSymbol $sym69$ARETE_GENERATE_PROPERTY_CORRELATION_PLOT
           
static SubLSymbol $sym71$ARETE_GENERATE_SORTED_PROPERTY_COMPARISON
           
static SubLSymbol $sym74$ARETE_GENERATE_SORTED_PROPERTIES_COMPARISON
           
static SubLSymbol $sym77$ARETE_GENERATE_SORTED_PROPERTY_DISPLAY
           
static SubLSymbol $sym8$_KBQ_CONTROL_QUERY_SET_RUN_
           
static SubLSymbol $sym80$STRINGP
           
static SubLSymbol $sym82$KBQ_QUERY_RUN_BETTER_
           
static SubLSymbol $sym87$SUBL_PERFORMATIVE_P
           
static SubLSymbol $sym93$CONSTANT_P
           
static SubLFile me
           
static java.lang.String myName
           
 
Fields inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
EMPTY_SUBL_OBJECT_ARRAY
 
Fields inherited from interface com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols
ANSWER_TAG, APPEND_KEYWORD, APPEND_STACK_TRACES_TO_ERROR_MESSAGES, AREF, ASSEMBLE_FIXNUMS_TO_INTEGER, ATOM, BIGNUMP, BINARY_KEYWORD, BINDING_TYPE, BOOLEANP, CAAR, CADR, CAND, CAR, CCATCH, CDEC, CDESTRUCTURING_BIND, CDO, CDO_ALL_SYMBOLS, CDO_EXTERNAL_SYMBOLS, CDO_SYMBOLS, CDOHASH, CDOLIST, CDOTIMES, CDR, CHAR, CHAR_E_SYMBOL, CHAR_EQUAL_SYMBOL, CHAR_GREATER_THAN_OR_EQUAL_SYMBOL, CHAR_GREATER_THAN_SYMBOL, CHAR_GT_SYMBOL, CHAR_GTE_SYMBOL, CHAR_LESS_THAN_OR_EQUAL_SYMBOL, CHAR_LESS_THAN_SYMBOL, CHAR_LT_SYMBOL, CHAR_LTE_SYMBOL, CHAR_NE_SYMBOL, CHAR_NOT_EQUAL_SYMBOL, CHARACTERP, CHECK_TYPE, CINC, CLET, CMULTIPLE_VALUE_BIND, CNOT, CONS, CONSP, CONSTANT, COR, CPOP, CPROGV, CPUSH, CPUSHNEW, CREATE_KEYWORD, CSETF, CSETQ, CSOME, CTIME, CUNWIND_PROTECT, CVS_ID, DEBUG_IO, DECLAIM, DECLARE, DEFCONSTANT, DEFINE, DEFLEXICAL, DEFMACRO, DEFPARAMETER, DEFVAR, DIRECTION_KEYWORD, DYNAMIC, EIGHT_INTEGER, EIGHTEEN_INTEGER, ELEMENT_TYPE_KEYWORD, ELEVEN_INTEGER, END_KEYWORD, ENFORCE_MUST, ENFORCE_TYPE, EQ, EQL, EQUAL, EQUALP, ERROR, ERROR_KEYWORD, ERROR_OUTPUT, EVAL, EXTERNAL_FORMAT_KEYWORD, EXTERNAL_KEYWORD, FIF, FIFTEEN_INTEGER, FIRST, FIVE_INTEGER, FIXNUMP, FLOATP, FOUR_INTEGER, FOURTEEN_INTEGER, FUNCTION, FUNCTION_SPEC_P, FUNCTIONP, FUNLESS, FWHEN, GET, GETHASH, GETHASH_WITHOUT_VALUES, GUID_P, HASH_TABLE_ITERATOR_P, HASH_TABLE_P, IDENTITY, IF_DOES_NOT_EXIST_KEYWORD, IF_EXISTS_KEYWORD, IGNORE, INITIALIZATION_TYPE, INITIALIZER, INPUT_KEYWORD, INPUT_STREAM_P, INTEGERP, INTERNAL_KEYWORD, IO_KEYWORD, KEYWORDP, KILL_KEYWORD, LAMBDA_SYMBOL, LEXICAL, LIST, LISTP, LISTS, LOCK_P, LONG_BIGNUM_P, MACRO_ENV, MACRO_FORM, MEDIUM_BIGNUM_P, MEMBER, MINUS_ONE_INTEGER, MULTIPLE_VALUE_LIST, MUST, NCONC, NEW_VERSION_KEYWORD, NIL, NINE_INTEGER, NINETEEN_INTEGER, NREVERSE, NTH, NTH_VALUE, NULL, NULL_INPUT, NULL_OUTPUT, NUM_E_SYMBOL, NUM_GT_SYMBOL, NUM_GTE_SYMBOL, NUM_LT_SYMBOL, NUM_LTE_SYMBOL, NUM_NE_SYMBOL, NUMBERP, ONE_HUNDRED_THIRTY_SEVEN_INTEGER, ONE_HUNDRED_TWENTY_SEVEN_INTEGER, ONE_INTEGER, ONE_THOUSAND_INTEGER, OPTIONAL_SYMBOL, OTHERWISE, OUTPUT_KEYWORD, OUTPUT_STREAM_P, OVERWRITE_KEYWORD, PACKAGEP, PCASE, PCOND, PIF, PROBE_KEYWORD, PROCESS_TO_END, PROCESSP, PROCLAIM, PROGN, PUNLESS, PWHEN, QUERY_IO, QUIT, QUOTE, RENAME_AND_DELETE_KEYWORD, REST_SYMBOL, RET, RET_NIL, RET_T, RETURN_TAG, REVERSE, RW_LOCK_P, SECOND, SEQUENCEP, SEVEN_INTEGER, SEVENTEEN_INTEGER, SHORT_BIGNUM_P, SHOW_STACK_TRACES, SIX_INTEGER, SIXTEEN_INTEGER, SIXTY_FOUR_INTEGER, SORT, SSS, STANDARD_INPUT, STANDARD_OUTPUT, START_KEYWORD, STREAMP, STRING_E_SYMBOL, STRING_EQUAL_SYMBOL, STRING_GREATER_THAN_OR_EQUAL_SYMBOL, STRING_GREATER_THAN_SYMBOL, STRING_GT_SYMBOL, STRING_GTE_SYMBOL, STRING_LESS_THAN_OR_EQUAL_SYMBOL, STRING_LESS_THAN_SYMBOL, STRING_LT_SYMBOL, STRING_LTE_SYMBOL, STRING_NE_SYMBOL, STRING_NOT_EQUAL_SYMBOL, STRINGP, STRUCTURE_P, SUPERSEDE_KEYWORD, SUSPEND_TYPE_CHECKING, SYMBOL_FUNCTION, SYMBOL_VALUE, SYMBOLP, T, TEN_INTEGER, TERMINAL_IO, TEXT_KEYWORD, THIRTEEN_INTEGER, THIRTY_FOUR_INTEGER, THIRTY_THREE_INTEGER, THIRTY_TWO_INTEGER, THREE_INTEGER, TRACE_OUTPUT, TRUE, TWELVE_INTEGER, TWENTY_INTEGER, TWO_HUNDRED_FIFTY_FOUR_INTEGER, TWO_HUNDRED_FORTY_FOUR_INTEGER, TWO_INTEGER, UNDECLARED, UNPROVIDED, VALUES, VECTOR, VECTORP, WITH_ERROR_HANDLER, WITH_STATIC_AREA, WITH_THREAD_PRIVATE_AREA, WITH_WORKING_AREA, WORLD, ZERO_DOUBLE, ZERO_INTEGER
 
Method Summary
static SubLObject declare_arete_file()
           
 void declareFunctions()
          Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject init_arete_file()
           
 void initializeVariables()
          Initializes all global variables and private internal variables for constants defined in the file.
 void runTopLevelForms()
          Runs all top-level forms in order.
static SubLObject setup_arete_file()
           
 
Methods inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
extractFunctionNamed
 
Methods inherited from class com.cyc.tool.subl.util.SubLTrampolineFile
checkType, enforceType, extractBinaryFunc, extractCount, extractEnd, extractEndUsingSize, extractPackage, extractStart, extractUnaryFunc, main
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

me

public static final SubLFile me

myName

public static final java.lang.String myName
See Also:
Constant Field Values

$arete_log_kb_touchesP$

public static SubLSymbol $arete_log_kb_touchesP$
When non-nil, logs every KB access in one of three dictionaries


$arete_outlier_timeout$

public static SubLSymbol $arete_outlier_timeout$

$str0$_cyc_projects_inference_arete_exp

public static final SubLString $str0$_cyc_projects_inference_arete_exp

$str1$_

public static final SubLString $str1$_

$str2$cfasl

public static final SubLString $str2$cfasl

$str3$_cyc_projects_inference_arete_ana

public static final SubLString $str3$_cyc_projects_inference_arete_ana

$str4$txt

public static final SubLString $str4$txt

$kw5$MACHINE

public static final SubLSymbol $kw5$MACHINE

$kw6$DATE

public static final SubLSymbol $kw6$DATE

$str7$kbq__8D__6D__A

public static final SubLString $str7$kbq__8D__6D__A

$sym8$_KBQ_CONTROL_QUERY_SET_RUN_

public static final SubLSymbol $sym8$_KBQ_CONTROL_QUERY_SET_RUN_

$kw9$UNINITIALIZED

public static final SubLSymbol $kw9$UNINITIALIZED

$str10$tkb_training_with_auto_destroy_re

public static final SubLString $str10$tkb_training_with_auto_destroy_re

$list11

public static final SubLList $list11

$list12

public static final SubLList $list12

$kw13$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw13$ALLOW_OTHER_KEYS

$kw14$QUERY_SPEC_SET

public static final SubLSymbol $kw14$QUERY_SPEC_SET

$kw15$FILENAME

public static final SubLSymbol $kw15$FILENAME

$kw16$COMMENT

public static final SubLSymbol $kw16$COMMENT

$kw17$OVERRIDING_QUERY_PROPERTIES

public static final SubLSymbol $kw17$OVERRIDING_QUERY_PROPERTIES

$kw18$METRICS

public static final SubLSymbol $kw18$METRICS

$list19

public static final SubLList $list19

$kw20$OUTLIER_TIMEOUT

public static final SubLSymbol $kw20$OUTLIER_TIMEOUT

$sym21$_ARETE_OUTLIER_TIMEOUT_

public static final SubLSymbol $sym21$_ARETE_OUTLIER_TIMEOUT_

$kw22$INCREMENTAL

public static final SubLSymbol $kw22$INCREMENTAL

$kw23$INCLUDE_RESULTS

public static final SubLSymbol $kw23$INCLUDE_RESULTS

$kw24$SKIP

public static final SubLSymbol $kw24$SKIP

$kw25$COUNT

public static final SubLSymbol $kw25$COUNT

$kw26$DIRECTORY

public static final SubLSymbol $kw26$DIRECTORY

$sym27$FILENAME_VAR

public static final SubLSymbol $sym27$FILENAME_VAR

$sym28$FULL_FILENAME

public static final SubLSymbol $sym28$FULL_FILENAME

$sym29$CLET

public static final SubLSymbol $sym29$CLET

$sym30$FWHEN

public static final SubLSymbol $sym30$FWHEN

$sym31$ARETE_EXPERIMENT_FULL_FILENAME

public static final SubLSymbol $sym31$ARETE_EXPERIMENT_FULL_FILENAME

$sym32$RUN_KBQ_EXPERIMENT

public static final SubLSymbol $sym32$RUN_KBQ_EXPERIMENT

$kw33$UNDEFINED

public static final SubLSymbol $kw33$UNDEFINED

$kw34$BASELINE

public static final SubLSymbol $kw34$BASELINE

$kw35$EXPERIMENT

public static final SubLSymbol $kw35$EXPERIMENT

$str36$_s_already_exists__specify_OVERWR

public static final SubLString $str36$_s_already_exists__specify_OVERWR

$kw37$OUTPUT

public static final SubLSymbol $kw37$OUTPUT

$str38$Unable_to_open__S

public static final SubLString $str38$Unable_to_open__S

$str39$_________________________________

public static final SubLString $str39$_________________________________

$str40$_a__

public static final SubLString $str40$_a__

$list41

public static final SubLList $list41

$str42$Summary_Statistics___

public static final SubLString $str42$Summary_Statistics___

$list43

public static final SubLList $list43

$str44$_________________________________

public static final SubLString $str44$_________________________________

$kw45$HALT_REASON

public static final SubLSymbol $kw45$HALT_REASON

$kw46$ANSWER_COUNT

public static final SubLSymbol $kw46$ANSWER_COUNT

$kw47$TOTAL_TIME

public static final SubLSymbol $kw47$TOTAL_TIME

$kw48$TIME_TO_FIRST_ANSWER

public static final SubLSymbol $kw48$TIME_TO_FIRST_ANSWER

$kw49$TIME_TO_LAST_ANSWER

public static final SubLSymbol $kw49$TIME_TO_LAST_ANSWER

$kw50$MAX_TRANSFORMATION_DEPTH

public static final SubLSymbol $kw50$MAX_TRANSFORMATION_DEPTH

$kw51$BROWSABLE_

public static final SubLSymbol $kw51$BROWSABLE_

$kw52$CONTINUABLE_

public static final SubLSymbol $kw52$CONTINUABLE_

$list53

public static final SubLList $list53

$list54

public static final SubLList $list54

$list55

public static final SubLList $list55

$sym56$SAFE_DIFFERENCE

public static final SubLSymbol $sym56$SAFE_DIFFERENCE

$list57

public static final SubLList $list57

$list58

public static final SubLList $list58

$list59

public static final SubLList $list59

$str60$_s_Histogram___

public static final SubLString $str60$_s_Histogram___

$sym61$SAFE__

public static final SubLSymbol $sym61$SAFE__

$str62$_s_Data___

public static final SubLString $str62$_s_Data___

$str63$_s_Tuples___

public static final SubLString $str63$_s_Tuples___

$sym64$FIRST

public static final SubLSymbol $sym64$FIRST

$str65$_s_applied_to__s___

public static final SubLString $str65$_s_applied_to__s___

$sym66$MAPCAR

public static final SubLSymbol $sym66$MAPCAR

$sym67$LIST

public static final SubLSymbol $sym67$LIST

$str68$_s_____s__

public static final SubLString $str68$_s_____s__

$sym69$ARETE_GENERATE_PROPERTY_CORRELATION_PLOT

public static final SubLSymbol $sym69$ARETE_GENERATE_PROPERTY_CORRELATION_PLOT

$list70

public static final SubLList $list70

$sym71$ARETE_GENERATE_SORTED_PROPERTY_COMPARISON

public static final SubLSymbol $sym71$ARETE_GENERATE_SORTED_PROPERTY_COMPARISON

$list72

public static final SubLList $list72

$kw73$BOTH

public static final SubLSymbol $kw73$BOTH

$sym74$ARETE_GENERATE_SORTED_PROPERTIES_COMPARISON

public static final SubLSymbol $sym74$ARETE_GENERATE_SORTED_PROPERTIES_COMPARISON

$list75

public static final SubLList $list75

$kw76$ALL

public static final SubLSymbol $kw76$ALL

$sym77$ARETE_GENERATE_SORTED_PROPERTY_DISPLAY

public static final SubLSymbol $sym77$ARETE_GENERATE_SORTED_PROPERTY_DISPLAY

$list78

public static final SubLList $list78

$str79$Interning_all_assertion_conses

public static final SubLString $str79$Interning_all_assertion_conses

$sym80$STRINGP

public static final SubLSymbol $sym80$STRINGP

$str81$Looking_for_shared_nauts

public static final SubLString $str81$Looking_for_shared_nauts

$sym82$KBQ_QUERY_RUN_BETTER_

public static final SubLSymbol $sym82$KBQ_QUERY_RUN_BETTER_

$kw83$ORIGIN

public static final SubLSymbol $kw83$ORIGIN

$kw84$QUERY_RUNS

public static final SubLSymbol $kw84$QUERY_RUNS

$str85$

public static final SubLString $str85$

$str86$__Hybridized_with___

public static final SubLString $str86$__Hybridized_with___

$sym87$SUBL_PERFORMATIVE_P

public static final SubLSymbol $sym87$SUBL_PERFORMATIVE_P

$const88$performSubL

public static final SubLObject $const88$performSubL

$const89$trueSubL

public static final SubLObject $const89$trueSubL

$kw90$CONDITIONAL_SENTENCE_

public static final SubLSymbol $kw90$CONDITIONAL_SENTENCE_

$const91$and

public static final SubLObject $const91$and

$kw92$IGNORE

public static final SubLSymbol $kw92$IGNORE

$sym93$CONSTANT_P

public static final SubLSymbol $sym93$CONSTANT_P

$list94

public static final SubLList $list94
Method Detail

declare_arete_file

public static final SubLObject declare_arete_file()

init_arete_file

public static final SubLObject init_arete_file()

setup_arete_file

public static final SubLObject setup_arete_file()

declareFunctions

public void declareFunctions()
Description copied from interface: SubLFile
Declares the mapping between functions and symbols for all named functions defined in the file. Like CRTL define.


initializeVariables

public void initializeVariables()
Description copied from interface: SubLFile
Initializes all global variables and private internal variables for constants defined in the file. Like CRTL init.


runTopLevelForms

public void runTopLevelForms()
Description copied from interface: SubLFile
Runs all top-level forms in order. Like CRTL setup.