gt_vars

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl
Class gt_vars

java.lang.Object
  com.cyc.tool.subl.util.SubLTrampolineFile
      com.cyc.tool.subl.util.SubLTranslatedFile
          com.cyc.cycjava.cycl.gt_vars

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class gt_vars
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary

Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
`SubLTranslatedFile.SubL`

Field Summary
`static SubLSymbol`	$gt_accessors$
`static SubLSymbol`	$gt_answers_cutoff$
`static SubLSymbol`	$gt_answers_cutoffP$
`static SubLSymbol`	$gt_answers_so_far$
`static SubLSymbol`	$gt_base_fn$
`static SubLSymbol`	$gt_combine_fn$
`static SubLSymbol`	$gt_compare_fn$
`static SubLSymbol`	$gt_compose_fn$
`static SubLSymbol`	$gt_compose_gather_arg$
`static SubLSymbol`	$gt_compose_index_arg$
`static SubLSymbol`	$gt_compose_pred$
`static SubLSymbol`	$gt_cyclical_edges$
`static SubLSymbol`	$gt_depth_cutoff$
`static SubLSymbol`	$gt_depth_cutoffP$
`static SubLSymbol`	$gt_dispatch_table$
`static SubLSymbol`	$gt_doneP$
`static SubLSymbol`	$gt_edge_list_returnP$
`static SubLSymbol`	$gt_edge_list$
`static SubLSymbol`	$gt_equality_fn$
`static SubLSymbol`	$gt_gather_arg$
`static SubLSymbol`	$gt_gather_fn$
`static SubLSymbol`	$gt_gather$
`static SubLSymbol`	$gt_goal_node$
`static SubLSymbol`	$gt_handle_non_transitive_predicateP$
`static SubLSymbol`	$gt_index_arg$
`static SubLSymbol`	$gt_index$
`static SubLSymbol`	$gt_initial_time$
`static SubLSymbol`	$gt_link_support$ the current link assertion or hl support.
`static SubLSymbol`	$gt_link_type$
`static SubLSymbol`	$gt_list_of_path_lengths$
`static SubLSymbol`	$gt_marking_table$
`static SubLSymbol`	$gt_max_nodes_direction$
`static SubLSymbol`	$gt_methods$
`static SubLSymbol`	$gt_mode$
`static SubLSymbol`	$gt_modes$
`static SubLSymbol`	$gt_parameters$
`static SubLSymbol`	$gt_path_length$
`static SubLSymbol`	$gt_path_list_of_assertions$
`static SubLSymbol`	$gt_path_list_of_mts$
`static SubLSymbol`	$gt_path_list_of_nodes$
`static SubLSymbol`	$gt_pred$
`static SubLSymbol`	$gt_prev_depth_cutoff$
`static SubLSymbol`	$gt_query$
`static SubLSymbol`	$gt_result$
`static SubLSymbol`	$gt_searchedP$
`static SubLSymbol`	$gt_searcher$
`static SubLSymbol`	$gt_step_fn$
`static SubLSymbol`	$gt_target_marking_table$
`static SubLSymbol`	$gt_target$
`static SubLSymbol`	$gt_test_level$
`static SubLSymbol`	$gt_time_cutoff$
`static SubLSymbol`	$gt_time_cutoffP$
`static SubLSymbol`	$gt_trace_level$
`static SubLSymbol`	$gt_transitive_via_arg_activeP$
`static SubLSymbol`	$gt_truth$
`static SubLSymbol`	$gt_use_spec_predsP$
`static SubLSymbol`	$gt_warnings$
`static SubLSymbol`	$gt_what_mts_goal_node$
`static SubLSymbol`	$gt_what_mts_result$
`static SubLSymbol`	$gt_within_transitive_via_argP$
`static SubLSymbol`	`$kw130$ACCESSORS`
`static SubLSymbol`	`$kw131$PREDICATE`
`static SubLSymbol`	`$kw132$INDEX_ARG`
`static SubLSymbol`	`$kw133$GATHER_ARG`
`static SubLSymbol`	`$kw134$MT`
`static SubLSymbol`	`$kw173$CONDUIT_PRED`
`static SubLSymbol`	`$kw23$ASSERTION`
`static SubLSymbol`	`$kw26$SUPERIOR`
`static SubLSymbol`	`$kw32$TRUE`
`static SubLSymbol`	`$kw68$DOWN`
`static SubLList`	`$list0`
`static SubLList`	`$list129`
`static SubLList`	`$list137`
`static SubLList`	`$list138`
`static SubLList`	`$list139`
`static SubLList`	`$list142`
`static SubLList`	`$list144`
`static SubLList`	`$list148`
`static SubLList`	`$list149`
`static SubLList`	`$list155`
`static SubLList`	`$list177`
`static SubLList`	`$list29`
`static SubLList`	`$list6`
`static SubLString`	`$str10$all_cyc_modules_defined_using_the`
`static SubLString`	`$str100$flag_for_whether_or_not_to_use_ti`
`static SubLString`	`$str102$time_cutoff__in_seconds__for_the_`
`static SubLString`	`$str104$when_did_the_timing_begin_`
`static SubLString`	`$str106$flag_for_whether_or_not_to_use_nu`
`static SubLString`	`$str108$number_of_answers_after_which_we_`
`static SubLString`	`$str110$accumulator_for_number_of_answers`
`static SubLString`	`$str112$goal_node`
`static SubLString`	`$str114$list_of_edges_along_search__for_g`
`static SubLString`	`$str116$are_we_gather_edge_lists_`
`static SubLString`	`$str118$list_of_assertions_along_search__`
`static SubLString`	`$str12$transitive_predicate_used_for_cur`
`static SubLString`	`$str120$list_of_pairs__a_b___where_a_is_t`
`static SubLString`	`$str122$controls_extent_of_tracing__warni`
`static SubLString`	`$str124$controls_extent_of_testing_for_th`
`static SubLString`	`$str126$skip_type_checking_during_gt_quer`
`static SubLString`	`$str128$warnings_from_transitiviy_module_`
`static SubLString`	`$str14$arg_used_as_initial_index_for_cur`
`static SubLString`	`$str151$table_used_to_dispatch_tt_methods`
`static SubLString`	`$str154$all_cyc_modules_defined_using_the`
`static SubLString`	`$str157$candidate_parameters_for_tt_metho`
`static SubLString`	`$str159$transitive_predicate_used_for_cur`
`static SubLString`	`$str16$arg_used_as_initial_gather__e_g__`
`static SubLString`	`$str161$arg_used_as_initial_index_for_cur`
`static SubLString`	`$str163$arg_used_as_initial_gather__e_g__`
`static SubLString`	`$str165$indexing_arg_position_used_for_cu`
`static SubLString`	`$str167$gathering_arg_position_used_for_c`
`static SubLString`	`$str170$fn_used_to_step_from_one_node_to_`
`static SubLString`	`$str172$is_conduit_arg_transitive_in_curr`
`static SubLString`	`$str179$is_the_gt_transitive_via_arg_modu`
`static SubLString`	`$str18$indexing_arg_position_used_for_cu`
`static SubLString`	`$str181$currently_within_scope_of_a_gt_tr`
`static SubLString`	`$str2$table_used_to_dispatch_gt_methods`
`static SubLString`	`$str20$gathering_arg_position_used_for_c`
`static SubLString`	`$str22$accessors_used_for_current_gt_que`
`static SubLString`	`$str25$type_of_links_used_in_gt_module`
`static SubLString`	`$str28$mode__e_g___direction__of_search_`
`static SubLString`	`$str31$candidate_modes_for_gt_search`
`static SubLString`	`$str34$truth_relevant_to_the_current_gt_`
`static SubLString`	`$str36$literal_denoting_query_formula_of`
`static SubLString`	`$str38$terminate_the_current_gt_search_`
`static SubLString`	`$str40$current_gt_search_path_encountere`
`static SubLString`	`$str42$target_of_current_gt_search`
`static SubLString`	`$str44$accumlates_results_of_current_gt_`
`static SubLString`	`$str46$current_searcher_during_multiple_`
`static SubLString`	`$str48$fn_applied_to_each_candidate_node`
`static SubLString`	`$str5$candidate_methods_for_gt_modules`
`static SubLString`	`$str50$fn_used_to_step_from_one_node_to_`
`static SubLString`	`$str52$fn_applied_to_each_accessed_node_`
`static SubLString`	`$str54$fn_applied_to_each_accessed_node_`
`static SubLString`	`$str57$fn_used_to_combine_results_of_com`
`static SubLString`	`$str59$test_used_to_compare_each_accesse`
`static SubLString`	`$str61$equality_test_used_to_remove_dupl`
`static SubLString`	`$str63$composing_predicate_used_for_curr`
`static SubLString`	`$str65$indexing_arg_position_used_for_co`
`static SubLString`	`$str67$gathering_arg_position_used_for_c`
`static SubLString`	`$str70$default_search_direction_when_com`
`static SubLString`	`$str72$use_spec_preds_during_gt_searches`
`static SubLString`	`$str74$make_gt_modules_applicable_to_non`
`static SubLString`	`$str75$Current_link_support__a_is_not_a_`
`static SubLString`	`$str76$Current_link_support__a_is_not_a_`
`static SubLString`	`$str78$result_holder_for_what_mts`
`static SubLString`	`$str8$candidate_parameters_for_gt_metho`
`static SubLString`	`$str80$goal_node_of_in_what_mt_searches`
`static SubLString`	`$str82$list_of_mts_along_current_path`
`static SubLString`	`$str84$path_list_of_nodes__accumulated_t`
`static SubLString`	`$str86$length_of_current_mt_path`
`static SubLString`	`$str88$list_of_path_lengths_in_order`
`static SubLString`	`$str90$the_hash_table_where_we_do_the_ma`
`static SubLString`	`$str92$used_for_the_occasional_nested_se`
`static SubLString`	`$str94$depth_cutoff_for_the_search`
`static SubLString`	`$str96$flag_for_whether_or_not_to_use_de`
`static SubLString`	`$str98$what_the_previous_depth_cutoff_wa`
`static SubLSymbol`	$suspend_gt_type_checkingP$
`static SubLSymbol`	`$sym1$_GT_DISPATCH_TABLE_`
`static SubLSymbol`	`$sym101$_GT_TIME_CUTOFF_`
`static SubLSymbol`	`$sym103$_GT_INITIAL_TIME_`
`static SubLSymbol`	`$sym105$_GT_ANSWERS_CUTOFF__`
`static SubLSymbol`	`$sym107$_GT_ANSWERS_CUTOFF_`
`static SubLSymbol`	`$sym109$_GT_ANSWERS_SO_FAR_`
`static SubLSymbol`	`$sym11$_GT_PRED_`
`static SubLSymbol`	`$sym111$_GT_GOAL_NODE_`
`static SubLSymbol`	`$sym113$_GT_EDGE_LIST_`
`static SubLSymbol`	`$sym115$_GT_EDGE_LIST_RETURN__`
`static SubLSymbol`	`$sym117$_GT_PATH_LIST_OF_ASSERTIONS_`
`static SubLSymbol`	`$sym119$_GT_CYCLICAL_EDGES_`
`static SubLSymbol`	`$sym121$_GT_TRACE_LEVEL_`
`static SubLSymbol`	`$sym123$_GT_TEST_LEVEL_`
`static SubLSymbol`	`$sym125$_SUSPEND_GT_TYPE_CHECKING__`
`static SubLSymbol`	`$sym127$_GT_WARNINGS_`
`static SubLSymbol`	`$sym13$_GT_INDEX_`
`static SubLSymbol`	`$sym135$DEFINE`
`static SubLSymbol`	`$sym136$CLET`
`static SubLSymbol`	`$sym140$CSETQ`
`static SubLSymbol`	`$sym141$RESULT`
`static SubLSymbol`	`$sym143$QUOTE`
`static SubLSymbol`	`$sym145$PROGN`
`static SubLSymbol`	`$sym146$SETUP_TRANSITIVITY_MODULE`
`static SubLSymbol`	`$sym147$CPUSHNEW`
`static SubLSymbol`	`$sym15$_GT_GATHER_`
`static SubLSymbol`	`$sym150$_TT_DISPATCH_TABLE_`
`static SubLSymbol`	`$sym152$_TT_METHODS_`
`static SubLSymbol`	`$sym153$_TRANSFERS_THROUGH_MODULES_`
`static SubLSymbol`	`$sym156$_TT_PARAMETERS_`
`static SubLSymbol`	`$sym158$_TT_PRED_`
`static SubLSymbol`	`$sym160$_TT_INDEX_`
`static SubLSymbol`	`$sym162$_TT_GATHER_`
`static SubLSymbol`	`$sym164$_TT_INDEX_ARG_`
`static SubLSymbol`	`$sym166$_TT_GATHER_ARG_`
`static SubLSymbol`	`$sym168$_TT_TRUTH_`
`static SubLSymbol`	`$sym169$_TT_STEP_FN_`
`static SubLSymbol`	`$sym17$_GT_INDEX_ARG_`
`static SubLSymbol`	`$sym171$_TT_TRANSITIVE_CONDUIT__`
`static SubLSymbol`	`$sym174$TRANSITIVE_PREDICATE_`
`static SubLSymbol`	`$sym175$GENERIC_TTM`
`static SubLSymbol`	`$sym176$SETUP_TRANSFERS_THROUGH_MODULE`
`static SubLSymbol`	`$sym178$_GT_TRANSITIVE_VIA_ARG_ACTIVE__`
`static SubLSymbol`	`$sym180$_GT_WITHIN_TRANSITIVE_VIA_ARG__`
`static SubLSymbol`	`$sym19$_GT_GATHER_ARG_`
`static SubLSymbol`	`$sym21$_GT_ACCESSORS_`
`static SubLSymbol`	`$sym24$_GT_LINK_TYPE_`
`static SubLSymbol`	`$sym27$_GT_MODE_`
`static SubLSymbol`	`$sym3$CAR`
`static SubLSymbol`	`$sym30$_GT_MODES_`
`static SubLSymbol`	`$sym33$_GT_TRUTH_`
`static SubLSymbol`	`$sym35$_GT_QUERY_`
`static SubLSymbol`	`$sym37$_GT_DONE__`
`static SubLSymbol`	`$sym39$_GT_SEARCHED__`
`static SubLSymbol`	`$sym4$_GT_METHODS_`
`static SubLSymbol`	`$sym41$_GT_TARGET_`
`static SubLSymbol`	`$sym43$_GT_RESULT_`
`static SubLSymbol`	`$sym45$_GT_SEARCHER_`
`static SubLSymbol`	`$sym47$_GT_BASE_FN_`
`static SubLSymbol`	`$sym49$_GT_STEP_FN_`
`static SubLSymbol`	`$sym51$_GT_COMPOSE_FN_`
`static SubLSymbol`	`$sym53$_GT_GATHER_FN_`
`static SubLSymbol`	`$sym55$NCONC`
`static SubLSymbol`	`$sym56$_GT_COMBINE_FN_`
`static SubLSymbol`	`$sym58$_GT_COMPARE_FN_`
`static SubLSymbol`	`$sym60$_GT_EQUALITY_FN_`
`static SubLSymbol`	`$sym62$_GT_COMPOSE_PRED_`
`static SubLSymbol`	`$sym64$_GT_COMPOSE_INDEX_ARG_`
`static SubLSymbol`	`$sym66$_GT_COMPOSE_GATHER_ARG_`
`static SubLSymbol`	`$sym69$_GT_MAX_NODES_DIRECTION_`
`static SubLSymbol`	`$sym7$_GT_PARAMETERS_`
`static SubLSymbol`	`$sym71$_GT_USE_SPEC_PREDS__`
`static SubLSymbol`	`$sym73$_GT_HANDLE_NON_TRANSITIVE_PREDICATE__`
`static SubLSymbol`	`$sym77$_GT_WHAT_MTS_RESULT_`
`static SubLSymbol`	`$sym79$_GT_WHAT_MTS_GOAL_NODE_`
`static SubLSymbol`	`$sym81$_GT_PATH_LIST_OF_MTS_`
`static SubLSymbol`	`$sym83$_GT_PATH_LIST_OF_NODES_`
`static SubLSymbol`	`$sym85$_GT_PATH_LENGTH_`
`static SubLSymbol`	`$sym87$_GT_LIST_OF_PATH_LENGTHS_`
`static SubLSymbol`	`$sym89$_GT_MARKING_TABLE_`
`static SubLSymbol`	`$sym9$_TRANSITIVITY_MODULES_`
`static SubLSymbol`	`$sym91$_GT_TARGET_MARKING_TABLE_`
`static SubLSymbol`	`$sym93$_GT_DEPTH_CUTOFF_`
`static SubLSymbol`	`$sym95$_GT_DEPTH_CUTOFF__`
`static SubLSymbol`	`$sym97$_GT_PREV_DEPTH_CUTOFF_`
`static SubLSymbol`	`$sym99$_GT_TIME_CUTOFF__`
`static SubLSymbol`	$transfers_through_modules$
`static SubLSymbol`	$transitivity_modules$
`static SubLSymbol`	$tt_dispatch_table$
`static SubLSymbol`	$tt_gather_arg$
`static SubLSymbol`	$tt_gather$
`static SubLSymbol`	$tt_index_arg$
`static SubLSymbol`	$tt_index$
`static SubLSymbol`	$tt_methods$
`static SubLSymbol`	$tt_parameters$
`static SubLSymbol`	$tt_pred$
`static SubLSymbol`	$tt_step_fn$
`static SubLSymbol`	$tt_transitive_conduitP$
`static SubLSymbol`	$tt_truth$
`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

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_gt_vars_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`init_gt_vars_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_gt_vars_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

