at_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 at_vars

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class at_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`	$accumulating_at_violationsP$
`static SubLSymbol`	$appraising_disjunctP$
`static SubLSymbol`	$at_admit_consistent_nartsP$
`static SubLSymbol`	$at_admit_consistent_nautsP$
`static SubLSymbol`	$at_apply_necessary_defnsP$
`static SubLSymbol`	$at_arg_isa$
`static SubLSymbol`	$at_arg_type$
`static SubLSymbol`	$at_arg$
`static SubLSymbol`	$at_arg1$
`static SubLSymbol`	$at_arg2$
`static SubLSymbol`	$at_argnum$
`static SubLSymbol`	$at_assume_conjuncts_independentP$
`static SubLSymbol`	$at_base_fn$
`static SubLSymbol`	$at_break_on_failureP$
`static SubLSymbol`	$at_check_arg_formatP$
`static SubLSymbol`	$at_check_arg_genlsP$
`static SubLSymbol`	$at_check_arg_isaP$
`static SubLSymbol`	$at_check_arg_not_isaP$
`static SubLSymbol`	$at_check_arg_quoted_isaP$
`static SubLSymbol`	$at_check_arg_typesP$
`static SubLSymbol`	$at_check_defining_mtsP$
`static SubLSymbol`	$at_check_fn_symbolP$
`static SubLSymbol`	$at_check_genl_inversesP$
`static SubLSymbol`	$at_check_genl_predsP$
`static SubLSymbol`	$at_check_inter_arg_differentP$
`static SubLSymbol`	$at_check_inter_arg_formatP$
`static SubLSymbol`	$at_check_inter_arg_genlP$
`static SubLSymbol`	$at_check_inter_arg_isaP$
`static SubLSymbol`	$at_check_inter_arg_not_isaP$
`static SubLSymbol`	$at_check_inter_assert_format_wXo_arg_index_gaf_count_threshold$
`static SubLSymbol`	$at_check_inter_assert_format_wXo_arg_indexP$
`static SubLSymbol`	$at_check_non_constant_inter_arg_formatP$
`static SubLSymbol`	$at_check_non_constant_inter_arg_genlP$
`static SubLSymbol`	$at_check_non_constant_inter_arg_isaP$
`static SubLSymbol`	$at_check_not_genls_disjointP$
`static SubLSymbol`	$at_check_not_isa_disjointP$
`static SubLSymbol`	$at_check_not_mdwP$
`static SubLSymbol`	$at_check_not_quoted_isa_disjointP$
`static SubLSymbol`	$at_check_not_sdcP$
`static SubLSymbol`	$at_check_relator_constraintsP$
`static SubLSymbol`	$at_check_sefP$
`static SubLSymbol`	$at_collection_specific_defns$
`static SubLSymbol`	$at_consider_multiargs_at_predP$
`static SubLSymbol`	$at_constraint_gaf$
`static SubLSymbol`	$at_constraint_type$
`static SubLSymbol`	$at_defn$
`static SubLSymbol`	$at_defns_availableP$
`static SubLSymbol`	$at_defns$
`static SubLSymbol`	$at_different_assertions$
`static SubLSymbol`	$at_different_constraints$
`static SubLSymbol`	$at_different_violations$
`static SubLSymbol`	$at_disjoins_space$
`static SubLSymbol`	$at_ensure_consistencyP$
`static SubLSymbol`	$at_format_assertions$
`static SubLSymbol`	$at_format_constraints$
`static SubLSymbol`	$at_format_violations$
`static SubLSymbol`	$at_formula$
`static SubLSymbol`	$at_function$
`static SubLSymbol`	$at_functions$
`static SubLSymbol`	$at_gaf_search_limit$
`static SubLSymbol`	$at_genl_assertions$
`static SubLSymbol`	$at_genl_constraints$
`static SubLSymbol`	$at_genls_space$
`static SubLSymbol`	$at_include_genl_literal_constraints$
`static SubLSymbol`	$at_include_isa_literal_constraints$
`static SubLSymbol`	$at_ind_arg$
`static SubLSymbol`	$at_ind_argnum$
`static SubLSymbol`	$at_ind_genl$
`static SubLSymbol`	$at_ind_isa$
`static SubLSymbol`	$at_inverse$
`static SubLSymbol`	$at_isa_assertions$
`static SubLSymbol`	$at_isa_constraints$
`static SubLSymbol`	$at_isa_space$
`static SubLSymbol`	$at_mapping_genl_inversesP$
`static SubLSymbol`	$at_mode$
`static SubLSymbol`	$at_possibly_check_defining_mtsP$
`static SubLSymbol`	$at_pred_constraints$
`static SubLSymbol`	$at_pred$
`static SubLSymbol`	$at_predicate_violations$
`static SubLSymbol`	$at_profile_term$
`static SubLSymbol`	$at_relax_arg_constraints_for_opaque_expansion_natsP$
`static SubLSymbol`	$at_reln$
`static SubLSymbol`	$at_result$
`static SubLSymbol`	$at_search_genl_inversesP$
`static SubLSymbol`	$at_search_genl_predsP$
`static SubLSymbol`	$at_some_arg_isa_requiredP$
`static SubLSymbol`	$at_some_arg_isaP$
`static SubLSymbol`	$at_source$
`static SubLSymbol`	$at_test_level$
`static SubLSymbol`	$at_trace_level$
`static SubLSymbol`	$at_var_genl$
`static SubLSymbol`	$at_var_isa$
`static SubLSymbol`	$at_var_types_standard$
`static SubLSymbol`	$at_violations$
`static SubLSymbol`	$current_at_violation$
`static SubLSymbol`	$defn_col_history_default_size$
`static SubLSymbol`	$defn_col_history$
`static SubLSymbol`	$defn_collection$
`static SubLSymbol`	$defn_fn_history_default_size$
`static SubLSymbol`	$defn_fn_history$
`static SubLSymbol`	$defn_meter_caches$
`static SubLSymbol`	$defn_metersP$
`static SubLSymbol`	$defn_stack$
`static SubLSymbol`	$defn_test_level$
`static SubLSymbol`	$defn_trace_level$
`static SubLSymbol`	$fag_search_limit$
`static SubLSymbol`	$gather_at_assertionsP$
`static SubLSymbol`	$gather_at_constraintsP$
`static SubLSymbol`	$gather_at_different_violationsP$
`static SubLSymbol`	$gather_at_format_violationsP$
`static SubLSymbol`	$gather_at_predicate_violationsP$
`static SubLSymbol`	$include_at_constraint_gafP$
`static SubLInteger`	`$int135$64`
`static SubLInteger`	`$int233$256`
`static SubLInteger`	`$int235$200`
`static SubLInteger`	`$int255$32`
`static SubLInteger`	`$int54$100`
`static SubLSymbol`	`$kw204$NOT_DISJOINT`
`static SubLSymbol`	`$kw260$UNINITIALIZED`
`static SubLSymbol`	`$kw271$DEFAULT`
`static SubLSymbol`	`$kw272$NO_DEFINING_MTS`
`static SubLSymbol`	`$kw273$NO_ARG_TYPES`
`static SubLSymbol`	`$kw274$NO_ARG_FORMAT`
`static SubLList`	`$list244`
`static SubLList`	`$list48`
`static SubLSymbol`	$noting_at_violationsP$
`static SubLSymbol`	$permitting_denotational_terms_admitted_by_defn_via_isaP$
`static SubLSymbol`	$quoted_defn_col_history$
`static SubLSymbol`	$quoted_defn_fn_history$
`static SubLSymbol`	$relax_arg_constraints_for_disjunctionsP$
`static SubLSymbol`	$semantic_dnf_hl_filtering_enabled$
`static SubLSymbol`	$sort_suf_defn_assertionsP$
`static SubLSymbol`	$sort_suf_function_assertionsP$
`static SubLString`	`$str1$should_the_inference_engine_use_a`
`static SubLString`	`$str100$controls_extent_of_testing_for_th`
`static SubLString`	`$str102$is_the_formula_being_considered_b`
`static SubLString`	`$str104$is_the_formula_being_considered_b`
`static SubLString`	`$str106$is_the_subformula_being_canonical`
`static SubLString`	`$str108$is_the_subformula_being_canonical`
`static SubLString`	`$str11$enforce_argNotIsa_constraints_`
`static SubLString`	`$str110$is_the_subformula_being_canonical`
`static SubLString`	`$str112$is_the_subformula_being_canonical`
`static SubLString`	`$str114$is_the_formula_being_canonicalize`
`static SubLString`	`$str116$is_the_formula_being_canonicalize`
`static SubLString`	`$str118$is_the_formula_being_canonicalize`
`static SubLString`	`$str120$should_arg_type_constraints_be_we`
`static SubLString`	`$str122$within_expansions_should_arg_type`
`static SubLString`	`$str124$should_the_arg_type_module_admit_`
`static SubLString`	`$str126$should_the_arg_type_module_admit_`
`static SubLString`	`$str128$accumulates_results_of_current_at`
`static SubLString`	`$str13$enforce_arg_typing_constraints_`
`static SubLString`	`$str130$is_any_arg_isa_constraint_found_d`
`static SubLString`	`$str132$must_there_be_some_arg_isa_constr`
`static SubLString`	`$str134$during_arg_type_analysis_do_we_co`
`static SubLString`	`$str137$accumulates_applicable_at_isa_con`
`static SubLString`	`$str139$accumulates_applicable_at_genl_co`
`static SubLString`	`$str141$accumulates_applicable_at_format_`
`static SubLString`	`$str143$accumulates_applicable_at_differe`
`static SubLString`	`$str145$accumulates_applicable_at_isa_ass`
`static SubLString`	`$str147$accumulates_applicable_at_genl_as`
`static SubLString`	`$str149$accumulates_applicable_at_format_`
`static SubLString`	`$str15$is___definingMt_constraint_enforc`
`static SubLString`	`$str151$accumulates_applicable_at_differe`
`static SubLString`	`$str153$the_type_of_at_test_currently_bei`
`static SubLString`	`$str155$the_type_of_at_constraint_current`
`static SubLString`	`$str157$type_of_arg_being_considered_with`
`static SubLString`	`$str159$fn_applied_to_each_applicable_arg`
`static SubLString`	`$str161$the_formula_being_appraised`
`static SubLString`	`$str163$the_current_at_module_constraint_`
`static SubLString`	`$str165$the_inverse_of_the_current_at_mod`
`static SubLString`	`$str167$the_relation_whose_args_are_curre`
`static SubLString`	`$str169$the_particular_arg_that_is_curren`
`static SubLString`	`$str17$enforce___definingMt_constraints_`
`static SubLString`	`$str171$the_position_of_the_arg_that_is_c`
`static SubLString`	`$str173$the_1st_arg_of_the_literal_or_fun`
`static SubLString`	`$str175$the_2nd_arg_of_the_literal_or_fun`
`static SubLString`	`$str177$the_position_of_the_independent_a`
`static SubLString`	`$str179$the_independent_arg_that_is_const`
`static SubLString`	`$str181$the_isa_of_the_independent_arg_th`
`static SubLString`	`$str183$the_genl_of_the_independent_arg_t`
`static SubLString`	`$str185$the_isa_of_the_dependent_arg_that`
`static SubLString`	`$str187$the_constant_indexing_the_current`
`static SubLString`	`$str189$dynamic_state_variable__are_we_lo`
`static SubLString`	`$str19$enforce___interArgIsa_constraints`
`static SubLString`	`$str191$consider_genlPreds_during_current`
`static SubLString`	`$str193$consider_genlInverses_during_curr`
`static SubLString`	`$str195$the_term__var__constant_______tha`
`static SubLString`	`$str197$the_arg_type_constraint_assertion`
`static SubLString`	`$str199$boolean__should_errors_reference_`
`static SubLString`	`$str201$the_accumulating_inter_reference_`
`static SubLString`	`$str203$the_accumulating_inter_reference_`
`static SubLString`	`$str206$the_standard_for_acceptable_arg_t`
`static SubLString`	`$str208$Whether_arg_type_checking_for_var`
`static SubLString`	`$str21$enforce___interArgNotIsa_constrai`
`static SubLString`	`$str210$description_of_most_recent_violat`
`static SubLString`	`$str212$descriptions_of_how_a_relational_`
`static SubLString`	`$str214$sbhl_space_used_for_marking_disjo`
`static SubLString`	`$str216$sbhl_space_used_for_marking_all_i`
`static SubLString`	`$str218$sbhl_space_used_for_marking_all_g`
`static SubLString`	`$str220$make_defns_available_for_at_queri`
`static SubLString`	`$str222$enforce_all_applicable_necessary_`
`static SubLString`	`$str224$are_the_cached_suf_defn_assertion`
`static SubLString`	`$str226$are_the_cached_suf_function_asser`
`static SubLString`	`$str228$defns_which_reference__defn_colle`
`static SubLString`	`$str23$enforce___interArgGenl_constraint`
`static SubLString`	`$str232$activate_metering_of_functions_wi`
`static SubLString`	`$str238$list_of_caches_used_for_metering_`
`static SubLString`	`$str240$the_collection_with_which_the_cur`
`static SubLString`	`$str242$should_defns_admit_a_denotation_t`
`static SubLString`	`$str246$current_defn_assertion_being_cons`
`static SubLString`	`$str248$current_defn_assertions_being_con`
`static SubLString`	`$str25$enforce_interArgIsa_constraints_f`
`static SubLString`	`$str252$current_sufficient_function_asser`
`static SubLString`	`$str254$current_sufficient_function_asser`
`static SubLString`	`$str257$the_initial_size_of_each_nested_d`
`static SubLString`	`$str259$the_initial_size_of_each_nested_d`
`static SubLString`	`$str262$the_cache_used__by_the_current_de`
`static SubLString`	`$str264$the_cache_used__by_the_current_qu`
`static SubLString`	`$str266$the_cache_used__by_the_current_de`
`static SubLString`	`$str268$the_cache_used__by_the_current_qu`
`static SubLString`	`$str27$enforce_interArgGenl_constraints_`
`static SubLString`	`$str270$A_stack_of_defns_being_called__to`
`static SubLString`	`$str29$enforce_interArgFormat1_2__and_si`
`static SubLString`	`$str3$require_function_symbols_be_insta`
`static SubLString`	`$str31$enforce___argIsa_constraints_for_`
`static SubLString`	`$str33$enforce___argQuotedIsa_constraint`
`static SubLString`	`$str35$enforce___argGenl_constraints_for`
`static SubLString`	`$str37$enforce__not_disjoint_constraints`
`static SubLString`	`$str39$enforce__not_disjoint_constraints`
`static SubLString`	`$str41$enforce___argformat_constraints_`
`static SubLString`	`$str43$enforce___singleEntryFormatInArgs`
`static SubLString`	`$str45$enforce_asymmetric_predicate_and_`
`static SubLString`	`$str47$enforce_consistency_at_constraint`
`static SubLString`	`$str5$enforce___argGenl_constraints_`
`static SubLString`	`$str51$relevant_at_predicate_violations`
`static SubLString`	`$str53$enforce_inter_assert_formats_even`
`static SubLString`	`$str56$max_number_of_relevant_gafs_to_pe`
`static SubLString`	`$str58$max_number_of_relevant_gafs_to_pe`
`static SubLString`	`$str60$default_max_number_of_relevant_ga`
`static SubLString`	`$str62$enforce___interArgFormat1_2__and_`
`static SubLString`	`$str64$enforce___interArgDifferent__and_`
`static SubLString`	`$str66$enforce_arg_constraints_of_genlPr`
`static SubLString`	`$str68$enforce_arg_constraints_of_genlIn`
`static SubLString`	`$str7$enforce_argIsa_constraints_`
`static SubLString`	`$str70$include_explicit___isa_literals_w`
`static SubLString`	`$str72$include_explicit___genls_literals`
`static SubLString`	`$str74$collect_applicable_at_constraints`
`static SubLString`	`$str76$collect_applicable_at_assertions_`
`static SubLString`	`$str78$collect_relevant_at_format_violat`
`static SubLString`	`$str80$collect_relevant_at_different_vio`
`static SubLString`	`$str82$collect_relevant_at_predicate_vio`
`static SubLString`	`$str84$relevant_at_format_violations`
`static SubLString`	`$str86$relevant_at_different_violations`
`static SubLString`	`$str88$is_at_module_currently_trying_to_`
`static SubLString`	`$str9$enforce_argQuotedIsa_constraints_`
`static SubLString`	`$str90$is_at_module_currently_executing_`
`static SubLString`	`$str92$break_when_an_at_violation_is_enc`
`static SubLString`	`$str94$continue_at_checks_even_after_con`
`static SubLString`	`$str96$should_arg_type_violations_be_rec`
`static SubLString`	`$str98$controls_extent_of_tracing__warni`
`static SubLSymbol`	$suf_defn_cache$
`static SubLSymbol`	$suf_function_cache$
`static SubLSymbol`	$suf_quoted_defn_cache$
`static SubLSymbol`	$suf_quoted_function_cache$
`static SubLSymbol`	`$sym0$_SEMANTIC_DNF_HL_FILTERING_ENABLED_`
`static SubLSymbol`	`$sym10$_AT_CHECK_ARG_NOT_ISA__`
`static SubLSymbol`	`$sym101$_APPRAISING_DISJUNCT__`
`static SubLSymbol`	`$sym103$_WITHIN_DECONTEXTUALIZED__`
`static SubLSymbol`	`$sym105$_WITHIN_DISJUNCTION__`
`static SubLSymbol`	`$sym107$_WITHIN_CONJUNCTION__`
`static SubLSymbol`	`$sym109$_WITHIN_NEGATED_DISJUNCTION__`
`static SubLSymbol`	`$sym111$_WITHIN_NEGATED_CONJUNCTION__`
`static SubLSymbol`	`$sym113$_WITHIN_FUNCTION__`
`static SubLSymbol`	`$sym115$_WITHIN_PREDICATE__`
`static SubLSymbol`	`$sym117$_WITHIN_TOU_GAF__`
`static SubLSymbol`	`$sym119$_RELAX_ARG_CONSTRAINTS_FOR_DISJUNCTIONS__`
`static SubLSymbol`	`$sym12$_AT_CHECK_ARG_TYPES__`
`static SubLSymbol`	`$sym121$_AT_RELAX_ARG_CONSTRAINTS_FOR_OPAQUE_EXPANSION_NATS__`
`static SubLSymbol`	`$sym123$_AT_ADMIT_CONSISTENT_NAUTS__`
`static SubLSymbol`	`$sym125$_AT_ADMIT_CONSISTENT_NARTS__`
`static SubLSymbol`	`$sym127$_AT_RESULT_`
`static SubLSymbol`	`$sym129$_AT_SOME_ARG_ISA__`
`static SubLSymbol`	`$sym131$_AT_SOME_ARG_ISA_REQUIRED__`
`static SubLSymbol`	`$sym133$_AT_CONSIDER_MULTIARGS_AT_PRED__`
`static SubLSymbol`	`$sym136$_AT_ISA_CONSTRAINTS_`
`static SubLSymbol`	`$sym138$_AT_GENL_CONSTRAINTS_`
`static SubLSymbol`	`$sym14$_AT_POSSIBLY_CHECK_DEFINING_MTS__`
`static SubLSymbol`	`$sym140$_AT_FORMAT_CONSTRAINTS_`
`static SubLSymbol`	`$sym142$_AT_DIFFERENT_CONSTRAINTS_`
`static SubLSymbol`	`$sym144$_AT_ISA_ASSERTIONS_`
`static SubLSymbol`	`$sym146$_AT_GENL_ASSERTIONS_`
`static SubLSymbol`	`$sym148$_AT_FORMAT_ASSERTIONS_`
`static SubLSymbol`	`$sym150$_AT_DIFFERENT_ASSERTIONS_`
`static SubLSymbol`	`$sym152$_AT_MODE_`
`static SubLSymbol`	`$sym154$_AT_CONSTRAINT_TYPE_`
`static SubLSymbol`	`$sym156$_AT_ARG_TYPE_`
`static SubLSymbol`	`$sym158$_AT_BASE_FN_`
`static SubLSymbol`	`$sym16$_AT_CHECK_DEFINING_MTS__`
`static SubLSymbol`	`$sym160$_AT_FORMULA_`
`static SubLSymbol`	`$sym162$_AT_PRED_`
`static SubLSymbol`	`$sym164$_AT_INVERSE_`
`static SubLSymbol`	`$sym166$_AT_RELN_`
`static SubLSymbol`	`$sym168$_AT_ARG_`
`static SubLSymbol`	`$sym170$_AT_ARGNUM_`
`static SubLSymbol`	`$sym172$_AT_ARG1_`
`static SubLSymbol`	`$sym174$_AT_ARG2_`
`static SubLSymbol`	`$sym176$_AT_IND_ARGNUM_`
`static SubLSymbol`	`$sym178$_AT_IND_ARG_`
`static SubLSymbol`	`$sym18$_AT_CHECK_INTER_ARG_ISA__`
`static SubLSymbol`	`$sym180$_AT_IND_ISA_`
`static SubLSymbol`	`$sym182$_AT_IND_GENL_`
`static SubLSymbol`	`$sym184$_AT_ARG_ISA_`
`static SubLSymbol`	`$sym186$_AT_SOURCE_`
`static SubLSymbol`	`$sym188$_AT_MAPPING_GENL_INVERSES__`
`static SubLSymbol`	`$sym190$_AT_SEARCH_GENL_PREDS__`
`static SubLSymbol`	`$sym192$_AT_SEARCH_GENL_INVERSES__`
`static SubLSymbol`	`$sym194$_AT_PROFILE_TERM_`
`static SubLSymbol`	`$sym196$_AT_CONSTRAINT_GAF_`
`static SubLSymbol`	`$sym198$_INCLUDE_AT_CONSTRAINT_GAF__`
`static SubLSymbol`	`$sym2$_AT_CHECK_FN_SYMBOL__`
`static SubLSymbol`	`$sym20$_AT_CHECK_INTER_ARG_NOT_ISA__`
`static SubLSymbol`	`$sym200$_AT_VAR_ISA_`
`static SubLSymbol`	`$sym202$_AT_VAR_GENL_`
`static SubLSymbol`	`$sym205$_AT_VAR_TYPES_STANDARD_`
`static SubLSymbol`	`$sym207$_AT_ASSUME_CONJUNCTS_INDEPENDENT__`
`static SubLSymbol`	`$sym209$_CURRENT_AT_VIOLATION_`
`static SubLSymbol`	`$sym211$_AT_VIOLATIONS_`
`static SubLSymbol`	`$sym213$_AT_DISJOINS_SPACE_`
`static SubLSymbol`	`$sym215$_AT_ISA_SPACE_`
`static SubLSymbol`	`$sym217$_AT_GENLS_SPACE_`
`static SubLSymbol`	`$sym219$_AT_DEFNS_AVAILABLE__`
`static SubLSymbol`	`$sym22$_AT_CHECK_INTER_ARG_GENL__`
`static SubLSymbol`	`$sym221$_AT_APPLY_NECESSARY_DEFNS__`
`static SubLSymbol`	`$sym223$_SORT_SUF_DEFN_ASSERTIONS__`
`static SubLSymbol`	`$sym225$_SORT_SUF_FUNCTION_ASSERTIONS__`
`static SubLSymbol`	`$sym227$_AT_COLLECTION_SPECIFIC_DEFNS_`
`static SubLSymbol`	`$sym229$_DEFN_TRACE_LEVEL_`
`static SubLSymbol`	`$sym230$_DEFN_TEST_LEVEL_`
`static SubLSymbol`	`$sym231$_DEFN_METERS__`
`static SubLSymbol`	`$sym234$_SUF_DEFN_CACHE_`
`static SubLSymbol`	`$sym236$_SUF_QUOTED_DEFN_CACHE_`
`static SubLSymbol`	`$sym237$_DEFN_METER_CACHES_`
`static SubLSymbol`	`$sym239$_DEFN_COLLECTION_`
`static SubLSymbol`	`$sym24$_AT_CHECK_NON_CONSTANT_INTER_ARG_ISA__`
`static SubLSymbol`	`$sym241$_PERMITTING_DENOTATIONAL_TERMS_ADMITTED_BY_DEFN_VIA_ISA__`
`static SubLSymbol`	`$sym243$CLET`
`static SubLSymbol`	`$sym245$_AT_DEFN_`
`static SubLSymbol`	`$sym247$_AT_DEFNS_`
`static SubLSymbol`	`$sym249$_SUF_FUNCTION_CACHE_`
`static SubLSymbol`	`$sym250$_SUF_QUOTED_FUNCTION_CACHE_`
`static SubLSymbol`	`$sym251$_AT_FUNCTION_`
`static SubLSymbol`	`$sym253$_AT_FUNCTIONS_`
`static SubLSymbol`	`$sym256$_DEFN_FN_HISTORY_DEFAULT_SIZE_`
`static SubLSymbol`	`$sym258$_DEFN_COL_HISTORY_DEFAULT_SIZE_`
`static SubLSymbol`	`$sym26$_AT_CHECK_NON_CONSTANT_INTER_ARG_GENL__`
`static SubLSymbol`	`$sym261$_DEFN_COL_HISTORY_`
`static SubLSymbol`	`$sym263$_QUOTED_DEFN_COL_HISTORY_`
`static SubLSymbol`	`$sym265$_DEFN_FN_HISTORY_`
`static SubLSymbol`	`$sym267$_QUOTED_DEFN_FN_HISTORY_`
`static SubLSymbol`	`$sym269$_DEFN_STACK_`
`static SubLSymbol`	`$sym28$_AT_CHECK_NON_CONSTANT_INTER_ARG_FORMAT__`
`static SubLSymbol`	`$sym30$_AT_CHECK_NOT_ISA_DISJOINT__`
`static SubLSymbol`	`$sym32$_AT_CHECK_NOT_QUOTED_ISA_DISJOINT__`
`static SubLSymbol`	`$sym34$_AT_CHECK_NOT_GENLS_DISJOINT__`
`static SubLSymbol`	`$sym36$_AT_CHECK_NOT_MDW__`
`static SubLSymbol`	`$sym38$_AT_CHECK_NOT_SDC__`
`static SubLSymbol`	`$sym4$_AT_CHECK_ARG_GENLS__`
`static SubLSymbol`	`$sym40$_AT_CHECK_ARG_FORMAT__`
`static SubLSymbol`	`$sym42$_AT_CHECK_SEF__`
`static SubLSymbol`	`$sym44$_AT_CHECK_RELATOR_CONSTRAINTS__`
`static SubLSymbol`	`$sym46$_AT_ENSURE_CONSISTENCY__`
`static SubLSymbol`	`$sym49$_AT_PRED_CONSTRAINTS_`
`static SubLSymbol`	`$sym50$_AT_PREDICATE_VIOLATIONS_`
`static SubLSymbol`	`$sym52$_AT_CHECK_INTER_ASSERT_FORMAT_W_O_ARG_INDEX__`
`static SubLSymbol`	`$sym55$_AT_CHECK_INTER_ASSERT_FORMAT_W_O_ARG_INDEX_GAF_COUNT_THRESHOLD_`
`static SubLSymbol`	`$sym57$_FAG_SEARCH_LIMIT_`
`static SubLSymbol`	`$sym59$_AT_GAF_SEARCH_LIMIT_`
`static SubLSymbol`	`$sym6$_AT_CHECK_ARG_ISA__`
`static SubLSymbol`	`$sym61$_AT_CHECK_INTER_ARG_FORMAT__`
`static SubLSymbol`	`$sym63$_AT_CHECK_INTER_ARG_DIFFERENT__`
`static SubLSymbol`	`$sym65$_AT_CHECK_GENL_PREDS__`
`static SubLSymbol`	`$sym67$_AT_CHECK_GENL_INVERSES__`
`static SubLSymbol`	`$sym69$_AT_INCLUDE_ISA_LITERAL_CONSTRAINTS_`
`static SubLSymbol`	`$sym71$_AT_INCLUDE_GENL_LITERAL_CONSTRAINTS_`
`static SubLSymbol`	`$sym73$_GATHER_AT_CONSTRAINTS__`
`static SubLSymbol`	`$sym75$_GATHER_AT_ASSERTIONS__`
`static SubLSymbol`	`$sym77$_GATHER_AT_FORMAT_VIOLATIONS__`
`static SubLSymbol`	`$sym79$_GATHER_AT_DIFFERENT_VIOLATIONS__`
`static SubLSymbol`	`$sym8$_AT_CHECK_ARG_QUOTED_ISA__`
`static SubLSymbol`	`$sym81$_GATHER_AT_PREDICATE_VIOLATIONS__`
`static SubLSymbol`	`$sym83$_AT_FORMAT_VIOLATIONS_`
`static SubLSymbol`	`$sym85$_AT_DIFFERENT_VIOLATIONS_`
`static SubLSymbol`	`$sym87$_WITHIN_AT_SUGGESTION__`
`static SubLSymbol`	`$sym89$_WITHIN_AT_MAPPING__`
`static SubLSymbol`	`$sym91$_AT_BREAK_ON_FAILURE__`
`static SubLSymbol`	`$sym93$_ACCUMULATING_AT_VIOLATIONS__`
`static SubLSymbol`	`$sym95$_NOTING_AT_VIOLATIONS__`
`static SubLSymbol`	`$sym97$_AT_TRACE_LEVEL_`
`static SubLSymbol`	`$sym99$_AT_TEST_LEVEL_`
`static SubLSymbol`	$within_at_mappingP$
`static SubLSymbol`	$within_at_suggestionP$
`static SubLSymbol`	$within_conjunctionP$
`static SubLSymbol`	$within_decontextualizedP$
`static SubLSymbol`	$within_disjunctionP$
`static SubLSymbol`	$within_functionP$
`static SubLSymbol`	$within_negated_conjunctionP$
`static SubLSymbol`	$within_negated_disjunctionP$
`static SubLSymbol`	$within_predicateP$
`static SubLSymbol`	$within_tou_gafP$
`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`	`at_check_defining_mts_p()`
`static SubLObject`	`at_searching_genl_inversesP()`
`static SubLObject`	`at_searching_genl_predsP()`
`static SubLObject`	`at_some_arg_isa_requiredP()`
`static SubLObject`	`consider_multiargs_at_predP()`
`static SubLObject`	`declare_at_vars_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`init_at_vars_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`permitting_denotational_terms_admitted_by_defn_via_isaP()`
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_at_vars_file()`
`static SubLObject`	`within_tou_gafP()`

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

