com.cyc.tool.subl.util
Interface SubLFile

All Superinterfaces:

CommonSymbols

All Known Implementing Classes:

abnormal, access_macros, accumulation, after_adding, after_adding_modules, agenda, Alien, api_control_vars, api_kernel, arete, arg_type, argumentation, arguments, arity, ask_utilities, assertion_handles, assertion_manager, assertion_utilities, assertions_high, assertions_interface, assertions_low, at_admitted, at_cache, at_defns, at_macros, at_routines, at_utilities, at_var_types, at_vars, auxiliary_indexing, backward, backward_results, backward_utilities, bag, balancing_tactician, bijection, binary_tree, bindings, bookkeeping_store, builder_utilities, bytes, c_backend, c_name_translation, cache, cache_utilities, canon_tl, cardinality_estimates, cdestructuring_bind, cfasl, cfasl_compression, cfasl_kb_methods, cfasl_kernel, cfasl_utilities, character_names, Characters, clause_strucs, clause_utilities, clauses, clausifier, collection_defns, collection_intersection, compatibility, complex_special_forms, concept_filter, condition_macros, conses_high, ConsesLow, constant_completion, constant_completion_high, constant_completion_interface, constant_completion_low, constant_handles, constant_index_manager, constant_reader, constants_high, constants_interface, constants_low, control_vars, ctest_utils, cyc_bookkeeping, cyc_kernel, cyc_revision_extraction, cyc_testing, cyc_testing_initialization, cycl, cycl_grammar, cycl_query_specification, cycl_utilities, cycl_variables, cycml_generator, czer_graph, czer_main, czer_meta, czer_trampolines, czer_utilities, czer_vars, deck, deduction_handles, deduction_manager, deductions_high, deductions_interface, deductions_low, defns, dictionary, dictionary_contents, dictionary_utilities, disjoint_with, dumper, Dynamic, el_grammar, el_utilities, encapsulation, enumeration_types, environment, Environment, Equality, equality_store, equals, Errors, Eval, eval_in_api, eval_in_api_registrations, evaluatable_relation_tests, evaluation_defns, fi, file_backed_cache, file_backed_cache_setup, file_hash_table, file_translation, file_utilities, file_vector, file_vector_utilities, Filesys, finite_state_transducer, folification, foreign, format, format_nil, formula_pattern_match, formula_templates, fort_types_interface, forts, forward, forward_modules, fraction_utilities, function_terms, Functions, generic_testing, genl_mts, genl_predicates, genls, ghl_link_iterators, ghl_marking_utilities, ghl_search_methods, ghl_search_utilities, ghl_search_vars, glob, graph_utilities, graphic_library_format, graphl_graph_utilities, graphl_search_vars, gt_methods, gt_search, gt_utilities, gt_vars, guardian, Guids, hash_table_utilities, Hashtables, hashtables_high, heap, hierarchical_visitor, hl_interface_infrastructure, hl_modifiers, hl_prototypes, hl_storage_module_declarations, hl_storage_modules, hl_supports, hlmt, hlmt_czer, id_index, inference_abduction_utilities, inference_analysis, inference_balanced_tactician_datastructures, inference_balanced_tactician_execution, inference_balanced_tactician_motivation, inference_balanced_tactician_strategic_uninterestingness, inference_completeness_utilities, inference_czer, inference_datastructures_enumerated_types, inference_datastructures_forward_propagate, inference_datastructures_inference, inference_datastructures_problem, inference_datastructures_problem_link, inference_datastructures_problem_query, inference_datastructures_problem_store, inference_datastructures_proof, inference_datastructures_strategy, inference_datastructures_tactic, inference_heuristic_balanced_tactician, inference_kernel, inference_lookahead_productivity, inference_macros, inference_metrics, inference_min_transformation_depth, inference_modules, inference_pad_data, inference_parameters, inference_strategic_heuristics, inference_strategist, inference_tactician, inference_tactician_strategic_uninterestingness, inference_tactician_utilities, inference_trampolines, inference_trivial, inference_unit_tests, inference_worker, inference_worker_answer, inference_worker_join, inference_worker_join_ordered, inference_worker_removal, inference_worker_residual_transformation, inference_worker_restriction, inference_worker_rewrite, inference_worker_split, inference_worker_transformation, inference_worker_union, integer_sequence_generator, interval_span, isa, iteration, janus, java_api_kernel, java_name_translation, kb_access_metering, kb_accessors, kb_compare, kb_control_vars, kb_gp_mapping, kb_hl_support_manager, kb_hl_supports, kb_indexing, kb_indexing_datastructures, kb_indexing_declarations, kb_indexing_macros, kb_macros, kb_mapping, kb_mapping_macros, kb_mapping_utilities, kb_object_manager, kb_paths, kb_utilities, kbq_query_run, kct_utils, ke, keyhash, keyhash_utilities, Keyhashes, LarkcInit, leviathan, list_utilities, Locks, lucene_session, mail_message, map_utilities, Mapper, Mapping, math_utilities, memoization_state, meta_macros, meta_removal_modules, misc_kb_utilities, misc_utilities, modules, morphology, mt_relevance_cache, mt_relevance_macros, mt_vars, nart_handles, nart_hl_formula_manager, nart_index_manager, narts_high, negation_predicate, neural_net, new_cycl_query_specification, new_root_tactician_datastructures, number_utilities, Numbers, numeric_date_utilities, obsolete, operation_communication, operation_queues, os_process_utilities, Packages, pattern_match, postcanonicalizer, precanonicalizer, pred_relevance_macros, predicate_relevance_cache, preference_modules, preserves_genls_in_arg, print_functions, print_high, print_macros, PrintLow, process_utilities, Processes, psc, queues, random, reader, ReadWriteLocks, red_api, red_infrastructure, red_infrastructure_macros, Regex, relation_evaluation, remote_image, removal_module_cost_tests, removal_module_tests, removal_module_utilities, removal_modules_abduction, removal_modules_asserted_formula, removal_modules_backchain_required, removal_modules_conjunctive_pruning, removal_modules_different, removal_modules_evaluation, removal_modules_function_corresponding_predicate, removal_modules_genlpreds, removal_modules_genlpreds_lookup, removal_modules_genls, removal_modules_indexical_referent, removal_modules_isa, removal_modules_lookup, removal_modules_natfunction, removal_modules_reflexive_on, removal_modules_reflexivity, removal_modules_relation_all, removal_modules_relation_all_exists, removal_modules_relation_all_instance, removal_modules_relation_instance_exists, removal_modules_symmetry, removal_modules_termofunit, removal_modules_transitivity, removal_modules_tva_lookup, removal_tactician, removal_tactician_datastructures, removal_tactician_execution, removal_tactician_motivation, removal_tactician_uninterestingness, rewrite_modules, rewrite_of_propagation, rule_after_adding, rule_macros, sbhl_cache, sbhl_caching_policies, sbhl_graphs, sbhl_iteration, sbhl_link_iterators, sbhl_link_methods, sbhl_link_utilities, sbhl_link_vars, sbhl_links, sbhl_macros, sbhl_marking_methods, sbhl_marking_utilities, sbhl_marking_vars, sbhl_module_declarations, sbhl_module_utilities, sbhl_module_vars, sbhl_paranoia, sbhl_search_datastructures, sbhl_search_implied_relations, sbhl_search_methods, sbhl_search_utilities, sbhl_search_vars, sbhl_search_what_mts, scientific_numbers, sdbc, sdc, search, secure_translation, Semaphores, Sequences, set, set_contents, set_utilities, shelfs, simple_indexing, simple_lru_cache_strategy, simplification_modules, simplifier, skolems, sksi_macros, somewhere_cache, Sort, sparse_matrix, sparse_vector, special_variable_state, stacks, standard_tokenization, Storage, stream_buffer, stream_macros, streams_high, StreamsLow, string_utilities, Strings, Structures, subl_benchmarks, subl_identifier, subl_macro_promotions, subl_macros, subl_promotions, SubLSpecialOperatorDeclarations, SubLTrampolineFile, SubLTranslatedFile, Sxhash, Symbols, system_benchmarks, system_info, system_parameters, system_translation, system_version, SystemInfo, task_processor, Tcp, tcp_server_utilities, term, test_query_suite, thread_macros, Threads, Time, time_high, timing, tms, transcript_server, transcript_utilities, transform_list_utilities, transformation_module_tests, transformation_modules, transformation_tactician_datastructures, transitivity, tries, tva_cache, tva_inference, tva_strategy, tva_tactic, tva_utilities, Types, uncanonicalizer, unicode_streams, unicode_strings, unicode_subsets, unification, unification_utilities, UnitTest.SubLFile_Test, unrepresented_term_index_manager, unrepresented_terms, user_actions, UserIO, utilities_macros, value_tables, Values, variables, vector_utilities, Vectors, verbosifier, virtual_indexing, visitation, web_utilities, wff, wff_macros, wff_module_datastructures, wff_utilities, wff_vars, xml_utilities, xref_database

public interface SubLFile
extends CommonSymbols

Field Summary

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

void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the 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.

Method Detail

declareFunctions

void declareFunctions()

Declares the mapping between functions and symbols for all named functions defined in the file. Like CRTL define.

initializeVariables

void initializeVariables()

Initializes all global variables and private internal variables for constants defined in the file. Like CRTL init.

runTopLevelForms

void runTopLevelForms()

Runs all top-level forms in order. Like CRTL setup.