$gt_dispatch_table$

public static SubLSymbol $gt_dispatch_table$

$gt_methods$

public static SubLSymbol $gt_methods$

$gt_parameters$

public static SubLSymbol $gt_parameters$

$transitivity_modules$

public static SubLSymbol $transitivity_modules$

$gt_pred$

public static SubLSymbol $gt_pred$

$gt_index$

public static SubLSymbol $gt_index$

$gt_gather$

public static SubLSymbol $gt_gather$

$gt_index_arg$

public static SubLSymbol $gt_index_arg$

$gt_gather_arg$

public static SubLSymbol $gt_gather_arg$

$gt_accessors$

public static SubLSymbol $gt_accessors$

$gt_link_type$

public static SubLSymbol $gt_link_type$

$gt_mode$

public static SubLSymbol $gt_mode$

$gt_modes$

public static SubLSymbol $gt_modes$

$gt_truth$

public static SubLSymbol $gt_truth$

$gt_query$

public static SubLSymbol $gt_query$

$gt_doneP$

public static SubLSymbol $gt_doneP$

$gt_searchedP$

public static SubLSymbol $gt_searchedP$

$gt_target$

public static SubLSymbol $gt_target$

$gt_result$

public static SubLSymbol $gt_result$

$gt_searcher$

public static SubLSymbol $gt_searcher$