$semantic_dnf_hl_filtering_enabled$

public static SubLSymbol $semantic_dnf_hl_filtering_enabled$

$at_check_fn_symbolP$

public static SubLSymbol $at_check_fn_symbolP$

$at_check_arg_genlsP$

public static SubLSymbol $at_check_arg_genlsP$

$at_check_arg_isaP$

public static SubLSymbol $at_check_arg_isaP$

$at_check_arg_quoted_isaP$

public static SubLSymbol $at_check_arg_quoted_isaP$

$at_check_arg_not_isaP$

public static SubLSymbol $at_check_arg_not_isaP$

$at_check_arg_typesP$

public static SubLSymbol $at_check_arg_typesP$

$at_possibly_check_defining_mtsP$

public static SubLSymbol $at_possibly_check_defining_mtsP$

$at_check_defining_mtsP$

public static SubLSymbol $at_check_defining_mtsP$

$at_check_inter_arg_isaP$

public static SubLSymbol $at_check_inter_arg_isaP$

$at_check_inter_arg_not_isaP$

public static SubLSymbol $at_check_inter_arg_not_isaP$

$at_check_inter_arg_genlP$

public static SubLSymbol $at_check_inter_arg_genlP$

$at_check_non_constant_inter_arg_isaP$

public static SubLSymbol $at_check_non_constant_inter_arg_isaP$

$at_check_non_constant_inter_arg_genlP$

public static SubLSymbol $at_check_non_constant_inter_arg_genlP$

$at_check_non_constant_inter_arg_formatP$

public static SubLSymbol $at_check_non_constant_inter_arg_formatP$

$at_check_not_isa_disjointP$

public static SubLSymbol $at_check_not_isa_disjointP$

$at_check_not_quoted_isa_disjointP$

public static SubLSymbol $at_check_not_quoted_isa_disjointP$

$at_check_not_genls_disjointP$

public static SubLSymbol $at_check_not_genls_disjointP$

$at_check_not_mdwP$

public static SubLSymbol $at_check_not_mdwP$

$at_check_not_sdcP$

public static SubLSymbol $at_check_not_sdcP$

$at_check_arg_formatP$

public static SubLSymbol $at_check_arg_formatP$

$at_check_sefP$

public static SubLSymbol $at_check_sefP$

$at_check_relator_constraintsP$

public static SubLSymbol $at_check_relator_constraintsP$

$at_ensure_consistencyP$

public static SubLSymbol $at_ensure_consistencyP$

$at_pred_constraints$

public static SubLSymbol $at_pred_constraints$

$at_predicate_violations$

public static SubLSymbol $at_predicate_violations$

$at_check_inter_assert_format_wXo_arg_indexP$