$gt_base_fn$

public static SubLSymbol $gt_base_fn$

$gt_step_fn$

public static SubLSymbol $gt_step_fn$

$gt_compose_fn$

public static SubLSymbol $gt_compose_fn$

$gt_gather_fn$

public static SubLSymbol $gt_gather_fn$

$gt_combine_fn$

public static SubLSymbol $gt_combine_fn$

$gt_compare_fn$

public static SubLSymbol $gt_compare_fn$

$gt_equality_fn$

public static SubLSymbol $gt_equality_fn$

$gt_compose_pred$

public static SubLSymbol $gt_compose_pred$

$gt_compose_index_arg$

public static SubLSymbol $gt_compose_index_arg$

$gt_compose_gather_arg$

public static SubLSymbol $gt_compose_gather_arg$

$gt_max_nodes_direction$

public static SubLSymbol $gt_max_nodes_direction$

$gt_use_spec_predsP$

public static SubLSymbol $gt_use_spec_predsP$

$gt_handle_non_transitive_predicateP$

public static SubLSymbol $gt_handle_non_transitive_predicateP$

$gt_link_support$

public static SubLSymbol $gt_link_support$

the current link assertion or hl support.

$gt_what_mts_result$

public static SubLSymbol $gt_what_mts_result$

$gt_what_mts_goal_node$