public static SubLSymbol $at_check_inter_assert_format_wXo_arg_indexP$

$at_check_inter_assert_format_wXo_arg_index_gaf_count_threshold$

public static SubLSymbol $at_check_inter_assert_format_wXo_arg_index_gaf_count_threshold$

$fag_search_limit$

public static SubLSymbol $fag_search_limit$

$at_gaf_search_limit$

public static SubLSymbol $at_gaf_search_limit$

$at_check_inter_arg_formatP$

public static SubLSymbol $at_check_inter_arg_formatP$

$at_check_inter_arg_differentP$

public static SubLSymbol $at_check_inter_arg_differentP$

$at_check_genl_predsP$

public static SubLSymbol $at_check_genl_predsP$

$at_check_genl_inversesP$

public static SubLSymbol $at_check_genl_inversesP$

$at_include_isa_literal_constraints$

public static SubLSymbol $at_include_isa_literal_constraints$

$at_include_genl_literal_constraints$

public static SubLSymbol $at_include_genl_literal_constraints$

$gather_at_constraintsP$

public static SubLSymbol $gather_at_constraintsP$

$gather_at_assertionsP$

public static SubLSymbol $gather_at_assertionsP$

$gather_at_format_violationsP$

public static SubLSymbol $gather_at_format_violationsP$

$gather_at_different_violationsP$

public static SubLSymbol $gather_at_different_violationsP$

$gather_at_predicate_violationsP$

public static SubLSymbol $gather_at_predicate_violationsP$

$at_format_violations$

public static SubLSymbol $at_format_violations$

$at_different_violations$

public static SubLSymbol $at_different_violations$

$within_at_suggestionP$

public static SubLSymbol $within_at_suggestionP$

$within_at_mappingP$

public static SubLSymbol $within_at_mappingP$

$at_break_on_failureP$

public static SubLSymbol $at_break_on_failureP$

$accumulating_at_violationsP$

public static SubLSymbol $accumulating_at_violationsP$

$noting_at_violationsP$

public static SubLSymbol $noting_at_violationsP$

$at_trace_level$

public static SubLSymbol $at_trace_level$

$at_test_level$

public static SubLSymbol $at_test_level$

$appraising_disjunctP$

public static SubLSymbol $appraising_disjunctP$

$within_decontextualizedP$

public static SubLSymbol $within_decontextualizedP$

$within_disjunctionP$

public static SubLSymbol $within_disjunctionP$

$within_conjunctionP$

public static SubLSymbol $within_conjunctionP$

$within_negated_disjunctionP$

public static SubLSymbol $within_negated_disjunctionP$

$within_negated_conjunctionP$

public static SubLSymbol $within_negated_conjunctionP$

$within_functionP$

public static SubLSymbol $within_functionP$

$within_predicateP$

public static SubLSymbol $within_predicateP$

$within_tou_gafP$

public static SubLSymbol $within_tou_gafP$

$relax_arg_constraints_for_disjunctionsP$

public static SubLSymbol $relax_arg_constraints_for_disjunctionsP$

$at_relax_arg_constraints_for_opaque_expansion_natsP$

public static SubLSymbol $at_relax_arg_constraints_for_opaque_expansion_natsP$

$at_admit_consistent_nautsP$

public static SubLSymbol $at_admit_consistent_nautsP$

$at_admit_consistent_nartsP$

public static SubLSymbol $at_admit_consistent_nartsP$

$at_result$

public static SubLSymbol $at_result$

$at_some_arg_isaP$

public static SubLSymbol $at_some_arg_isaP$

$at_some_arg_isa_requiredP$

public static SubLSymbol $at_some_arg_isa_requiredP$

$at_consider_multiargs_at_predP$

public static SubLSymbol $at_consider_multiargs_at_predP$

$at_isa_constraints$

public static SubLSymbol $at_isa_constraints$

$at_genl_constraints$

public static SubLSymbol $at_genl_constraints$

$at_format_constraints$

public static SubLSymbol $at_format_constraints$

$at_different_constraints$

public static SubLSymbol $at_different_constraints$

$at_isa_assertions$

public static SubLSymbol $at_isa_assertions$

$at_genl_assertions$

public static SubLSymbol $at_genl_assertions$

$at_format_assertions$

public static SubLSymbol $at_format_assertions$

$at_different_assertions$

public static SubLSymbol $at_different_assertions$

$at_mode$

public static SubLSymbol $at_mode$

$at_constraint_type$

public static SubLSymbol $at_constraint_type$

$at_arg_type$

public static SubLSymbol $at_arg_type$

$at_base_fn$

public static SubLSymbol $at_base_fn$

$at_formula$

public static SubLSymbol $at_formula$

$at_pred$

public static SubLSymbol $at_pred$

$at_inverse$

public static SubLSymbol $at_inverse$

$at_reln$

public static SubLSymbol $at_reln$

$at_arg$

public static SubLSymbol $at_arg$

$at_argnum$

public static SubLSymbol $at_argnum$

$at_arg1$

public static SubLSymbol $at_arg1$

$at_arg2$

public static SubLSymbol $at_arg2$

$at_ind_argnum$

public static SubLSymbol $at_ind_argnum$

$at_ind_arg$

public static SubLSymbol $at_ind_arg$

$at_ind_isa$

public static SubLSymbol $at_ind_isa$

$at_ind_genl$

public static SubLSymbol $at_ind_genl$

$at_arg_isa$

public static SubLSymbol $at_arg_isa$

$at_source$

public static SubLSymbol $at_source$

$at_mapping_genl_inversesP$

public static SubLSymbol $at_mapping_genl_inversesP$

$at_search_genl_predsP$

public static SubLSymbol $at_search_genl_predsP$

$at_search_genl_inversesP$

public static SubLSymbol $at_search_genl_inversesP$

$at_profile_term$

public static SubLSymbol $at_profile_term$

$at_constraint_gaf$

public static SubLSymbol $at_constraint_gaf$

$include_at_constraint_gafP$

public static SubLSymbol $include_at_constraint_gafP$

$at_var_isa$

public static SubLSymbol $at_var_isa$

$at_var_genl$

public static SubLSymbol $at_var_genl$

$at_var_types_standard$

public static SubLSymbol $at_var_types_standard$

$at_assume_conjuncts_independentP$

public static SubLSymbol $at_assume_conjuncts_independentP$

$current_at_violation$

public static SubLSymbol $current_at_violation$

$at_violations$

public static SubLSymbol $at_violations$

$at_disjoins_space$

public static SubLSymbol $at_disjoins_space$

$at_isa_space$

public static SubLSymbol $at_isa_space$

$at_genls_space$

public static SubLSymbol $at_genls_space$

$at_defns_availableP$

public static SubLSymbol $at_defns_availableP$

$at_apply_necessary_defnsP$

public static SubLSymbol $at_apply_necessary_defnsP$

$sort_suf_defn_assertionsP$

public static SubLSymbol $sort_suf_defn_assertionsP$

$sort_suf_function_assertionsP$

public static SubLSymbol $sort_suf_function_assertionsP$

$at_collection_specific_defns$

public static SubLSymbol $at_collection_specific_defns$

$defn_trace_level$

public static SubLSymbol $defn_trace_level$

$defn_test_level$

public static SubLSymbol $defn_test_level$

$defn_metersP$

public static SubLSymbol $defn_metersP$

$suf_defn_cache$

public static SubLSymbol $suf_defn_cache$

$suf_quoted_defn_cache$

public static SubLSymbol $suf_quoted_defn_cache$

$defn_meter_caches$

public static SubLSymbol $defn_meter_caches$

$defn_collection$

public static SubLSymbol $defn_collection$

$permitting_denotational_terms_admitted_by_defn_via_isaP$

public static SubLSymbol $permitting_denotational_terms_admitted_by_defn_via_isaP$

$at_defn$

public static SubLSymbol $at_defn$

$at_defns$

public static SubLSymbol $at_defns$

$suf_function_cache$

public static SubLSymbol $suf_function_cache$

$suf_quoted_function_cache$

public static SubLSymbol $suf_quoted_function_cache$

$at_function$

public static SubLSymbol $at_function$

$at_functions$

public static SubLSymbol $at_functions$

$defn_fn_history_default_size$

public static SubLSymbol $defn_fn_history_default_size$

$defn_col_history_default_size$

public static SubLSymbol $defn_col_history_default_size$

$defn_col_history$

public static SubLSymbol $defn_col_history$

$quoted_defn_col_history$

public static SubLSymbol $quoted_defn_col_history$

$defn_fn_history$

public static SubLSymbol $defn_fn_history$

$quoted_defn_fn_history$

public static SubLSymbol $quoted_defn_fn_history$

$defn_stack$

public static SubLSymbol $defn_stack$

$sym0$_SEMANTIC_DNF_HL_FILTERING_ENABLED_

public static final SubLSymbol $sym0$_SEMANTIC_DNF_HL_FILTERING_ENABLED_

$str1$should_the_inference_engine_use_a

public static final SubLString $str1$should_the_inference_engine_use_a

$sym2$_AT_CHECK_FN_SYMBOL__

public static final SubLSymbol $sym2$_AT_CHECK_FN_SYMBOL__

$str3$require_function_symbols_be_insta

public static final SubLString $str3$require_function_symbols_be_insta

$sym4$_AT_CHECK_ARG_GENLS__

public static final SubLSymbol $sym4$_AT_CHECK_ARG_GENLS__

$str5$enforce___argGenl_constraints_

public static final SubLString $str5$enforce___argGenl_constraints_

$sym6$_AT_CHECK_ARG_ISA__

public static final SubLSymbol $sym6$_AT_CHECK_ARG_ISA__

$str7$enforce_argIsa_constraints_

public static final SubLString $str7$enforce_argIsa_constraints_

$sym8$_AT_CHECK_ARG_QUOTED_ISA__

public static final SubLSymbol $sym8$_AT_CHECK_ARG_QUOTED_ISA__

$str9$enforce_argQuotedIsa_constraints_

public static final SubLString $str9$enforce_argQuotedIsa_constraints_

$sym10$_AT_CHECK_ARG_NOT_ISA__

public static final SubLSymbol $sym10$_AT_CHECK_ARG_NOT_ISA__

$str11$enforce_argNotIsa_constraints_

public static final SubLString $str11$enforce_argNotIsa_constraints_

$sym12$_AT_CHECK_ARG_TYPES__

public static final SubLSymbol $sym12$_AT_CHECK_ARG_TYPES__

$str13$enforce_arg_typing_constraints_

public static final SubLString $str13$enforce_arg_typing_constraints_

$sym14$_AT_POSSIBLY_CHECK_DEFINING_MTS__

public static final SubLSymbol $sym14$_AT_POSSIBLY_CHECK_DEFINING_MTS__

$str15$is___definingMt_constraint_enforc

public static final SubLString $str15$is___definingMt_constraint_enforc

$sym16$_AT_CHECK_DEFINING_MTS__

public static final SubLSymbol $sym16$_AT_CHECK_DEFINING_MTS__

$str17$enforce___definingMt_constraints_

public static final SubLString $str17$enforce___definingMt_constraints_

$sym18$_AT_CHECK_INTER_ARG_ISA__

public static final SubLSymbol $sym18$_AT_CHECK_INTER_ARG_ISA__

$str19$enforce___interArgIsa_constraints

public static final SubLString $str19$enforce___interArgIsa_constraints

$sym20$_AT_CHECK_INTER_ARG_NOT_ISA__

public static final SubLSymbol $sym20$_AT_CHECK_INTER_ARG_NOT_ISA__

$str21$enforce___interArgNotIsa_constrai

public static final SubLString $str21$enforce___interArgNotIsa_constrai

$sym22$_AT_CHECK_INTER_ARG_GENL__

public static final SubLSymbol $sym22$_AT_CHECK_INTER_ARG_GENL__

$str23$enforce___interArgGenl_constraint

public static final SubLString $str23$enforce___interArgGenl_constraint

$sym24$_AT_CHECK_NON_CONSTANT_INTER_ARG_ISA__

public static final SubLSymbol $sym24$_AT_CHECK_NON_CONSTANT_INTER_ARG_ISA__

$str25$enforce_interArgIsa_constraints_f

public static final SubLString $str25$enforce_interArgIsa_constraints_f

$sym26$_AT_CHECK_NON_CONSTANT_INTER_ARG_GENL__

public static final SubLSymbol $sym26$_AT_CHECK_NON_CONSTANT_INTER_ARG_GENL__

$str27$enforce_interArgGenl_constraints_

public static final SubLString $str27$enforce_interArgGenl_constraints_

$sym28$_AT_CHECK_NON_CONSTANT_INTER_ARG_FORMAT__

public static final SubLSymbol $sym28$_AT_CHECK_NON_CONSTANT_INTER_ARG_FORMAT__

$str29$enforce_interArgFormat1_2__and_si

public static final SubLString $str29$enforce_interArgFormat1_2__and_si

$sym30$_AT_CHECK_NOT_ISA_DISJOINT__

public static final SubLSymbol $sym30$_AT_CHECK_NOT_ISA_DISJOINT__

$str31$enforce___argIsa_constraints_for_

public static final SubLString $str31$enforce___argIsa_constraints_for_

$sym32$_AT_CHECK_NOT_QUOTED_ISA_DISJOINT__

public static final SubLSymbol $sym32$_AT_CHECK_NOT_QUOTED_ISA_DISJOINT__

$str33$enforce___argQuotedIsa_constraint

public static final SubLString $str33$enforce___argQuotedIsa_constraint

$sym34$_AT_CHECK_NOT_GENLS_DISJOINT__

public static final SubLSymbol $sym34$_AT_CHECK_NOT_GENLS_DISJOINT__

$str35$enforce___argGenl_constraints_for

public static final SubLString $str35$enforce___argGenl_constraints_for

$sym36$_AT_CHECK_NOT_MDW__

public static final SubLSymbol $sym36$_AT_CHECK_NOT_MDW__

$str37$enforce__not_disjoint_constraints

public static final SubLString $str37$enforce__not_disjoint_constraints

$sym38$_AT_CHECK_NOT_SDC__

public static final SubLSymbol $sym38$_AT_CHECK_NOT_SDC__

$str39$enforce__not_disjoint_constraints

public static final SubLString $str39$enforce__not_disjoint_constraints

$sym40$_AT_CHECK_ARG_FORMAT__

public static final SubLSymbol $sym40$_AT_CHECK_ARG_FORMAT__

$str41$enforce___argformat_constraints_

public static final SubLString $str41$enforce___argformat_constraints_

$sym42$_AT_CHECK_SEF__

public static final SubLSymbol $sym42$_AT_CHECK_SEF__

$str43$enforce___singleEntryFormatInArgs

public static final SubLString $str43$enforce___singleEntryFormatInArgs

$sym44$_AT_CHECK_RELATOR_CONSTRAINTS__

public static final SubLSymbol $sym44$_AT_CHECK_RELATOR_CONSTRAINTS__

$str45$enforce_asymmetric_predicate_and_

public static final SubLString $str45$enforce_asymmetric_predicate_and_

$sym46$_AT_ENSURE_CONSISTENCY__

public static final SubLSymbol $sym46$_AT_ENSURE_CONSISTENCY__

$str47$enforce_consistency_at_constraint

public static final SubLString $str47$enforce_consistency_at_constraint

$list48

public static final SubLList $list48

$sym49$_AT_PRED_CONSTRAINTS_

public static final SubLSymbol $sym49$_AT_PRED_CONSTRAINTS_

$sym50$_AT_PREDICATE_VIOLATIONS_

public static final SubLSymbol $sym50$_AT_PREDICATE_VIOLATIONS_

$str51$relevant_at_predicate_violations

public static final SubLString $str51$relevant_at_predicate_violations

$sym52$_AT_CHECK_INTER_ASSERT_FORMAT_W_O_ARG_INDEX__

public static final SubLSymbol $sym52$_AT_CHECK_INTER_ASSERT_FORMAT_W_O_ARG_INDEX__

$str53$enforce_inter_assert_formats_even

public static final SubLString $str53$enforce_inter_assert_formats_even

$int54$100

public static final SubLInteger $int54$100

$sym55$_AT_CHECK_INTER_ASSERT_FORMAT_W_O_ARG_INDEX_GAF_COUNT_THRESHOLD_

public static final SubLSymbol $sym55$_AT_CHECK_INTER_ASSERT_FORMAT_W_O_ARG_INDEX_GAF_COUNT_THRESHOLD_

$str56$max_number_of_relevant_gafs_to_pe

public static final SubLString $str56$max_number_of_relevant_gafs_to_pe

$sym57$_FAG_SEARCH_LIMIT_

public static final SubLSymbol $sym57$_FAG_SEARCH_LIMIT_

$str58$max_number_of_relevant_gafs_to_pe

public static final SubLString $str58$max_number_of_relevant_gafs_to_pe

$sym59$_AT_GAF_SEARCH_LIMIT_

public static final SubLSymbol $sym59$_AT_GAF_SEARCH_LIMIT_

$str60$default_max_number_of_relevant_ga

public static final SubLString $str60$default_max_number_of_relevant_ga

$sym61$_AT_CHECK_INTER_ARG_FORMAT__