public static SubLSymbol $gt_what_mts_goal_node$

$gt_path_list_of_mts$

public static SubLSymbol $gt_path_list_of_mts$

$gt_path_list_of_nodes$

public static SubLSymbol $gt_path_list_of_nodes$

$gt_path_length$

public static SubLSymbol $gt_path_length$

$gt_list_of_path_lengths$

public static SubLSymbol $gt_list_of_path_lengths$

$gt_marking_table$

public static SubLSymbol $gt_marking_table$

$gt_target_marking_table$

public static SubLSymbol $gt_target_marking_table$

$gt_depth_cutoff$

public static SubLSymbol $gt_depth_cutoff$

$gt_depth_cutoffP$

public static SubLSymbol $gt_depth_cutoffP$

$gt_prev_depth_cutoff$

public static SubLSymbol $gt_prev_depth_cutoff$

$gt_time_cutoffP$

public static SubLSymbol $gt_time_cutoffP$

$gt_time_cutoff$

public static SubLSymbol $gt_time_cutoff$

$gt_initial_time$

public static SubLSymbol $gt_initial_time$

$gt_answers_cutoffP$

public static SubLSymbol $gt_answers_cutoffP$

$gt_answers_cutoff$

public static SubLSymbol $gt_answers_cutoff$

$gt_answers_so_far$

public static SubLSymbol $gt_answers_so_far$

$gt_goal_node$

public static SubLSymbol $gt_goal_node$

$gt_edge_list$

public static SubLSymbol $gt_edge_list$

$gt_edge_list_returnP$

public static SubLSymbol $gt_edge_list_returnP$

$gt_path_list_of_assertions$

public static SubLSymbol $gt_path_list_of_assertions$

$gt_cyclical_edges$

public static SubLSymbol $gt_cyclical_edges$

$gt_trace_level$

public static SubLSymbol $gt_trace_level$

$gt_test_level$

public static SubLSymbol $gt_test_level$

$suspend_gt_type_checkingP$

public static SubLSymbol $suspend_gt_type_checkingP$

$gt_warnings$

public static SubLSymbol $gt_warnings$

$tt_dispatch_table$

public static SubLSymbol $tt_dispatch_table$

$tt_methods$

public static SubLSymbol $tt_methods$

$transfers_through_modules$

public static SubLSymbol $transfers_through_modules$

$tt_parameters$

public static SubLSymbol $tt_parameters$

$tt_pred$

public static SubLSymbol $tt_pred$

$tt_index$

public static SubLSymbol $tt_index$

$tt_gather$

public static SubLSymbol $tt_gather$

$tt_index_arg$

public static SubLSymbol $tt_index_arg$

$tt_gather_arg$

public static SubLSymbol $tt_gather_arg$

$tt_truth$

public static SubLSymbol $tt_truth$

$tt_step_fn$

public static SubLSymbol $tt_step_fn$

$tt_transitive_conduitP$

public static SubLSymbol $tt_transitive_conduitP$

$gt_transitive_via_arg_activeP$

public static SubLSymbol $gt_transitive_via_arg_activeP$

$gt_within_transitive_via_argP$

public static SubLSymbol $gt_within_transitive_via_argP$

$list0

public static final SubLList $list0

$sym1$_GT_DISPATCH_TABLE_

public static final SubLSymbol $sym1$_GT_DISPATCH_TABLE_

$str2$table_used_to_dispatch_gt_methods

public static final SubLString $str2$table_used_to_dispatch_gt_methods

$sym3$CAR

public static final SubLSymbol $sym3$CAR

$sym4$_GT_METHODS_

public static final SubLSymbol $sym4$_GT_METHODS_

$str5$candidate_methods_for_gt_modules

public static final SubLString $str5$candidate_methods_for_gt_modules

$list6

public static final SubLList $list6

$sym7$_GT_PARAMETERS_

public static final SubLSymbol $sym7$_GT_PARAMETERS_

$str8$candidate_parameters_for_gt_metho

public static final SubLString $str8$candidate_parameters_for_gt_metho

$sym9$_TRANSITIVITY_MODULES_

public static final SubLSymbol $sym9$_TRANSITIVITY_MODULES_

$str10$all_cyc_modules_defined_using_the

public static final SubLString $str10$all_cyc_modules_defined_using_the

$sym11$_GT_PRED_

public static final SubLSymbol $sym11$_GT_PRED_

$str12$transitive_predicate_used_for_cur

public static final SubLString $str12$transitive_predicate_used_for_cur

$sym13$_GT_INDEX_

public static final SubLSymbol $sym13$_GT_INDEX_

$str14$arg_used_as_initial_index_for_cur

public static final SubLString $str14$arg_used_as_initial_index_for_cur

$sym15$_GT_GATHER_

public static final SubLSymbol $sym15$_GT_GATHER_

$str16$arg_used_as_initial_gather__e_g__

public static final SubLString $str16$arg_used_as_initial_gather__e_g__

$sym17$_GT_INDEX_ARG_

public static final SubLSymbol $sym17$_GT_INDEX_ARG_

$str18$indexing_arg_position_used_for_cu

public static final SubLString $str18$indexing_arg_position_used_for_cu

$sym19$_GT_GATHER_ARG_

public static final SubLSymbol $sym19$_GT_GATHER_ARG_

$str20$gathering_arg_position_used_for_c

public static final SubLString $str20$gathering_arg_position_used_for_c

$sym21$_GT_ACCESSORS_

public static final SubLSymbol $sym21$_GT_ACCESSORS_

$str22$accessors_used_for_current_gt_que

public static final SubLString $str22$accessors_used_for_current_gt_que

$kw23$ASSERTION

public static final SubLSymbol $kw23$ASSERTION

$sym24$_GT_LINK_TYPE_

public static final SubLSymbol $sym24$_GT_LINK_TYPE_

$str25$type_of_links_used_in_gt_module

public static final SubLString $str25$type_of_links_used_in_gt_module

$kw26$SUPERIOR

public static final SubLSymbol $kw26$SUPERIOR

$sym27$_GT_MODE_

public static final SubLSymbol $sym27$_GT_MODE_

$str28$mode__e_g_directionof_search_

public static final SubLString $str28$mode__e_g___direction__of_search_

$list29

public static final SubLList $list29

$sym30$_GT_MODES_

public static final SubLSymbol $sym30$_GT_MODES_

$str31$candidate_modes_for_gt_search

public static final SubLString $str31$candidate_modes_for_gt_search

$kw32$TRUE

public static final SubLSymbol $kw32$TRUE

$sym33$_GT_TRUTH_

public static final SubLSymbol $sym33$_GT_TRUTH_

$str34$truth_relevant_to_the_current_gt_

public static final SubLString $str34$truth_relevant_to_the_current_gt_

$sym35$_GT_QUERY_

public static final SubLSymbol $sym35$_GT_QUERY_

$str36$literal_denoting_query_formula_of

public static final SubLString $str36$literal_denoting_query_formula_of

$sym37$_GT_DONE__

public static final SubLSymbol $sym37$_GT_DONE__

$str38$terminate_the_current_gt_search_

public static final SubLString $str38$terminate_the_current_gt_search_

$sym39$_GT_SEARCHED__

public static final SubLSymbol $sym39$_GT_SEARCHED__

$str40$current_gt_search_path_encountere

public static final SubLString $str40$current_gt_search_path_encountere

$sym41$_GT_TARGET_

public static final SubLSymbol $sym41$_GT_TARGET_

$str42$target_of_current_gt_search

public static final SubLString $str42$target_of_current_gt_search

$sym43$_GT_RESULT_

public static final SubLSymbol $sym43$_GT_RESULT_

$str44$accumlates_results_of_current_gt_

public static final SubLString $str44$accumlates_results_of_current_gt_

$sym45$_GT_SEARCHER_

public static final SubLSymbol $sym45$_GT_SEARCHER_

$str46$current_searcher_during_multiple_

public static final SubLString $str46$current_searcher_during_multiple_

$sym47$_GT_BASE_FN_

public static final SubLSymbol $sym47$_GT_BASE_FN_

$str48$fn_applied_to_each_candidate_node

public static final SubLString $str48$fn_applied_to_each_candidate_node

$sym49$_GT_STEP_FN_

public static final SubLSymbol $sym49$_GT_STEP_FN_

$str50$fn_used_to_step_from_one_node_to_

public static final SubLString $str50$fn_used_to_step_from_one_node_to_

$sym51$_GT_COMPOSE_FN_