public static final SubLSymbol $sym61$_AT_CHECK_INTER_ARG_FORMAT__

$str62$enforce___interArgFormat1_2__and_

public static final SubLString $str62$enforce___interArgFormat1_2__and_

$sym63$_AT_CHECK_INTER_ARG_DIFFERENT__

public static final SubLSymbol $sym63$_AT_CHECK_INTER_ARG_DIFFERENT__

$str64$enforce_interArgDifferentand_

public static final SubLString $str64$enforce___interArgDifferent__and_

$sym65$_AT_CHECK_GENL_PREDS__

public static final SubLSymbol $sym65$_AT_CHECK_GENL_PREDS__

$str66$enforce_arg_constraints_of_genlPr

public static final SubLString $str66$enforce_arg_constraints_of_genlPr

$sym67$_AT_CHECK_GENL_INVERSES__

public static final SubLSymbol $sym67$_AT_CHECK_GENL_INVERSES__

$str68$enforce_arg_constraints_of_genlIn

public static final SubLString $str68$enforce_arg_constraints_of_genlIn

$sym69$_AT_INCLUDE_ISA_LITERAL_CONSTRAINTS_

public static final SubLSymbol $sym69$_AT_INCLUDE_ISA_LITERAL_CONSTRAINTS_

$str70$include_explicit___isa_literals_w

public static final SubLString $str70$include_explicit___isa_literals_w

$sym71$_AT_INCLUDE_GENL_LITERAL_CONSTRAINTS_

public static final SubLSymbol $sym71$_AT_INCLUDE_GENL_LITERAL_CONSTRAINTS_

$str72$include_explicit___genls_literals

public static final SubLString $str72$include_explicit___genls_literals

$sym73$_GATHER_AT_CONSTRAINTS__

public static final SubLSymbol $sym73$_GATHER_AT_CONSTRAINTS__

$str74$collect_applicable_at_constraints

public static final SubLString $str74$collect_applicable_at_constraints

$sym75$_GATHER_AT_ASSERTIONS__

public static final SubLSymbol $sym75$_GATHER_AT_ASSERTIONS__

$str76$collect_applicable_at_assertions_

public static final SubLString $str76$collect_applicable_at_assertions_

$sym77$_GATHER_AT_FORMAT_VIOLATIONS__

public static final SubLSymbol $sym77$_GATHER_AT_FORMAT_VIOLATIONS__

$str78$collect_relevant_at_format_violat

public static final SubLString $str78$collect_relevant_at_format_violat

$sym79$_GATHER_AT_DIFFERENT_VIOLATIONS__

public static final SubLSymbol $sym79$_GATHER_AT_DIFFERENT_VIOLATIONS__

$str80$collect_relevant_at_different_vio

public static final SubLString $str80$collect_relevant_at_different_vio

$sym81$_GATHER_AT_PREDICATE_VIOLATIONS__

public static final SubLSymbol $sym81$_GATHER_AT_PREDICATE_VIOLATIONS__

$str82$collect_relevant_at_predicate_vio

public static final SubLString $str82$collect_relevant_at_predicate_vio

$sym83$_AT_FORMAT_VIOLATIONS_

public static final SubLSymbol $sym83$_AT_FORMAT_VIOLATIONS_

$str84$relevant_at_format_violations

public static final SubLString $str84$relevant_at_format_violations

$sym85$_AT_DIFFERENT_VIOLATIONS_

public static final SubLSymbol $sym85$_AT_DIFFERENT_VIOLATIONS_

$str86$relevant_at_different_violations

public static final SubLString $str86$relevant_at_different_violations

$sym87$_WITHIN_AT_SUGGESTION__

public static final SubLSymbol $sym87$_WITHIN_AT_SUGGESTION__

$str88$is_at_module_currently_trying_to_

public static final SubLString $str88$is_at_module_currently_trying_to_

$sym89$_WITHIN_AT_MAPPING__

public static final SubLSymbol $sym89$_WITHIN_AT_MAPPING__

$str90$is_at_module_currently_executing_

public static final SubLString $str90$is_at_module_currently_executing_

$sym91$_AT_BREAK_ON_FAILURE__

public static final SubLSymbol $sym91$_AT_BREAK_ON_FAILURE__

$str92$break_when_an_at_violation_is_enc

public static final SubLString $str92$break_when_an_at_violation_is_enc

$sym93$_ACCUMULATING_AT_VIOLATIONS__

public static final SubLSymbol $sym93$_ACCUMULATING_AT_VIOLATIONS__

$str94$continue_at_checks_even_after_con

public static final SubLString $str94$continue_at_checks_even_after_con

$sym95$_NOTING_AT_VIOLATIONS__

public static final SubLSymbol $sym95$_NOTING_AT_VIOLATIONS__

$str96$should_arg_type_violations_be_rec

public static final SubLString $str96$should_arg_type_violations_be_rec

$sym97$_AT_TRACE_LEVEL_

public static final SubLSymbol $sym97$_AT_TRACE_LEVEL_

$str98$controls_extent_of_tracing__warni

public static final SubLString $str98$controls_extent_of_tracing__warni

$sym99$_AT_TEST_LEVEL_

public static final SubLSymbol $sym99$_AT_TEST_LEVEL_

$str100$controls_extent_of_testing_for_th

public static final SubLString $str100$controls_extent_of_testing_for_th

$sym101$_APPRAISING_DISJUNCT__

public static final SubLSymbol $sym101$_APPRAISING_DISJUNCT__

$str102$is_the_formula_being_considered_b

public static final SubLString $str102$is_the_formula_being_considered_b

$sym103$_WITHIN_DECONTEXTUALIZED__

public static final SubLSymbol $sym103$_WITHIN_DECONTEXTUALIZED__

$str104$is_the_formula_being_considered_b

public static final SubLString $str104$is_the_formula_being_considered_b

$sym105$_WITHIN_DISJUNCTION__

public static final SubLSymbol $sym105$_WITHIN_DISJUNCTION__

$str106$is_the_subformula_being_canonical

public static final SubLString $str106$is_the_subformula_being_canonical

$sym107$_WITHIN_CONJUNCTION__

public static final SubLSymbol $sym107$_WITHIN_CONJUNCTION__

$str108$is_the_subformula_being_canonical

public static final SubLString $str108$is_the_subformula_being_canonical

$sym109$_WITHIN_NEGATED_DISJUNCTION__

public static final SubLSymbol $sym109$_WITHIN_NEGATED_DISJUNCTION__

$str110$is_the_subformula_being_canonical

public static final SubLString $str110$is_the_subformula_being_canonical

$sym111$_WITHIN_NEGATED_CONJUNCTION__

public static final SubLSymbol $sym111$_WITHIN_NEGATED_CONJUNCTION__

$str112$is_the_subformula_being_canonical

public static final SubLString $str112$is_the_subformula_being_canonical

$sym113$_WITHIN_FUNCTION__

public static final SubLSymbol $sym113$_WITHIN_FUNCTION__

$str114$is_the_formula_being_canonicalize

public static final SubLString $str114$is_the_formula_being_canonicalize

$sym115$_WITHIN_PREDICATE__

public static final SubLSymbol $sym115$_WITHIN_PREDICATE__

$str116$is_the_formula_being_canonicalize

public static final SubLString $str116$is_the_formula_being_canonicalize

$sym117$_WITHIN_TOU_GAF__

public static final SubLSymbol $sym117$_WITHIN_TOU_GAF__

$str118$is_the_formula_being_canonicalize

public static final SubLString $str118$is_the_formula_being_canonicalize

$sym119$_RELAX_ARG_CONSTRAINTS_FOR_DISJUNCTIONS__

public static final SubLSymbol $sym119$_RELAX_ARG_CONSTRAINTS_FOR_DISJUNCTIONS__

$str120$should_arg_type_constraints_be_we

public static final SubLString $str120$should_arg_type_constraints_be_we

$sym121$_AT_RELAX_ARG_CONSTRAINTS_FOR_OPAQUE_EXPANSION_NATS__

public static final SubLSymbol $sym121$_AT_RELAX_ARG_CONSTRAINTS_FOR_OPAQUE_EXPANSION_NATS__

$str122$within_expansions_should_arg_type

public static final SubLString $str122$within_expansions_should_arg_type

$sym123$_AT_ADMIT_CONSISTENT_NAUTS__

public static final SubLSymbol $sym123$_AT_ADMIT_CONSISTENT_NAUTS__

$str124$should_the_arg_type_module_admit_

public static final SubLString $str124$should_the_arg_type_module_admit_

$sym125$_AT_ADMIT_CONSISTENT_NARTS__

public static final SubLSymbol $sym125$_AT_ADMIT_CONSISTENT_NARTS__

$str126$should_the_arg_type_module_admit_

public static final SubLString $str126$should_the_arg_type_module_admit_

$sym127$_AT_RESULT_

public static final SubLSymbol $sym127$_AT_RESULT_

$str128$accumulates_results_of_current_at

public static final SubLString $str128$accumulates_results_of_current_at

$sym129$_AT_SOME_ARG_ISA__

public static final SubLSymbol $sym129$_AT_SOME_ARG_ISA__

$str130$is_any_arg_isa_constraint_found_d

public static final SubLString $str130$is_any_arg_isa_constraint_found_d

$sym131$_AT_SOME_ARG_ISA_REQUIRED__

public static final SubLSymbol $sym131$_AT_SOME_ARG_ISA_REQUIRED__

$str132$must_there_be_some_arg_isa_constr

public static final SubLString $str132$must_there_be_some_arg_isa_constr

$sym133$_AT_CONSIDER_MULTIARGS_AT_PRED__

public static final SubLSymbol $sym133$_AT_CONSIDER_MULTIARGS_AT_PRED__

$str134$during_arg_type_analysis_do_we_co

public static final SubLString $str134$during_arg_type_analysis_do_we_co

$int135$64

public static final SubLInteger $int135$64

$sym136$_AT_ISA_CONSTRAINTS_

public static final SubLSymbol $sym136$_AT_ISA_CONSTRAINTS_

$str137$accumulates_applicable_at_isa_con

public static final SubLString $str137$accumulates_applicable_at_isa_con

$sym138$_AT_GENL_CONSTRAINTS_

public static final SubLSymbol $sym138$_AT_GENL_CONSTRAINTS_

$str139$accumulates_applicable_at_genl_co

public static final SubLString $str139$accumulates_applicable_at_genl_co

$sym140$_AT_FORMAT_CONSTRAINTS_

public static final SubLSymbol $sym140$_AT_FORMAT_CONSTRAINTS_

$str141$accumulates_applicable_at_format_

public static final SubLString $str141$accumulates_applicable_at_format_

$sym142$_AT_DIFFERENT_CONSTRAINTS_

public static final SubLSymbol $sym142$_AT_DIFFERENT_CONSTRAINTS_

$str143$accumulates_applicable_at_differe

public static final SubLString $str143$accumulates_applicable_at_differe

$sym144$_AT_ISA_ASSERTIONS_

public static final SubLSymbol $sym144$_AT_ISA_ASSERTIONS_

$str145$accumulates_applicable_at_isa_ass

public static final SubLString $str145$accumulates_applicable_at_isa_ass

$sym146$_AT_GENL_ASSERTIONS_

public static final SubLSymbol $sym146$_AT_GENL_ASSERTIONS_

$str147$accumulates_applicable_at_genl_as

public static final SubLString $str147$accumulates_applicable_at_genl_as

$sym148$_AT_FORMAT_ASSERTIONS_

public static final SubLSymbol $sym148$_AT_FORMAT_ASSERTIONS_

$str149$accumulates_applicable_at_format_

public static final SubLString $str149$accumulates_applicable_at_format_

$sym150$_AT_DIFFERENT_ASSERTIONS_

public static final SubLSymbol $sym150$_AT_DIFFERENT_ASSERTIONS_

$str151$accumulates_applicable_at_differe

public static final SubLString $str151$accumulates_applicable_at_differe

$sym152$_AT_MODE_

public static final SubLSymbol $sym152$_AT_MODE_

$str153$the_type_of_at_test_currently_bei

public static final SubLString $str153$the_type_of_at_test_currently_bei

$sym154$_AT_CONSTRAINT_TYPE_

public static final SubLSymbol $sym154$_AT_CONSTRAINT_TYPE_

$str155$the_type_of_at_constraint_current

public static final SubLString $str155$the_type_of_at_constraint_current

$sym156$_AT_ARG_TYPE_

public static final SubLSymbol $sym156$_AT_ARG_TYPE_

$str157$type_of_arg_being_considered_with

public static final SubLString $str157$type_of_arg_being_considered_with

$sym158$_AT_BASE_FN_

public static final SubLSymbol $sym158$_AT_BASE_FN_

$str159$fn_applied_to_each_applicable_arg

public static final SubLString $str159$fn_applied_to_each_applicable_arg

$sym160$_AT_FORMULA_

public static final SubLSymbol $sym160$_AT_FORMULA_

$str161$the_formula_being_appraised

public static final SubLString $str161$the_formula_being_appraised

$sym162$_AT_PRED_

public static final SubLSymbol $sym162$_AT_PRED_

$str163$the_current_at_module_constraint_

public static final SubLString $str163$the_current_at_module_constraint_

$sym164$_AT_INVERSE_

public static final SubLSymbol $sym164$_AT_INVERSE_

$str165$the_inverse_of_the_current_at_mod

public static final SubLString $str165$the_inverse_of_the_current_at_mod

$sym166$_AT_RELN_

public static final SubLSymbol $sym166$_AT_RELN_

$str167$the_relation_whose_args_are_curre

public static final SubLString $str167$the_relation_whose_args_are_curre

$sym168$_AT_ARG_

public static final SubLSymbol $sym168$_AT_ARG_

$str169$the_particular_arg_that_is_curren

public static final SubLString $str169$the_particular_arg_that_is_curren

$sym170$_AT_ARGNUM_

public static final SubLSymbol $sym170$_AT_ARGNUM_

$str171$the_position_of_the_arg_that_is_c

public static final SubLString $str171$the_position_of_the_arg_that_is_c

$sym172$_AT_ARG1_

public static final SubLSymbol $sym172$_AT_ARG1_

$str173$the_1st_arg_of_the_literal_or_fun

public static final SubLString $str173$the_1st_arg_of_the_literal_or_fun

$sym174$_AT_ARG2_

public static final SubLSymbol $sym174$_AT_ARG2_

$str175$the_2nd_arg_of_the_literal_or_fun

public static final SubLString $str175$the_2nd_arg_of_the_literal_or_fun

$sym176$_AT_IND_ARGNUM_

public static final SubLSymbol $sym176$_AT_IND_ARGNUM_

$str177$the_position_of_the_independent_a

public static final SubLString $str177$the_position_of_the_independent_a

$sym178$_AT_IND_ARG_

public static final SubLSymbol $sym178$_AT_IND_ARG_

$str179$the_independent_arg_that_is_const

public static final SubLString $str179$the_independent_arg_that_is_const

$sym180$_AT_IND_ISA_

public static final SubLSymbol $sym180$_AT_IND_ISA_

$str181$the_isa_of_the_independent_arg_th

public static final SubLString $str181$the_isa_of_the_independent_arg_th

$sym182$_AT_IND_GENL_

public static final SubLSymbol $sym182$_AT_IND_GENL_

$str183$the_genl_of_the_independent_arg_t

public static final SubLString $str183$the_genl_of_the_independent_arg_t

$sym184$_AT_ARG_ISA_

public static final SubLSymbol $sym184$_AT_ARG_ISA_

$str185$the_isa_of_the_dependent_arg_that

public static final SubLString $str185$the_isa_of_the_dependent_arg_that

$sym186$_AT_SOURCE_

public static final SubLSymbol $sym186$_AT_SOURCE_

$str187$the_constant_indexing_the_current

public static final SubLString $str187$the_constant_indexing_the_current

$sym188$_AT_MAPPING_GENL_INVERSES__

public static final SubLSymbol $sym188$_AT_MAPPING_GENL_INVERSES__

$str189$dynamic_state_variable__are_we_lo

public static final SubLString $str189$dynamic_state_variable__are_we_lo

$sym190$_AT_SEARCH_GENL_PREDS__

public static final SubLSymbol $sym190$_AT_SEARCH_GENL_PREDS__

$str191$consider_genlPreds_during_current

public static final SubLString $str191$consider_genlPreds_during_current

$sym192$_AT_SEARCH_GENL_INVERSES__

public static final SubLSymbol $sym192$_AT_SEARCH_GENL_INVERSES__

$str193$consider_genlInverses_during_curr

public static final SubLString $str193$consider_genlInverses_during_curr

$sym194$_AT_PROFILE_TERM_

public static final SubLSymbol $sym194$_AT_PROFILE_TERM_

$str195$the_termvarconstant_______tha

public static final SubLString $str195$the_term__var__constant_______tha

$sym196$_AT_CONSTRAINT_GAF_

public static final SubLSymbol $sym196$_AT_CONSTRAINT_GAF_

$str197$the_arg_type_constraint_assertion

public static final SubLString $str197$the_arg_type_constraint_assertion

$sym198$_INCLUDE_AT_CONSTRAINT_GAF__

public static final SubLSymbol $sym198$_INCLUDE_AT_CONSTRAINT_GAF__

$str199$boolean__should_errors_reference_

public static final SubLString $str199$boolean__should_errors_reference_

$sym200$_AT_VAR_ISA_

public static final SubLSymbol $sym200$_AT_VAR_ISA_

$str201$the_accumulating_inter_reference_

public static final SubLString $str201$the_accumulating_inter_reference_

$sym202$_AT_VAR_GENL_

public static final SubLSymbol $sym202$_AT_VAR_GENL_

$str203$the_accumulating_inter_reference_

public static final SubLString $str203$the_accumulating_inter_reference_

$kw204$NOT_DISJOINT

public static final SubLSymbol $kw204$NOT_DISJOINT

$sym205$_AT_VAR_TYPES_STANDARD_

public static final SubLSymbol $sym205$_AT_VAR_TYPES_STANDARD_

$str206$the_standard_for_acceptable_arg_t

public static final SubLString $str206$the_standard_for_acceptable_arg_t

$sym207$_AT_ASSUME_CONJUNCTS_INDEPENDENT__

public static final SubLSymbol $sym207$_AT_ASSUME_CONJUNCTS_INDEPENDENT__

$str208$Whether_arg_type_checking_for_var

public static final SubLString $str208$Whether_arg_type_checking_for_var

$sym209$_CURRENT_AT_VIOLATION_

public static final SubLSymbol $sym209$_CURRENT_AT_VIOLATION_

$str210$description_of_most_recent_violat

public static final SubLString $str210$description_of_most_recent_violat

$sym211$_AT_VIOLATIONS_

public static final SubLSymbol $sym211$_AT_VIOLATIONS_

$str212$descriptions_of_how_a_relational_

public static final SubLString $str212$descriptions_of_how_a_relational_

$sym213$_AT_DISJOINS_SPACE_

public static final SubLSymbol $sym213$_AT_DISJOINS_SPACE_

$str214$sbhl_space_used_for_marking_disjo

public static final SubLString $str214$sbhl_space_used_for_marking_disjo

$sym215$_AT_ISA_SPACE_

public static final SubLSymbol $sym215$_AT_ISA_SPACE_

$str216$sbhl_space_used_for_marking_all_i

public static final SubLString $str216$sbhl_space_used_for_marking_all_i

$sym217$_AT_GENLS_SPACE_

public static final SubLSymbol $sym217$_AT_GENLS_SPACE_

$str218$sbhl_space_used_for_marking_all_g

public static final SubLString $str218$sbhl_space_used_for_marking_all_g

$sym219$_AT_DEFNS_AVAILABLE__

public static final SubLSymbol $sym219$_AT_DEFNS_AVAILABLE__

$str220$make_defns_available_for_at_queri

public static final SubLString $str220$make_defns_available_for_at_queri

$sym221$_AT_APPLY_NECESSARY_DEFNS__

public static final SubLSymbol $sym221$_AT_APPLY_NECESSARY_DEFNS__

$str222$enforce_all_applicable_necessary_

public static final SubLString $str222$enforce_all_applicable_necessary_