public static final SubLSymbol $sym51$_GT_COMPOSE_FN_

$str52$fn_applied_to_each_accessed_node_

public static final SubLString $str52$fn_applied_to_each_accessed_node_

$sym53$_GT_GATHER_FN_

public static final SubLSymbol $sym53$_GT_GATHER_FN_

$str54$fn_applied_to_each_accessed_node_

public static final SubLString $str54$fn_applied_to_each_accessed_node_

$sym55$NCONC

public static final SubLSymbol $sym55$NCONC

$sym56$_GT_COMBINE_FN_

public static final SubLSymbol $sym56$_GT_COMBINE_FN_

$str57$fn_used_to_combine_results_of_com

public static final SubLString $str57$fn_used_to_combine_results_of_com

$sym58$_GT_COMPARE_FN_

public static final SubLSymbol $sym58$_GT_COMPARE_FN_

$str59$test_used_to_compare_each_accesse

public static final SubLString $str59$test_used_to_compare_each_accesse

$sym60$_GT_EQUALITY_FN_

public static final SubLSymbol $sym60$_GT_EQUALITY_FN_

$str61$equality_test_used_to_remove_dupl

public static final SubLString $str61$equality_test_used_to_remove_dupl

$sym62$_GT_COMPOSE_PRED_

public static final SubLSymbol $sym62$_GT_COMPOSE_PRED_

$str63$composing_predicate_used_for_curr

public static final SubLString $str63$composing_predicate_used_for_curr

$sym64$_GT_COMPOSE_INDEX_ARG_

public static final SubLSymbol $sym64$_GT_COMPOSE_INDEX_ARG_

$str65$indexing_arg_position_used_for_co

public static final SubLString $str65$indexing_arg_position_used_for_co

$sym66$_GT_COMPOSE_GATHER_ARG_

public static final SubLSymbol $sym66$_GT_COMPOSE_GATHER_ARG_

$str67$gathering_arg_position_used_for_c

public static final SubLString $str67$gathering_arg_position_used_for_c

$kw68$DOWN

public static final SubLSymbol $kw68$DOWN

$sym69$_GT_MAX_NODES_DIRECTION_

public static final SubLSymbol $sym69$_GT_MAX_NODES_DIRECTION_

$str70$default_search_direction_when_com

public static final SubLString $str70$default_search_direction_when_com

$sym71$_GT_USE_SPEC_PREDS__

public static final SubLSymbol $sym71$_GT_USE_SPEC_PREDS__

$str72$use_spec_preds_during_gt_searches

public static final SubLString $str72$use_spec_preds_during_gt_searches

$sym73$_GT_HANDLE_NON_TRANSITIVE_PREDICATE__

public static final SubLSymbol $sym73$_GT_HANDLE_NON_TRANSITIVE_PREDICATE__

$str74$make_gt_modules_applicable_to_non

public static final SubLString $str74$make_gt_modules_applicable_to_non

$str75$Current_link_support__a_is_not_a_

public static final SubLString $str75$Current_link_support__a_is_not_a_

$str76$Current_link_support__a_is_not_a_

public static final SubLString $str76$Current_link_support__a_is_not_a_

$sym77$_GT_WHAT_MTS_RESULT_

public static final SubLSymbol $sym77$_GT_WHAT_MTS_RESULT_

$str78$result_holder_for_what_mts

public static final SubLString $str78$result_holder_for_what_mts

$sym79$_GT_WHAT_MTS_GOAL_NODE_

public static final SubLSymbol $sym79$_GT_WHAT_MTS_GOAL_NODE_

$str80$goal_node_of_in_what_mt_searches

public static final SubLString $str80$goal_node_of_in_what_mt_searches

$sym81$_GT_PATH_LIST_OF_MTS_

public static final SubLSymbol $sym81$_GT_PATH_LIST_OF_MTS_

$str82$list_of_mts_along_current_path

public static final SubLString $str82$list_of_mts_along_current_path

$sym83$_GT_PATH_LIST_OF_NODES_

public static final SubLSymbol $sym83$_GT_PATH_LIST_OF_NODES_

$str84$path_list_of_nodes__accumulated_t

public static final SubLString $str84$path_list_of_nodes__accumulated_t

$sym85$_GT_PATH_LENGTH_

public static final SubLSymbol $sym85$_GT_PATH_LENGTH_

$str86$length_of_current_mt_path

public static final SubLString $str86$length_of_current_mt_path

$sym87$_GT_LIST_OF_PATH_LENGTHS_

public static final SubLSymbol $sym87$_GT_LIST_OF_PATH_LENGTHS_

$str88$list_of_path_lengths_in_order

public static final SubLString $str88$list_of_path_lengths_in_order

$sym89$_GT_MARKING_TABLE_

public static final SubLSymbol $sym89$_GT_MARKING_TABLE_

$str90$the_hash_table_where_we_do_the_ma

public static final SubLString $str90$the_hash_table_where_we_do_the_ma

$sym91$_GT_TARGET_MARKING_TABLE_

public static final SubLSymbol $sym91$_GT_TARGET_MARKING_TABLE_

$str92$used_for_the_occasional_nested_se

public static final SubLString $str92$used_for_the_occasional_nested_se

$sym93$_GT_DEPTH_CUTOFF_

public static final SubLSymbol $sym93$_GT_DEPTH_CUTOFF_

$str94$depth_cutoff_for_the_search

public static final SubLString $str94$depth_cutoff_for_the_search

$sym95$_GT_DEPTH_CUTOFF__

public static final SubLSymbol $sym95$_GT_DEPTH_CUTOFF__

$str96$flag_for_whether_or_not_to_use_de

public static final SubLString $str96$flag_for_whether_or_not_to_use_de

$sym97$_GT_PREV_DEPTH_CUTOFF_

public static final SubLSymbol $sym97$_GT_PREV_DEPTH_CUTOFF_