$sym223$_SORT_SUF_DEFN_ASSERTIONS__

public static final SubLSymbol $sym223$_SORT_SUF_DEFN_ASSERTIONS__

$str224$are_the_cached_suf_defn_assertion

public static final SubLString $str224$are_the_cached_suf_defn_assertion

$sym225$_SORT_SUF_FUNCTION_ASSERTIONS__

public static final SubLSymbol $sym225$_SORT_SUF_FUNCTION_ASSERTIONS__

$str226$are_the_cached_suf_function_asser

public static final SubLString $str226$are_the_cached_suf_function_asser

$sym227$_AT_COLLECTION_SPECIFIC_DEFNS_

public static final SubLSymbol $sym227$_AT_COLLECTION_SPECIFIC_DEFNS_

$str228$defns_which_reference__defn_colle

public static final SubLString $str228$defns_which_reference__defn_colle

$sym229$_DEFN_TRACE_LEVEL_

public static final SubLSymbol $sym229$_DEFN_TRACE_LEVEL_

$sym230$_DEFN_TEST_LEVEL_

public static final SubLSymbol $sym230$_DEFN_TEST_LEVEL_

$sym231$_DEFN_METERS__

public static final SubLSymbol $sym231$_DEFN_METERS__

$str232$activate_metering_of_functions_wi

public static final SubLString $str232$activate_metering_of_functions_wi

$int233$256

public static final SubLInteger $int233$256

$sym234$_SUF_DEFN_CACHE_

public static final SubLSymbol $sym234$_SUF_DEFN_CACHE_

$int235$200

public static final SubLInteger $int235$200

$sym236$_SUF_QUOTED_DEFN_CACHE_

public static final SubLSymbol $sym236$_SUF_QUOTED_DEFN_CACHE_

$sym237$_DEFN_METER_CACHES_

public static final SubLSymbol $sym237$_DEFN_METER_CACHES_

$str238$list_of_caches_used_for_metering_

public static final SubLString $str238$list_of_caches_used_for_metering_

$sym239$_DEFN_COLLECTION_

public static final SubLSymbol $sym239$_DEFN_COLLECTION_

$str240$the_collection_with_which_the_cur

public static final SubLString $str240$the_collection_with_which_the_cur

$sym241$_PERMITTING_DENOTATIONAL_TERMS_ADMITTED_BY_DEFN_VIA_ISA__

public static final SubLSymbol $sym241$_PERMITTING_DENOTATIONAL_TERMS_ADMITTED_BY_DEFN_VIA_ISA__

$str242$should_defns_admit_a_denotation_t

public static final SubLString $str242$should_defns_admit_a_denotation_t

$sym243$CLET

public static final SubLSymbol $sym243$CLET

$list244

public static final SubLList $list244

$sym245$_AT_DEFN_

public static final SubLSymbol $sym245$_AT_DEFN_

$str246$current_defn_assertion_being_cons

public static final SubLString $str246$current_defn_assertion_being_cons

$sym247$_AT_DEFNS_

public static final SubLSymbol $sym247$_AT_DEFNS_

$str248$current_defn_assertions_being_con

public static final SubLString $str248$current_defn_assertions_being_con

$sym249$_SUF_FUNCTION_CACHE_

public static final SubLSymbol $sym249$_SUF_FUNCTION_CACHE_

$sym250$_SUF_QUOTED_FUNCTION_CACHE_

public static final SubLSymbol $sym250$_SUF_QUOTED_FUNCTION_CACHE_

$sym251$_AT_FUNCTION_

public static final SubLSymbol $sym251$_AT_FUNCTION_

$str252$current_sufficient_function_asser

public static final SubLString $str252$current_sufficient_function_asser

$sym253$_AT_FUNCTIONS_

public static final SubLSymbol $sym253$_AT_FUNCTIONS_

$str254$current_sufficient_function_asser

public static final SubLString $str254$current_sufficient_function_asser

$int255$32

public static final SubLInteger $int255$32

$sym256$_DEFN_FN_HISTORY_DEFAULT_SIZE_

public static final SubLSymbol $sym256$_DEFN_FN_HISTORY_DEFAULT_SIZE_

$str257$the_initial_size_of_each_nested_d

public static final SubLString $str257$the_initial_size_of_each_nested_d

$sym258$_DEFN_COL_HISTORY_DEFAULT_SIZE_

public static final SubLSymbol $sym258$_DEFN_COL_HISTORY_DEFAULT_SIZE_

$str259$the_initial_size_of_each_nested_d

public static final SubLString $str259$the_initial_size_of_each_nested_d

$kw260$UNINITIALIZED

public static final SubLSymbol $kw260$UNINITIALIZED

$sym261$_DEFN_COL_HISTORY_

public static final SubLSymbol $sym261$_DEFN_COL_HISTORY_

$str262$the_cache_used__by_the_current_de

public static final SubLString $str262$the_cache_used__by_the_current_de

$sym263$_QUOTED_DEFN_COL_HISTORY_

public static final SubLSymbol $sym263$_QUOTED_DEFN_COL_HISTORY_

$str264$the_cache_used__by_the_current_qu

public static final SubLString $str264$the_cache_used__by_the_current_qu

$sym265$_DEFN_FN_HISTORY_

public static final SubLSymbol $sym265$_DEFN_FN_HISTORY_

$str266$the_cache_used__by_the_current_de

public static final SubLString $str266$the_cache_used__by_the_current_de

$sym267$_QUOTED_DEFN_FN_HISTORY_

public static final SubLSymbol $sym267$_QUOTED_DEFN_FN_HISTORY_

$str268$the_cache_used__by_the_current_qu

public static final SubLString $str268$the_cache_used__by_the_current_qu

$sym269$_DEFN_STACK_

public static final SubLSymbol $sym269$_DEFN_STACK_

$str270$A_stack_of_defns_being_called__to

public static final SubLString $str270$A_stack_of_defns_being_called__to

$kw271$DEFAULT

public static final SubLSymbol $kw271$DEFAULT

$kw272$NO_DEFINING_MTS

public static final SubLSymbol $kw272$NO_DEFINING_MTS

$kw273$NO_ARG_TYPES

public static final SubLSymbol $kw273$NO_ARG_TYPES

$kw274$NO_ARG_FORMAT

public static final SubLSymbol $kw274$NO_ARG_FORMAT

Method Detail

at_check_defining_mts_p

public static final SubLObject at_check_defining_mts_p()

within_tou_gafP

public static final SubLObject within_tou_gafP()

Returns:: boolean, t iff the formula being canonicalized isa a termOfUnit gaf?

at_some_arg_isa_requiredP

public static final SubLObject at_some_arg_isa_requiredP()

Returns:: boolean; must there be some arg-isa constraint applicable to an arg for a given arg, relation, argnum to be wf?

consider_multiargs_at_predP

public static final SubLObject consider_multiargs_at_predP()

Returns:: boolean; during arg-type analysis do we consider multi-arg (argsIsa) constraints for specified args (arg1)

at_searching_genl_predsP

public static final SubLObject at_searching_genl_predsP()

at_searching_genl_inversesP

public static final SubLObject at_searching_genl_inversesP()

permitting_denotational_terms_admitted_by_defn_via_isaP

public static final SubLObject permitting_denotational_terms_admitted_by_defn_via_isaP()

declare_at_vars_file

public static final SubLObject declare_at_vars_file()

init_at_vars_file

public static final SubLObject init_at_vars_file()

setup_at_vars_file

public static final SubLObject setup_at_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 at_vars

me

myName

$semantic_dnf_hl_filtering_enabled$

$at_check_fn_symbolP$

$at_check_arg_genlsP$

$at_check_arg_isaP$

$at_check_arg_quoted_isaP$

$at_check_arg_not_isaP$

$at_check_arg_typesP$

$at_possibly_check_defining_mtsP$

$at_check_defining_mtsP$

$at_check_inter_arg_isaP$

$at_check_inter_arg_not_isaP$

$at_check_inter_arg_genlP$

$at_check_non_constant_inter_arg_isaP$

$at_check_non_constant_inter_arg_genlP$

$at_check_non_constant_inter_arg_formatP$

$at_check_not_isa_disjointP$

$at_check_not_quoted_isa_disjointP$

$at_check_not_genls_disjointP$

$at_check_not_mdwP$

$at_check_not_sdcP$

$at_check_arg_formatP$

$at_check_sefP$

$at_check_relator_constraintsP$

$at_ensure_consistencyP$

$at_pred_constraints$

$at_predicate_violations$

$at_check_inter_assert_format_wXo_arg_indexP$

$at_check_inter_assert_format_wXo_arg_index_gaf_count_threshold$

$fag_search_limit$

$at_gaf_search_limit$

$at_check_inter_arg_formatP$

$at_check_inter_arg_differentP$

$at_check_genl_predsP$

$at_check_genl_inversesP$

$at_include_isa_literal_constraints$

$at_include_genl_literal_constraints$

$gather_at_constraintsP$

$gather_at_assertionsP$

$gather_at_format_violationsP$

$gather_at_different_violationsP$

$gather_at_predicate_violationsP$

$at_format_violations$

$at_different_violations$

$within_at_suggestionP$

$within_at_mappingP$

$at_break_on_failureP$

$accumulating_at_violationsP$

$noting_at_violationsP$

$at_trace_level$

$at_test_level$

$appraising_disjunctP$

$within_decontextualizedP$

$within_disjunctionP$

$within_conjunctionP$

$within_negated_disjunctionP$

$within_negated_conjunctionP$

$within_functionP$

$within_predicateP$

$within_tou_gafP$

$relax_arg_constraints_for_disjunctionsP$

$at_relax_arg_constraints_for_opaque_expansion_natsP$

$at_admit_consistent_nautsP$

$at_admit_consistent_nartsP$

$at_result$

$at_some_arg_isaP$

$at_some_arg_isa_requiredP$

$at_consider_multiargs_at_predP$

$at_isa_constraints$

$at_genl_constraints$

$at_format_constraints$

$at_different_constraints$

$at_isa_assertions$

$at_genl_assertions$

$at_format_assertions$

$at_different_assertions$

$at_mode$

$at_constraint_type$

com.cyc.cycjava.cycl
Class at_vars