$str98$what_the_previous_depth_cutoff_wa

public static final SubLString $str98$what_the_previous_depth_cutoff_wa

$sym99$_GT_TIME_CUTOFF__

public static final SubLSymbol $sym99$_GT_TIME_CUTOFF__

$str100$flag_for_whether_or_not_to_use_ti

public static final SubLString $str100$flag_for_whether_or_not_to_use_ti

$sym101$_GT_TIME_CUTOFF_

public static final SubLSymbol $sym101$_GT_TIME_CUTOFF_

$str102$time_cutoff__in_seconds__for_the_

public static final SubLString $str102$time_cutoff__in_seconds__for_the_

$sym103$_GT_INITIAL_TIME_

public static final SubLSymbol $sym103$_GT_INITIAL_TIME_

$str104$when_did_the_timing_begin_

public static final SubLString $str104$when_did_the_timing_begin_

$sym105$_GT_ANSWERS_CUTOFF__

public static final SubLSymbol $sym105$_GT_ANSWERS_CUTOFF__

$str106$flag_for_whether_or_not_to_use_nu

public static final SubLString $str106$flag_for_whether_or_not_to_use_nu

$sym107$_GT_ANSWERS_CUTOFF_

public static final SubLSymbol $sym107$_GT_ANSWERS_CUTOFF_

$str108$number_of_answers_after_which_we_

public static final SubLString $str108$number_of_answers_after_which_we_

$sym109$_GT_ANSWERS_SO_FAR_

public static final SubLSymbol $sym109$_GT_ANSWERS_SO_FAR_

$str110$accumulator_for_number_of_answers

public static final SubLString $str110$accumulator_for_number_of_answers

$sym111$_GT_GOAL_NODE_

public static final SubLSymbol $sym111$_GT_GOAL_NODE_

$str112$goal_node

public static final SubLString $str112$goal_node

$sym113$_GT_EDGE_LIST_

public static final SubLSymbol $sym113$_GT_EDGE_LIST_

$str114$list_of_edges_along_search__for_g

public static final SubLString $str114$list_of_edges_along_search__for_g

$sym115$_GT_EDGE_LIST_RETURN__

public static final SubLSymbol $sym115$_GT_EDGE_LIST_RETURN__

$str116$are_we_gather_edge_lists_

public static final SubLString $str116$are_we_gather_edge_lists_

$sym117$_GT_PATH_LIST_OF_ASSERTIONS_

public static final SubLSymbol $sym117$_GT_PATH_LIST_OF_ASSERTIONS_

$str118$list_of_assertions_along_search__

public static final SubLString $str118$list_of_assertions_along_search__

$sym119$_GT_CYCLICAL_EDGES_

public static final SubLSymbol $sym119$_GT_CYCLICAL_EDGES_

$str120$list_of_pairs__a_b___where_a_is_t

public static final SubLString $str120$list_of_pairs__a_b___where_a_is_t

$sym121$_GT_TRACE_LEVEL_

public static final SubLSymbol $sym121$_GT_TRACE_LEVEL_

$str122$controls_extent_of_tracing__warni

public static final SubLString $str122$controls_extent_of_tracing__warni

$sym123$_GT_TEST_LEVEL_

public static final SubLSymbol $sym123$_GT_TEST_LEVEL_

$str124$controls_extent_of_testing_for_th

public static final SubLString $str124$controls_extent_of_testing_for_th

$sym125$_SUSPEND_GT_TYPE_CHECKING__

public static final SubLSymbol $sym125$_SUSPEND_GT_TYPE_CHECKING__

$str126$skip_type_checking_during_gt_quer

public static final SubLString $str126$skip_type_checking_during_gt_quer

$sym127$_GT_WARNINGS_

public static final SubLSymbol $sym127$_GT_WARNINGS_

$str128$warnings_from_transitiviy_module_

public static final SubLString $str128$warnings_from_transitiviy_module_

$list129

public static final SubLList $list129

$kw130$ACCESSORS

public static final SubLSymbol $kw130$ACCESSORS

$kw131$PREDICATE

public static final SubLSymbol $kw131$PREDICATE

$kw132$INDEX_ARG

public static final SubLSymbol $kw132$INDEX_ARG

$kw133$GATHER_ARG

public static final SubLSymbol $kw133$GATHER_ARG

$kw134$MT

public static final SubLSymbol $kw134$MT

$sym135$DEFINE

public static final SubLSymbol $sym135$DEFINE

$sym136$CLET

public static final SubLSymbol $sym136$CLET

$list137

public static final SubLList $list137

$list138

public static final SubLList $list138

$list139

public static final SubLList $list139

$sym140$CSETQ

public static final SubLSymbol $sym140$CSETQ

$sym141$RESULT

public static final SubLSymbol $sym141$RESULT

$list142

public static final SubLList $list142

$sym143$QUOTE

public static final SubLSymbol $sym143$QUOTE

$list144

public static final SubLList $list144

$sym145$PROGN

public static final SubLSymbol $sym145$PROGN

$sym146$SETUP_TRANSITIVITY_MODULE

public static final SubLSymbol $sym146$SETUP_TRANSITIVITY_MODULE

$sym147$CPUSHNEW

public static final SubLSymbol $sym147$CPUSHNEW

$list148

public static final SubLList $list148

$list149

public static final SubLList $list149

$sym150$_TT_DISPATCH_TABLE_

public static final SubLSymbol $sym150$_TT_DISPATCH_TABLE_

$str151$table_used_to_dispatch_tt_methods

public static final SubLString $str151$table_used_to_dispatch_tt_methods

$sym152$_TT_METHODS_

public static final SubLSymbol $sym152$_TT_METHODS_

$sym153$_TRANSFERS_THROUGH_MODULES_

public static final SubLSymbol $sym153$_TRANSFERS_THROUGH_MODULES_

$str154$all_cyc_modules_defined_using_the

public static final SubLString $str154$all_cyc_modules_defined_using_the

$list155

public static final SubLList $list155

$sym156$_TT_PARAMETERS_

public static final SubLSymbol $sym156$_TT_PARAMETERS_

$str157$candidate_parameters_for_tt_metho

public static final SubLString $str157$candidate_parameters_for_tt_metho

$sym158$_TT_PRED_

public static final SubLSymbol $sym158$_TT_PRED_

$str159$transitive_predicate_used_for_cur

public static final SubLString $str159$transitive_predicate_used_for_cur

$sym160$_TT_INDEX_

public static final SubLSymbol $sym160$_TT_INDEX_

$str161$arg_used_as_initial_index_for_cur

public static final SubLString $str161$arg_used_as_initial_index_for_cur

$sym162$_TT_GATHER_

public static final SubLSymbol $sym162$_TT_GATHER_

$str163$arg_used_as_initial_gather__e_g__

public static final SubLString $str163$arg_used_as_initial_gather__e_g__

$sym164$_TT_INDEX_ARG_

public static final SubLSymbol $sym164$_TT_INDEX_ARG_

$str165$indexing_arg_position_used_for_cu

public static final SubLString $str165$indexing_arg_position_used_for_cu

$sym166$_TT_GATHER_ARG_

public static final SubLSymbol $sym166$_TT_GATHER_ARG_

$str167$gathering_arg_position_used_for_c

public static final SubLString $str167$gathering_arg_position_used_for_c

$sym168$_TT_TRUTH_

public static final SubLSymbol $sym168$_TT_TRUTH_

$sym169$_TT_STEP_FN_

public static final SubLSymbol $sym169$_TT_STEP_FN_

$str170$fn_used_to_step_from_one_node_to_

public static final SubLString $str170$fn_used_to_step_from_one_node_to_

$sym171$_TT_TRANSITIVE_CONDUIT__

public static final SubLSymbol $sym171$_TT_TRANSITIVE_CONDUIT__

$str172$is_conduit_arg_transitive_in_curr

public static final SubLString $str172$is_conduit_arg_transitive_in_curr

$kw173$CONDUIT_PRED

public static final SubLSymbol $kw173$CONDUIT_PRED

$sym174$TRANSITIVE_PREDICATE_

public static final SubLSymbol $sym174$TRANSITIVE_PREDICATE_

$sym175$GENERIC_TTM

public static final SubLSymbol $sym175$GENERIC_TTM

$sym176$SETUP_TRANSFERS_THROUGH_MODULE

public static final SubLSymbol $sym176$SETUP_TRANSFERS_THROUGH_MODULE

$list177

public static final SubLList $list177

$sym178$_GT_TRANSITIVE_VIA_ARG_ACTIVE__

public static final SubLSymbol $sym178$_GT_TRANSITIVE_VIA_ARG_ACTIVE__

$str179$is_the_gt_transitive_via_arg_modu

public static final SubLString $str179$is_the_gt_transitive_via_arg_modu

$sym180$_GT_WITHIN_TRANSITIVE_VIA_ARG__

public static final SubLSymbol $sym180$_GT_WITHIN_TRANSITIVE_VIA_ARG__

$str181$currently_within_scope_of_a_gt_tr

public static final SubLString $str181$currently_within_scope_of_a_gt_tr

Method Detail

declare_gt_vars_file

public static final SubLObject declare_gt_vars_file()

init_gt_vars_file

public static final SubLObject init_gt_vars_file()

setup_gt_vars_file

public static final SubLObject setup_gt_vars_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.

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl Class gt_vars

me

myName

$gt_dispatch_table$

$gt_methods$

$gt_parameters$

$transitivity_modules$

$gt_pred$

$gt_index$

$gt_gather$

$gt_index_arg$

$gt_gather_arg$

$gt_accessors$

$gt_link_type$

$gt_mode$

$gt_modes$

$gt_truth$

$gt_query$

$gt_doneP$

$gt_searchedP$

$gt_target$

$gt_result$

$gt_searcher$

$gt_base_fn$

$gt_step_fn$

$gt_compose_fn$

$gt_gather_fn$

$gt_combine_fn$

$gt_compare_fn$

$gt_equality_fn$

$gt_compose_pred$

$gt_compose_index_arg$

$gt_compose_gather_arg$

$gt_max_nodes_direction$

$gt_use_spec_predsP$

$gt_handle_non_transitive_predicateP$

$gt_link_support$

$gt_what_mts_result$

$gt_what_mts_goal_node$

$gt_path_list_of_mts$

$gt_path_list_of_nodes$

$gt_path_length$

$gt_list_of_path_lengths$

$gt_marking_table$

$gt_target_marking_table$

$gt_depth_cutoff$

$gt_depth_cutoffP$

$gt_prev_depth_cutoff$

$gt_time_cutoffP$

$gt_time_cutoff$

$gt_initial_time$

$gt_answers_cutoffP$

$gt_answers_cutoff$

$gt_answers_so_far$

$gt_goal_node$

$gt_edge_list$

$gt_edge_list_returnP$

$gt_path_list_of_assertions$

$gt_cyclical_edges$

$gt_trace_level$

$gt_test_level$

$suspend_gt_type_checkingP$

$gt_warnings$

$tt_dispatch_table$

$tt_methods$

$transfers_through_modules$

$tt_parameters$

$tt_pred$

$tt_index$

$tt_gather$

$tt_index_arg$

$tt_gather_arg$

$tt_truth$

$tt_step_fn$

$tt_transitive_conduitP$

$gt_transitive_via_arg_activeP$

$gt_within_transitive_via_argP$

$list0

$sym1$_GT_DISPATCH_TABLE_

$str2$table_used_to_dispatch_gt_methods

com.cyc.cycjava.cycl
Class gt_vars

$str28$mode__e_g_directionof_search_