inference_datastructures_problem

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.inference.harness
Class inference_datastructures_problem_store

java.lang.Object
  com.cyc.tool.subl.util.SubLTrampolineFile
      com.cyc.tool.subl.util.SubLTranslatedFile
          com.cyc.cycjava.cycl.inference.harness.inference_datastructures_problem_store

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class inference_datastructures_problem_store
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`inference_datastructures_problem_store.$problem_store_janitor_native`
`static class`	`inference_datastructures_problem_store.$problem_store_janitor_p$UnaryFunction`
`static class`	`inference_datastructures_problem_store.$problem_store_native`
`static class`	`inference_datastructures_problem_store.$problem_store_p$UnaryFunction`

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

Field Summary
`static SubLSymbol`	$dtp_problem_store_janitor$
`static SubLSymbol`	$dtp_problem_store$
`static SubLInteger`	`$int20$21`
`static SubLInteger`	`$int21$22`
`static SubLInteger`	`$int22$23`
`static SubLInteger`	`$int23$24`
`static SubLInteger`	`$int24$25`
`static SubLInteger`	`$int245$80`
`static SubLInteger`	`$int246$120`
`static SubLInteger`	`$int25$26`
`static SubLInteger`	`$int26$27`
`static SubLInteger`	`$int27$28`
`static SubLInteger`	`$int279$212`
`static SubLInteger`	`$int28$29`
`static SubLInteger`	`$int29$30`
`static SubLInteger`	`$int30$31`
`static SubLInteger`	`$int31$32`
`static SubLInteger`	`$int32$33`
`static SubLInteger`	`$int33$34`
`static SubLInteger`	`$int34$35`
`static SubLInteger`	`$int35$36`
`static SubLInteger`	`$int36$37`
`static SubLInteger`	`$int37$38`
`static SubLInteger`	`$int38$39`
`static SubLInteger`	`$int39$40`
`static SubLInteger`	`$int40$41`
`static SubLInteger`	`$int41$42`
`static SubLInteger`	`$int42$43`
`static SubLInteger`	`$int43$44`
`static SubLInteger`	`$int44$45`
`static SubLInteger`	`$int45$46`
`static SubLInteger`	`$int46$47`
`static SubLSymbol`	`$kw11$IGNORE_ERRORS_TARGET`
`static SubLSymbol`	`$kw140$GUID`
`static SubLSymbol`	`$kw141$SUID`
`static SubLSymbol`	`$kw142$LOCK`
`static SubLSymbol`	`$kw143$CREATION_TIME`
`static SubLSymbol`	`$kw144$INFERENCE_ID_INDEX`
`static SubLSymbol`	`$kw145$STRATEGY_ID_INDEX`
`static SubLSymbol`	`$kw146$PROBLEM_ID_INDEX`
`static SubLSymbol`	`$kw147$LINK_ID_INDEX`
`static SubLSymbol`	`$kw148$PROOF_ID_INDEX`
`static SubLSymbol`	`$kw149$PROBLEM_BY_QUERY_INDEX`
`static SubLSymbol`	`$kw150$REJECTED_PROOFS`
`static SubLSymbol`	`$kw151$PROCESSED_PROOFS`
`static SubLSymbol`	`$kw152$NON_EXPLANATORY_SUBPROOFS_POSSIBLE_`
`static SubLSymbol`	`$kw153$NON_EXPLANATORY_SUBPROOFS_INDEX`
`static SubLSymbol`	`$kw154$MOST_RECENT_TACTIC_EXECUTED`
`static SubLSymbol`	`$kw155$MIN_PROOF_DEPTH_INDEX`
`static SubLSymbol`	`$kw156$MIN_TRANSFORMATION_DEPTH_INDEX`
`static SubLSymbol`	`$kw157$MIN_TRANSFORMATION_DEPTH_SIGNATURE_INDEX`
`static SubLSymbol`	`$kw158$MIN_DEPTH_INDEX`
`static SubLSymbol`	`$kw159$EQUALITY_REASONING_METHOD`
`static SubLSymbol`	`$kw160$EQUALITY_REASONING_DOMAIN`
`static SubLSymbol`	`$kw161$INTERMEDIATE_STEP_VALIDATION_LEVEL`
`static SubLSymbol`	`$kw162$MAX_PROBLEM_COUNT`
`static SubLSymbol`	`$kw163$CRAZY_MAX_PROBLEM_COUNT`
`static SubLSymbol`	`$kw164$REMOVAL_ALLOWED_`
`static SubLSymbol`	`$kw165$TRANSFORMATION_ALLOWED_`
`static SubLSymbol`	`$kw166$ADD_RESTRICTION_LAYER_OF_INDIRECTION_`
`static SubLSymbol`	`$kw167$NEGATION_BY_FAILURE_`
`static SubLSymbol`	`$kw168$COMPLETENESS_MINIMIZATION_ALLOWED_`
`static SubLSymbol`	`$kw169$DIRECTION`
`static SubLSymbol`	`$kw170$EVALUATE_SUBL_ALLOWED_`
`static SubLSymbol`	`$kw171$REWRITE_ALLOWED_`
`static SubLSymbol`	`$kw172$ABDUCTION_ALLOWED_`
`static SubLSymbol`	`$kw173$NEW_TERMS_ALLOWED_`
`static SubLSymbol`	`$kw174$COMPUTE_ANSWER_JUSTIFICATIONS_`
`static SubLSymbol`	`$kw175$MEMOIZATION_STATE`
`static SubLSymbol`	`$kw176$SBHL_RESOURCE_SPACE`
`static SubLSymbol`	`$kw177$PREPARED_`
`static SubLSymbol`	`$kw178$DESTRUCTION_IMMINENT_`
`static SubLSymbol`	`$kw179$META_PROBLEM_STORE`
`static SubLSymbol`	`$kw180$STATIC_PROPERTIES`
`static SubLSymbol`	`$kw181$JANITOR`
`static SubLSymbol`	`$kw182$HISTORICAL_ROOT_PROBLEMS`
`static SubLSymbol`	`$kw183$COMPLEX_PROBLEM_QUERY_CZER_INDEX`
`static SubLSymbol`	`$kw184$COMPLEX_PROBLEM_QUERY_SIGNATURES`
`static SubLSymbol`	`$kw185$PROOF_KEEPING_INDEX`
`static SubLSymbol`	`$kw187$FREE`
`static SubLSymbol`	`$kw219$ORDERED`
`static SubLSymbol`	`$kw225$TYPE`
`static SubLSymbol`	`$kw233$PROOF_STATUS`
`static SubLSymbol`	`$kw253$NONE`
`static SubLSymbol`	`$kw254$EMPTY_DOMAIN`
`static SubLSymbol`	`$kw261$SKIP`
`static SubLSymbol`	`$kw264$FORWARD`
`static SubLSymbol`	`$kw265$TACTICAL`
`static SubLSymbol`	`$kw266$CONTENT`
`static SubLSymbol`	`$kw267$ANSWER`
`static SubLSymbol`	`$kw268$REMOVAL`
`static SubLSymbol`	`$kw269$REMOVAL_CONJUNCTIVE`
`static SubLSymbol`	`$kw270$TRANSFORMATION`
`static SubLSymbol`	`$kw271$REWRITE`
`static SubLSymbol`	`$kw272$STRUCTURAL`
`static SubLSymbol`	`$kw273$JOIN_ORDERED`
`static SubLSymbol`	`$kw274$JOIN`
`static SubLSymbol`	`$kw275$SPLIT`
`static SubLSymbol`	`$kw276$RESTRICTION`
`static SubLSymbol`	`$kw277$RESIDUAL_TRANSFORMATION`
`static SubLSymbol`	`$kw278$UNION`
`static SubLSymbol`	`$kw280$POSSIBLE`
`static SubLSymbol`	`$kw281$EXECUTED`
`static SubLSymbol`	`$kw282$DISCARDED`
`static SubLSymbol`	`$kw287$UNDETERMINED`
`static SubLSymbol`	`$kw288$UNKNOWN`
`static SubLSymbol`	`$kw289$NON_PROOF_KEEPING`
`static SubLSymbol`	`$kw297$_MEMOIZED_ITEM_NOT_FOUND_`
`static SubLSymbol`	`$kw3$ALLOW_OTHER_KEYS`
`static SubLSymbol`	`$kw313$STORE`
`static SubLSymbol`	`$kw314$INDESTRUCTIBLE_PROBLEMS`
`static SubLSymbol`	`$kw315$STALE_`
`static SubLSymbol`	`$kw326$PROBLEM_STORE_NAME`
`static SubLSymbol`	`$kw4$DONE`
`static SubLList`	`$list1`
`static SubLList`	`$list15`
`static SubLList`	`$list16`
`static SubLList`	`$list17`
`static SubLList`	`$list18`
`static SubLList`	`$list191`
`static SubLList`	`$list195`
`static SubLList`	`$list2`
`static SubLList`	`$list206`
`static SubLList`	`$list210`
`static SubLList`	`$list214`
`static SubLList`	`$list216`
`static SubLList`	`$list217`
`static SubLList`	`$list218`
`static SubLList`	`$list223`
`static SubLList`	`$list224`
`static SubLList`	`$list231`
`static SubLList`	`$list232`
`static SubLList`	`$list238`
`static SubLList`	`$list242`
`static SubLList`	`$list290`
`static SubLList`	`$list301`
`static SubLList`	`$list302`
`static SubLList`	`$list303`
`static SubLList`	`$list304`
`static SubLList`	`$list318`
`static SubLList`	`$list7`
`static SubLSymbol`	$problem_store_modification_permittedP$ Whether the problem store and related datastructures are permitted to be created, destroyed, or modified.
`static SubLString`	`$str186$Invalid_slot__S_for_construction_`
`static SubLString`	`$str188$_Invalid_PROBLEM_STORE__s_`
`static SubLString`	`$str189$_PROBLEM_STORE__a_size__a_`
`static SubLString`	`$str249$A_problem_store_named__s_already_`
`static SubLString`	`$str250$Problem_Store_Lock`
`static SubLString`	`$str259$problem_store_memoization_state`
`static SubLString`	`$str260$problem_store_memoization_lock`
`static SubLString`	`$str291$Invalid_proof_keeping_reason__a_f`
`static SubLString`	`$str295$Invalid_attempt_to_reuse_memoizat`
`static SubLString`	`$str329$Problem_store_property__S_reflect`
`static SubLSymbol`	`$sym0$_PROBLEM_STORE_ID_INDEX_`
`static SubLSymbol`	`$sym10$DO_ALL_PROBLEM_STORES`
`static SubLSymbol`	`$sym100$PROB_STORE_ADD_RESTRICTION_LAYER_OF_INDIRECTION_`
`static SubLSymbol`	`$sym101$_CSETF_PROB_STORE_ADD_RESTRICTION_LAYER_OF_INDIRECTION_`
`static SubLSymbol`	`$sym102$PROB_STORE_NEGATION_BY_FAILURE_`
`static SubLSymbol`	`$sym103$_CSETF_PROB_STORE_NEGATION_BY_FAILURE_`
`static SubLSymbol`	`$sym104$PROB_STORE_COMPLETENESS_MINIMIZATION_ALLOWED_`
`static SubLSymbol`	`$sym105$_CSETF_PROB_STORE_COMPLETENESS_MINIMIZATION_ALLOWED_`
`static SubLSymbol`	`$sym106$PROB_STORE_DIRECTION`
`static SubLSymbol`	`$sym107$_CSETF_PROB_STORE_DIRECTION`
`static SubLSymbol`	`$sym108$PROB_STORE_EVALUATE_SUBL_ALLOWED_`
`static SubLSymbol`	`$sym109$_CSETF_PROB_STORE_EVALUATE_SUBL_ALLOWED_`
`static SubLSymbol`	`$sym110$PROB_STORE_REWRITE_ALLOWED_`
`static SubLSymbol`	`$sym111$_CSETF_PROB_STORE_REWRITE_ALLOWED_`
`static SubLSymbol`	`$sym112$PROB_STORE_ABDUCTION_ALLOWED_`
`static SubLSymbol`	`$sym113$_CSETF_PROB_STORE_ABDUCTION_ALLOWED_`
`static SubLSymbol`	`$sym114$PROB_STORE_NEW_TERMS_ALLOWED_`
`static SubLSymbol`	`$sym115$_CSETF_PROB_STORE_NEW_TERMS_ALLOWED_`
`static SubLSymbol`	`$sym116$PROB_STORE_COMPUTE_ANSWER_JUSTIFICATIONS_`
`static SubLSymbol`	`$sym117$_CSETF_PROB_STORE_COMPUTE_ANSWER_JUSTIFICATIONS_`
`static SubLSymbol`	`$sym118$PROB_STORE_MEMOIZATION_STATE`
`static SubLSymbol`	`$sym119$_CSETF_PROB_STORE_MEMOIZATION_STATE`
`static SubLSymbol`	`$sym12$IGNORE_ERRORS_HANDLER`
`static SubLSymbol`	`$sym120$PROB_STORE_SBHL_RESOURCE_SPACE`
`static SubLSymbol`	`$sym121$_CSETF_PROB_STORE_SBHL_RESOURCE_SPACE`
`static SubLSymbol`	`$sym122$PROB_STORE_PREPARED_`
`static SubLSymbol`	`$sym123$_CSETF_PROB_STORE_PREPARED_`
`static SubLSymbol`	`$sym124$PROB_STORE_DESTRUCTION_IMMINENT_`
`static SubLSymbol`	`$sym125$_CSETF_PROB_STORE_DESTRUCTION_IMMINENT_`
`static SubLSymbol`	`$sym126$PROB_STORE_META_PROBLEM_STORE`
`static SubLSymbol`	`$sym127$_CSETF_PROB_STORE_META_PROBLEM_STORE`
`static SubLSymbol`	`$sym128$PROB_STORE_STATIC_PROPERTIES`
`static SubLSymbol`	`$sym129$_CSETF_PROB_STORE_STATIC_PROPERTIES`
`static SubLSymbol`	`$sym13$PROBLEM_STORE`
`static SubLSymbol`	`$sym130$PROB_STORE_JANITOR`
`static SubLSymbol`	`$sym131$_CSETF_PROB_STORE_JANITOR`
`static SubLSymbol`	`$sym132$PROB_STORE_HISTORICAL_ROOT_PROBLEMS`
`static SubLSymbol`	`$sym133$_CSETF_PROB_STORE_HISTORICAL_ROOT_PROBLEMS`
`static SubLSymbol`	`$sym134$PROB_STORE_COMPLEX_PROBLEM_QUERY_CZER_INDEX`
`static SubLSymbol`	`$sym135$_CSETF_PROB_STORE_COMPLEX_PROBLEM_QUERY_CZER_INDEX`
`static SubLSymbol`	`$sym136$PROB_STORE_COMPLEX_PROBLEM_QUERY_SIGNATURES`
`static SubLSymbol`	`$sym137$_CSETF_PROB_STORE_COMPLEX_PROBLEM_QUERY_SIGNATURES`
`static SubLSymbol`	`$sym138$PROB_STORE_PROOF_KEEPING_INDEX`
`static SubLSymbol`	`$sym139$_CSETF_PROB_STORE_PROOF_KEEPING_INDEX`
`static SubLSymbol`	`$sym14$PROBLEM_STORE_P`
`static SubLSymbol`	`$sym19$PRINT_PROBLEM_STORE`
`static SubLSymbol`	`$sym190$SXHASH_PROBLEM_STORE_METHOD`
`static SubLSymbol`	`$sym192$WITH_LOCK_HELD`
`static SubLSymbol`	`$sym193$PROBLEM_STORE_LOCK`
`static SubLSymbol`	`$sym194$WITH_PROBLEM_STORE_LOCK_HELD`
`static SubLSymbol`	`$sym196$WITH_MEMOIZATION_STATE`
`static SubLSymbol`	`$sym197$PROBLEM_STORE_MEMOIZATION_STATE`
`static SubLSymbol`	`$sym198$WITH_PROBLEM_STORE_MEMOIZATION_STATE`
`static SubLSymbol`	`$sym199$SPACE_VAR`
`static SubLSymbol`	`$sym200$CLET`
`static SubLSymbol`	`$sym201$PROBLEM_STORE_SBHL_RESOURCE_SPACE`
`static SubLSymbol`	`$sym202$WITH_SBHL_MARKING_SPACE_RESOURCE`
`static SubLSymbol`	`$sym203$SET_PROBLEM_STORE_SBHL_RESOURCE_SPACE`
`static SubLSymbol`	`$sym204$WITH_PROBLEM_STORE_SBHL_RESOURCE_SPACE`
`static SubLSymbol`	`$sym205$STORE_VAR`
`static SubLSymbol`	`$sym207$ID`
`static SubLSymbol`	`$sym208$PROBLEM_STORE_INFERENCE_ID_INDEX`
`static SubLSymbol`	`$sym209$DO_PROBLEM_STORE_INFERENCES`
`static SubLSymbol`	`$sym211$ID`
`static SubLSymbol`	`$sym212$PROBLEM_STORE_STRATEGY_ID_INDEX`
`static SubLSymbol`	`$sym213$DO_PROBLEM_STORE_STRATEGIES`
`static SubLSymbol`	`$sym215$PUNLESS`
`static SubLSymbol`	`$sym220$ID`
`static SubLSymbol`	`$sym221$PROBLEM_STORE_PROBLEM_ID_INDEX`
`static SubLSymbol`	`$sym222$DO_PROBLEM_STORE_PROBLEMS`
`static SubLSymbol`	`$sym226$ID`
`static SubLSymbol`	`$sym227$PROBLEM_STORE_LINK_ID_INDEX`
`static SubLSymbol`	`$sym228$DO_PROBLEM_STORE_LINKS`
`static SubLSymbol`	`$sym229$PWHEN`
`static SubLSymbol`	`$sym230$PROBLEM_LINK_HAS_TYPE_`
`static SubLSymbol`	`$sym234$ID`
`static SubLSymbol`	`$sym235$PROBLEM_STORE_PROOF_ID_INDEX`
`static SubLSymbol`	`$sym236$DO_PROBLEM_STORE_PROOFS`
`static SubLSymbol`	`$sym237$PROOF_HAS_STATUS_`
`static SubLSymbol`	`$sym239$DO_SET`
`static SubLSymbol`	`$sym240$PROBLEM_STORE_HISTORICAL_ROOT_PROBLEMS`
`static SubLSymbol`	`$sym241$DO_PROBLEM_STORE_HISTORICAL_ROOT_PROBLEMS`
`static SubLSymbol`	`$sym243$INFERENCE_VAR`
`static SubLSymbol`	`$sym244$INFERENCE_STRATEGY_SET`
`static SubLSymbol`	`$sym247$PROBLEM_STORE_PROPERTIES_P`
`static SubLSymbol`	`$sym248$PROBLEM_STORE_NAME_P`
`static SubLSymbol`	`$sym251$PROBLEM_STORE_EQUALITY_REASONING_METHOD_P`
`static SubLSymbol`	`$sym252$PROBLEM_STORE_EQUALITY_REASONING_DOMAIN_P`
`static SubLSymbol`	`$sym255$INTERMEDIATE_STEP_VALIDATION_LEVEL_P`
`static SubLSymbol`	`$sym256$MAX_PROBLEM_COUNT_P`
`static SubLSymbol`	`$sym257$BOOLEANP`
`static SubLSymbol`	`$sym258$INFERENCE_DIRECTION_P`
`static SubLSymbol`	`$sym262$TACTIC_P`
`static SubLSymbol`	`$sym263$NEW_PROBLEM_STORE_P`
`static SubLSymbol`	`$sym283$_`
`static SubLSymbol`	`$sym284$PROOF_SUID`
`static SubLSymbol`	`$sym285$PROBLEM_SUID`
`static SubLSymbol`	`$sym286$PROBLEM_LINK_SUID`
`static SubLSymbol`	`$sym292$NON_NEGATIVE_INTEGER_P`
`static SubLSymbol`	`$sym293$PROOF_REJECTED_`
`static SubLSymbol`	`$sym294$PROOF_P`
`static SubLSymbol`	`$sym296$ENSURE_TRANSFORMATION_RULE_CONSIDERED_NOTED`
`static SubLSymbol`	`$sym298$ENSURE_TRANSFORMATION_RULE_SUCCESS_NOTED`
`static SubLSymbol`	`$sym299$PROBLEM_STORE_JANITOR`
`static SubLSymbol`	`$sym300$PROBLEM_STORE_JANITOR_P`
`static SubLSymbol`	`$sym305$DEFAULT_STRUCT_PRINT_FUNCTION`
`static SubLSymbol`	`$sym306$PROBLEM_STORE_JANITOR_PRINT_FUNCTION_TRAMPOLINE`
`static SubLSymbol`	`$sym307$PROB_STORE_JANITOR_STORE`
`static SubLSymbol`	`$sym308$_CSETF_PROB_STORE_JANITOR_STORE`
`static SubLSymbol`	`$sym309$PROB_STORE_JANITOR_INDESTRUCTIBLE_PROBLEMS`
`static SubLSymbol`	`$sym310$_CSETF_PROB_STORE_JANITOR_INDESTRUCTIBLE_PROBLEMS`
`static SubLSymbol`	`$sym311$PROB_STORE_JANITOR_STALE_`
`static SubLSymbol`	`$sym312$_CSETF_PROB_STORE_JANITOR_STALE_`
`static SubLSymbol`	`$sym316$PROBLEM_STORE_JANITOR_INDESTRUCTIBLE_PROBLEMS`
`static SubLSymbol`	`$sym317$DO_PROBLEM_STORE_JANITOR_INDESTRUCTIBLE_PROBLEMS`
`static SubLSymbol`	`$sym319$PROBLEM_STORE_JANITOR_STORE`
`static SubLSymbol`	`$sym320$PROBLEM_DESTRUCTIBLE_`
`static SubLSymbol`	`$sym321$PROBLEM_P`
`static SubLSymbol`	`$sym322$_PROBLEM_STORE_ID_TO_NAME_TABLE_`
`static SubLSymbol`	`$sym323$_PROBLEM_STORE_NAME_TO_ID_TABLE_`
`static SubLSymbol`	`$sym324$FIND_PROBLEM_STORE_BY_NAME`
`static SubLSymbol`	`$sym325$FIND_OR_CREATE_PROBLEM_STORE_BY_NAME`
`static SubLSymbol`	`$sym327$DESTROY_PROBLEM_STORE_BY_NAME`
`static SubLSymbol`	`$sym328$PROBLEM_STORE_PROPERTY_P`
`static SubLSymbol`	`$sym47$PROBLEM_STORE_PRINT_FUNCTION_TRAMPOLINE`
`static SubLSymbol`	`$sym48$PROB_STORE_GUID`
`static SubLSymbol`	`$sym49$_CSETF_PROB_STORE_GUID`
`static SubLSymbol`	`$sym5$ID`
`static SubLSymbol`	`$sym50$PROB_STORE_SUID`
`static SubLSymbol`	`$sym51$_CSETF_PROB_STORE_SUID`
`static SubLSymbol`	`$sym52$PROB_STORE_LOCK`
`static SubLSymbol`	`$sym53$_CSETF_PROB_STORE_LOCK`
`static SubLSymbol`	`$sym54$PROB_STORE_CREATION_TIME`
`static SubLSymbol`	`$sym55$_CSETF_PROB_STORE_CREATION_TIME`
`static SubLSymbol`	`$sym56$PROB_STORE_INFERENCE_ID_INDEX`
`static SubLSymbol`	`$sym57$_CSETF_PROB_STORE_INFERENCE_ID_INDEX`
`static SubLSymbol`	`$sym58$PROB_STORE_STRATEGY_ID_INDEX`
`static SubLSymbol`	`$sym59$_CSETF_PROB_STORE_STRATEGY_ID_INDEX`
`static SubLSymbol`	`$sym6$DO_ID_INDEX`
`static SubLSymbol`	`$sym60$PROB_STORE_PROBLEM_ID_INDEX`
`static SubLSymbol`	`$sym61$_CSETF_PROB_STORE_PROBLEM_ID_INDEX`
`static SubLSymbol`	`$sym62$PROB_STORE_LINK_ID_INDEX`
`static SubLSymbol`	`$sym63$_CSETF_PROB_STORE_LINK_ID_INDEX`
`static SubLSymbol`	`$sym64$PROB_STORE_PROOF_ID_INDEX`
`static SubLSymbol`	`$sym65$_CSETF_PROB_STORE_PROOF_ID_INDEX`
`static SubLSymbol`	`$sym66$PROB_STORE_PROBLEM_BY_QUERY_INDEX`
`static SubLSymbol`	`$sym67$_CSETF_PROB_STORE_PROBLEM_BY_QUERY_INDEX`
`static SubLSymbol`	`$sym68$PROB_STORE_REJECTED_PROOFS`
`static SubLSymbol`	`$sym69$_CSETF_PROB_STORE_REJECTED_PROOFS`
`static SubLSymbol`	`$sym70$PROB_STORE_PROCESSED_PROOFS`
`static SubLSymbol`	`$sym71$_CSETF_PROB_STORE_PROCESSED_PROOFS`
`static SubLSymbol`	`$sym72$PROB_STORE_NON_EXPLANATORY_SUBPROOFS_POSSIBLE_`
`static SubLSymbol`	`$sym73$_CSETF_PROB_STORE_NON_EXPLANATORY_SUBPROOFS_POSSIBLE_`
`static SubLSymbol`	`$sym74$PROB_STORE_NON_EXPLANATORY_SUBPROOFS_INDEX`
`static SubLSymbol`	`$sym75$_CSETF_PROB_STORE_NON_EXPLANATORY_SUBPROOFS_INDEX`
`static SubLSymbol`	`$sym76$PROB_STORE_MOST_RECENT_TACTIC_EXECUTED`
`static SubLSymbol`	`$sym77$_CSETF_PROB_STORE_MOST_RECENT_TACTIC_EXECUTED`
`static SubLSymbol`	`$sym78$PROB_STORE_MIN_PROOF_DEPTH_INDEX`
`static SubLSymbol`	`$sym79$_CSETF_PROB_STORE_MIN_PROOF_DEPTH_INDEX`
`static SubLSymbol`	`$sym8$IGNORE`
`static SubLSymbol`	`$sym80$PROB_STORE_MIN_TRANSFORMATION_DEPTH_INDEX`
`static SubLSymbol`	`$sym81$_CSETF_PROB_STORE_MIN_TRANSFORMATION_DEPTH_INDEX`
`static SubLSymbol`	`$sym82$PROB_STORE_MIN_TRANSFORMATION_DEPTH_SIGNATURE_INDEX`
`static SubLSymbol`	`$sym83$_CSETF_PROB_STORE_MIN_TRANSFORMATION_DEPTH_SIGNATURE_INDEX`
`static SubLSymbol`	`$sym84$PROB_STORE_MIN_DEPTH_INDEX`
`static SubLSymbol`	`$sym85$_CSETF_PROB_STORE_MIN_DEPTH_INDEX`
`static SubLSymbol`	`$sym86$PROB_STORE_EQUALITY_REASONING_METHOD`
`static SubLSymbol`	`$sym87$_CSETF_PROB_STORE_EQUALITY_REASONING_METHOD`
`static SubLSymbol`	`$sym88$PROB_STORE_EQUALITY_REASONING_DOMAIN`
`static SubLSymbol`	`$sym89$_CSETF_PROB_STORE_EQUALITY_REASONING_DOMAIN`
`static SubLSymbol`	`$sym9$PROBLEM_STORE_ID_INDEX`
`static SubLSymbol`	`$sym90$PROB_STORE_INTERMEDIATE_STEP_VALIDATION_LEVEL`
`static SubLSymbol`	`$sym91$_CSETF_PROB_STORE_INTERMEDIATE_STEP_VALIDATION_LEVEL`
`static SubLSymbol`	`$sym92$PROB_STORE_MAX_PROBLEM_COUNT`
`static SubLSymbol`	`$sym93$_CSETF_PROB_STORE_MAX_PROBLEM_COUNT`
`static SubLSymbol`	`$sym94$PROB_STORE_CRAZY_MAX_PROBLEM_COUNT`
`static SubLSymbol`	`$sym95$_CSETF_PROB_STORE_CRAZY_MAX_PROBLEM_COUNT`
`static SubLSymbol`	`$sym96$PROB_STORE_REMOVAL_ALLOWED_`
`static SubLSymbol`	`$sym97$_CSETF_PROB_STORE_REMOVAL_ALLOWED_`
`static SubLSymbol`	`$sym98$PROB_STORE_TRANSFORMATION_ALLOWED_`
`static SubLSymbol`	`$sym99$_CSETF_PROB_STORE_TRANSFORMATION_ALLOWED_`
`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`	`_csetf_prob_store_abduction_allowedP(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_add_restriction_layer_of_indirectionP(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_completeness_minimization_allowedP(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_complex_problem_query_czer_index(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_complex_problem_query_signatures(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_compute_answer_justificationsP(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_crazy_max_problem_count(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_creation_time(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_destruction_imminentP(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_direction(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_equality_reasoning_domain(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_equality_reasoning_method(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_evaluate_subl_allowedP(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_guid(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_historical_root_problems(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_inference_id_index(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_intermediate_step_validation_level(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_janitor_indestructible_problems(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_janitor_staleP(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_janitor_store(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_janitor(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_link_id_index(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_lock(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_max_problem_count(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_memoization_state(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_meta_problem_store(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_min_depth_index(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_min_proof_depth_index(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_min_transformation_depth_index(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_min_transformation_depth_signature_index(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_most_recent_tactic_executed(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_negation_by_failureP(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_new_terms_allowedP(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_non_explanatory_subproofs_index(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_non_explanatory_subproofs_possibleP(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_preparedP(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_problem_by_query_index(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_problem_id_index(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_processed_proofs(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_proof_id_index(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_proof_keeping_index(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_rejected_proofs(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_removal_allowedP(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_rewrite_allowedP(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_sbhl_resource_space(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_static_properties(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_strategy_id_index(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_suid(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store_transformation_allowedP(SubLObject object, SubLObject value)`
`static SubLObject`	`add_problem_store_historical_root_problem(SubLObject store, SubLObject problem)`
`static SubLObject`	`add_problem_store_inference(SubLObject store, SubLObject inference)`
`static SubLObject`	`add_problem_store_link(SubLObject store, SubLObject link)`
`static SubLObject`	`add_problem_store_problem_by_id(SubLObject store, SubLObject problem)`
`static SubLObject`	`add_problem_store_problem_by_query(SubLObject store, SubLObject problem)`
`static SubLObject`	`add_problem_store_problem(SubLObject store, SubLObject problem)`
`static SubLObject`	`add_problem_store_proof(SubLObject store, SubLObject proof)`
`static SubLObject`	`add_problem_store_strategy(SubLObject store, SubLObject strategy)`
`static SubLObject`	`all_problem_stores()` Return a list of all problem stores.
`static SubLObject`	`clear_problem_store_proof_keeping_problems(SubLObject store)`
`static SubLObject`	`compute_crazy_max_problem_count(SubLObject max_problem_count)` Given MAX-PROBLEM-COUNT which is the amount of problems above which the problem store will attempt to prune, returns the CRAZY-MAX-PROBLEM-COUNT which is the amount of problems above which the problem store will error without even trying to prune.
`static SubLObject`	`declare_inference_datastructures_problem_store_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`destroy_all_problem_stores()` Destroy all current problem stores; @return integer, the number of stores successfully destroyed.
`static SubLObject`	`destroy_problem_store_int(SubLObject store)`
`static SubLObject`	`destroy_problem_store_janitor(SubLObject janitor)`
`static SubLObject`	`destroy_problem_store(SubLObject store)`
`static SubLObject`	`ensure_transformation_rule_considered_noted_internal(SubLObject rule)`
`static SubLObject`	`ensure_transformation_rule_considered_noted(SubLObject rule)`
`static SubLObject`	`ensure_transformation_rule_success_noted_internal(SubLObject rule)`
`static SubLObject`	`ensure_transformation_rule_success_noted(SubLObject rule)`
`static SubLObject`	`finalize_problem_store_properties(SubLObject store)` Call this after STORE is done being constructed.
`static SubLObject`	`find_problem_by_query(SubLObject store, SubLObject query)`
`static SubLObject`	`find_problem_store_by_name(SubLObject name)`
`static SubLObject`	`first_problem_store_inference(SubLObject store)`
`static SubLObject`	`free_problem_store_name(SubLObject problem_store)`
`static SubLObject`	`index_problem_store_by_id(SubLObject store, SubLObject suid)`
`static SubLObject`	`init_inference_datastructures_problem_store_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`make_problem_store_janitor(SubLObject arglist)`
`static SubLObject`	`make_problem_store(SubLObject arglist)`
`static SubLObject`	`new_problem_store_id()`
`static SubLObject`	`new_problem_store_janitor(SubLObject store)`
`static SubLObject`	`new_problem_store(SubLObject problem_store_properties)` Allocates a new problem-store object and sets up its internal datastructures.
`static SubLObject`	`note_problem_store_destruction_imminent(SubLObject store)`
`static SubLObject`	`note_problem_store_invalid(SubLObject store)`
`static SubLObject`	`note_problem_store_most_recent_tactic_executed(SubLObject store, SubLObject tactic)`
`static SubLObject`	`note_problem_store_prepared(SubLObject store)`
`static SubLObject`	`prob_store_abduction_allowedP(SubLObject object)`
`static SubLObject`	`prob_store_add_restriction_layer_of_indirectionP(SubLObject object)`
`static SubLObject`	`prob_store_complex_problem_query_czer_index(SubLObject object)`
`static SubLObject`	`prob_store_complex_problem_query_signatures(SubLObject object)`
`static SubLObject`	`prob_store_compute_answer_justificationsP(SubLObject object)`
`static SubLObject`	`prob_store_direction(SubLObject object)`
`static SubLObject`	`prob_store_equality_reasoning_domain(SubLObject object)`
`static SubLObject`	`prob_store_equality_reasoning_method(SubLObject object)`
`static SubLObject`	`prob_store_historical_root_problems(SubLObject object)`
`static SubLObject`	`prob_store_inference_id_index(SubLObject object)`
`static SubLObject`	`prob_store_intermediate_step_validation_level(SubLObject object)`
`static SubLObject`	`prob_store_janitor_indestructible_problems(SubLObject object)`
`static SubLObject`	`prob_store_janitor(SubLObject object)`
`static SubLObject`	`prob_store_link_id_index(SubLObject object)`
`static SubLObject`	`prob_store_lock(SubLObject object)`
`static SubLObject`	`prob_store_max_problem_count(SubLObject object)`
`static SubLObject`	`prob_store_memoization_state(SubLObject object)`
`static SubLObject`	`prob_store_meta_problem_store(SubLObject object)`
`static SubLObject`	`prob_store_min_depth_index(SubLObject object)`
`static SubLObject`	`prob_store_min_proof_depth_index(SubLObject object)`
`static SubLObject`	`prob_store_min_transformation_depth_index(SubLObject object)`
`static SubLObject`	`prob_store_min_transformation_depth_signature_index(SubLObject object)`
`static SubLObject`	`prob_store_negation_by_failureP(SubLObject object)`
`static SubLObject`	`prob_store_new_terms_allowedP(SubLObject object)`
`static SubLObject`	`prob_store_non_explanatory_subproofs_index(SubLObject object)`
`static SubLObject`	`prob_store_non_explanatory_subproofs_possibleP(SubLObject object)`
`static SubLObject`	`prob_store_preparedP(SubLObject object)`
`static SubLObject`	`prob_store_problem_by_query_index(SubLObject object)`
`static SubLObject`	`prob_store_problem_id_index(SubLObject object)`
`static SubLObject`	`prob_store_processed_proofs(SubLObject object)`
`static SubLObject`	`prob_store_proof_id_index(SubLObject object)`
`static SubLObject`	`prob_store_proof_keeping_index(SubLObject object)`
`static SubLObject`	`prob_store_rejected_proofs(SubLObject object)`
`static SubLObject`	`prob_store_removal_allowedP(SubLObject object)`
`static SubLObject`	`prob_store_rewrite_allowedP(SubLObject object)`
`static SubLObject`	`prob_store_sbhl_resource_space(SubLObject object)`
`static SubLObject`	`prob_store_strategy_id_index(SubLObject object)`
`static SubLObject`	`prob_store_suid(SubLObject object)`
`static SubLObject`	`prob_store_transformation_allowedP(SubLObject object)`
`static SubLObject`	`problem_store_abduction_allowedP(SubLObject store)`
`static SubLObject`	`problem_store_add_restriction_layer_of_indirectionP(SubLObject store)`
`static SubLObject`	`problem_store_allows_proof_processingP(SubLObject store)`
`static SubLObject`	`problem_store_compute_answer_justificationsP(SubLObject store)`
`static SubLObject`	`problem_store_direction(SubLObject store)`
`static SubLObject`	`problem_store_equality_reasoning_domain(SubLObject store)`
`static SubLObject`	`problem_store_equality_reasoning_method(SubLObject store)`
`static SubLObject`	`problem_store_forwardP(SubLObject store)` Return T iff STORE has a direction of :FORWARD.
`static SubLObject`	`problem_store_has_only_one_inferenceP(SubLObject store)`
`static SubLObject`	`problem_store_historical_problem_count(SubLObject store)` Return the number of problems that have ever existed in STORE.
`static SubLObject`	`problem_store_historical_root_problem_count(SubLObject store)`
`static SubLObject`	`problem_store_historical_root_problems(SubLObject store)`
`static SubLObject`	`problem_store_inference_count(SubLObject store)` Return the number of inferences that are currently in STORE.
`static SubLObject`	`problem_store_inference_id_index(SubLObject store)`
`static SubLObject`	`problem_store_intermediate_step_validation_level(SubLObject store)`
`static SubLObject`	`problem_store_invalid_p(SubLObject store)`
`static SubLObject`	`problem_store_janitor_note_stale(SubLObject janitor)`
`static SubLObject`	`problem_store_link_id_index(SubLObject store)`
`static SubLObject`	`problem_store_lock(SubLObject store)`
`static SubLObject`	`problem_store_max_problem_count_reachedP(SubLObject store)`
`static SubLObject`	`problem_store_max_problem_count(SubLObject store)`
`static SubLObject`	`problem_store_max_proof_count_reachedP(SubLObject store)`
`static SubLObject`	`problem_store_memoization_state(SubLObject store)`
`static SubLObject`	`problem_store_min_proof_depth_index_remove_inference(SubLObject store, SubLObject inference)`
`static SubLObject`	`problem_store_min_proof_depth_index(SubLObject store)`
`static SubLObject`	`problem_store_min_transformation_depth_index_remove_inference(SubLObject store, SubLObject inference)`
`static SubLObject`	`problem_store_min_transformation_depth_index(SubLObject store)`
`static SubLObject`	`problem_store_min_transformation_depth_signature_index_remove_inference(SubLObject store, SubLObject inference)`
`static SubLObject`	`problem_store_min_transformation_depth_signature_index(SubLObject store)`
`static SubLObject`	`problem_store_name(SubLObject problem_store)` Returns an object which is the unique name of PROBLEM-STORE.
`static SubLObject`	`problem_store_negation_by_failureP(SubLObject store)`
`static SubLObject`	`problem_store_new_inference_id(SubLObject store)`
`static SubLObject`	`problem_store_new_link_id(SubLObject store)`
`static SubLObject`	`problem_store_new_problem_id(SubLObject store)`
`static SubLObject`	`problem_store_new_proof_id(SubLObject store)`
`static SubLObject`	`problem_store_new_strategy_id(SubLObject store)`
`static SubLObject`	`problem_store_new_terms_allowedP(SubLObject store)`
`static SubLObject`	`problem_store_newP(SubLObject store)`
`static SubLObject`	`problem_store_non_explanatory_subproofs_possibleP(SubLObject store)`
`static SubLObject`	`problem_store_note_transformation_rule_considered(SubLObject store, SubLObject rule)`
`static SubLObject`	`problem_store_note_transformation_rule_success(SubLObject store, SubLObject rule)`
`static SubLObject`	`problem_store_p(SubLObject object)`
`static SubLObject`	`problem_store_preparedP(SubLObject store)`
`static SubLObject`	`problem_store_print_function_trampoline(SubLObject object, SubLObject stream)`
`static SubLObject`	`problem_store_privateP(SubLObject store)`
`static SubLObject`	`problem_store_problem_count(SubLObject store)` Return the number of problems that are currently in STORE.
`static SubLObject`	`problem_store_problem_id_index(SubLObject store)`
`static SubLObject`	`problem_store_proof_count(SubLObject store)` Return the number of proofs that are currently in STORE.
`static SubLObject`	`problem_store_proof_id_index(SubLObject store)`
`static SubLObject`	`problem_store_rejected_proofs(SubLObject store)`
`static SubLObject`	`problem_store_removal_allowedP(SubLObject store)`
`static SubLObject`	`problem_store_rewrite_allowedP(SubLObject store)`
`static SubLObject`	`problem_store_sbhl_resource_space(SubLObject store)`
`static SubLObject`	`problem_store_strategy_id_index(SubLObject store)`
`static SubLObject`	`problem_store_suid(SubLObject store)`
`static SubLObject`	`problem_store_transformation_allowedP(SubLObject store)`
`static SubLObject`	`remove_problem_store_inference(SubLObject store, SubLObject inference)`
`static SubLObject`	`remove_problem_store_link(SubLObject store, SubLObject link)`
`static SubLObject`	`remove_problem_store_strategy(SubLObject store, SubLObject strategy)`
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`set_problem_store_add_restriction_layer_of_indirectionP(SubLObject store, SubLObject value)`
`static SubLObject`	`set_problem_store_name(SubLObject problem_store, SubLObject name)`
`static SubLObject`	`set_problem_store_sbhl_resource_space(SubLObject store, SubLObject space)`
`static SubLObject`	`set_problem_store_transformation_allowedP(SubLObject store, SubLObject value)`
`static SubLObject`	`setup_inference_datastructures_problem_store_file()`
`static SubLObject`	`sxhash_problem_store_method(SubLObject object)`
`static SubLObject`	`unindex_problem_store_by_id(SubLObject store)`
`static SubLObject`	`valid_problem_store_p(SubLObject object)`

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

$problem_store_modification_permittedP$

public static SubLSymbol $problem_store_modification_permittedP$

Whether the problem store and related datastructures are permitted to be created, destroyed, or modified. This is set to T in the main entry point to inference but NIL in the inference browser. Currently this only controls modifications that could conceivably happen via the browser, like lazy manifestation of non-focals.

$dtp_problem_store$

public static SubLSymbol $dtp_problem_store$

$dtp_problem_store_janitor$

public static SubLSymbol $dtp_problem_store_janitor$

$sym0$_PROBLEM_STORE_ID_INDEX_

public static final SubLSymbol $sym0$_PROBLEM_STORE_ID_INDEX_

$list1

public static final SubLList $list1

$list2

public static final SubLList $list2

$kw3$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw3$ALLOW_OTHER_KEYS

$kw4$DONE

public static final SubLSymbol $kw4$DONE

$sym5$ID

public static final SubLSymbol $sym5$ID

$sym6$DO_ID_INDEX

public static final SubLSymbol $sym6$DO_ID_INDEX

$list7

public static final SubLList $list7

$sym8$IGNORE

public static final SubLSymbol $sym8$IGNORE

$sym9$PROBLEM_STORE_ID_INDEX

public static final SubLSymbol $sym9$PROBLEM_STORE_ID_INDEX

$sym10$DO_ALL_PROBLEM_STORES

public static final SubLSymbol $sym10$DO_ALL_PROBLEM_STORES

$kw11$IGNORE_ERRORS_TARGET

public static final SubLSymbol $kw11$IGNORE_ERRORS_TARGET

$sym12$IGNORE_ERRORS_HANDLER

public static final SubLSymbol $sym12$IGNORE_ERRORS_HANDLER

$sym13$PROBLEM_STORE

public static final SubLSymbol $sym13$PROBLEM_STORE

$sym14$PROBLEM_STORE_P

public static final SubLSymbol $sym14$PROBLEM_STORE_P

$list15

public static final SubLList $list15

$list16

public static final SubLList $list16

$list17

public static final SubLList $list17

$list18

public static final SubLList $list18

$sym19$PRINT_PROBLEM_STORE

public static final SubLSymbol $sym19$PRINT_PROBLEM_STORE

$int20$21

public static final SubLInteger $int20$21

$int21$22

public static final SubLInteger $int21$22

$int22$23

public static final SubLInteger $int22$23

$int23$24

public static final SubLInteger $int23$24

$int24$25

public static final SubLInteger $int24$25

$int25$26

public static final SubLInteger $int25$26

$int26$27

public static final SubLInteger $int26$27

$int27$28

public static final SubLInteger $int27$28

$int28$29

public static final SubLInteger $int28$29

$int29$30

public static final SubLInteger $int29$30

$int30$31

public static final SubLInteger $int30$31

$int31$32

public static final SubLInteger $int31$32

$int32$33

public static final SubLInteger $int32$33

$int33$34

public static final SubLInteger $int33$34

$int34$35

public static final SubLInteger $int34$35

$int35$36

public static final SubLInteger $int35$36

$int36$37

public static final SubLInteger $int36$37

$int37$38

public static final SubLInteger $int37$38

$int38$39

public static final SubLInteger $int38$39

$int39$40

public static final SubLInteger $int39$40

$int40$41

public static final SubLInteger $int40$41

$int41$42

public static final SubLInteger $int41$42

$int42$43

public static final SubLInteger $int42$43

$int43$44

public static final SubLInteger $int43$44

$int44$45

public static final SubLInteger $int44$45

$int45$46

public static final SubLInteger $int45$46

$int46$47

public static final SubLInteger $int46$47

$sym47$PROBLEM_STORE_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym47$PROBLEM_STORE_PRINT_FUNCTION_TRAMPOLINE

$sym48$PROB_STORE_GUID

public static final SubLSymbol $sym48$PROB_STORE_GUID

$sym49$_CSETF_PROB_STORE_GUID

public static final SubLSymbol $sym49$_CSETF_PROB_STORE_GUID

$sym50$PROB_STORE_SUID

public static final SubLSymbol $sym50$PROB_STORE_SUID

$sym51$_CSETF_PROB_STORE_SUID

public static final SubLSymbol $sym51$_CSETF_PROB_STORE_SUID

$sym52$PROB_STORE_LOCK

public static final SubLSymbol $sym52$PROB_STORE_LOCK

$sym53$_CSETF_PROB_STORE_LOCK

public static final SubLSymbol $sym53$_CSETF_PROB_STORE_LOCK

$sym54$PROB_STORE_CREATION_TIME

public static final SubLSymbol $sym54$PROB_STORE_CREATION_TIME

$sym55$_CSETF_PROB_STORE_CREATION_TIME

public static final SubLSymbol $sym55$_CSETF_PROB_STORE_CREATION_TIME

$sym56$PROB_STORE_INFERENCE_ID_INDEX

public static final SubLSymbol $sym56$PROB_STORE_INFERENCE_ID_INDEX

$sym57$_CSETF_PROB_STORE_INFERENCE_ID_INDEX

public static final SubLSymbol $sym57$_CSETF_PROB_STORE_INFERENCE_ID_INDEX

$sym58$PROB_STORE_STRATEGY_ID_INDEX

public static final SubLSymbol $sym58$PROB_STORE_STRATEGY_ID_INDEX

$sym59$_CSETF_PROB_STORE_STRATEGY_ID_INDEX

public static final SubLSymbol $sym59$_CSETF_PROB_STORE_STRATEGY_ID_INDEX

$sym60$PROB_STORE_PROBLEM_ID_INDEX

public static final SubLSymbol $sym60$PROB_STORE_PROBLEM_ID_INDEX

$sym61$_CSETF_PROB_STORE_PROBLEM_ID_INDEX

public static final SubLSymbol $sym61$_CSETF_PROB_STORE_PROBLEM_ID_INDEX

$sym62$PROB_STORE_LINK_ID_INDEX

public static final SubLSymbol $sym62$PROB_STORE_LINK_ID_INDEX

$sym63$_CSETF_PROB_STORE_LINK_ID_INDEX

public static final SubLSymbol $sym63$_CSETF_PROB_STORE_LINK_ID_INDEX

$sym64$PROB_STORE_PROOF_ID_INDEX

public static final SubLSymbol $sym64$PROB_STORE_PROOF_ID_INDEX

$sym65$_CSETF_PROB_STORE_PROOF_ID_INDEX

public static final SubLSymbol $sym65$_CSETF_PROB_STORE_PROOF_ID_INDEX

$sym66$PROB_STORE_PROBLEM_BY_QUERY_INDEX

public static final SubLSymbol $sym66$PROB_STORE_PROBLEM_BY_QUERY_INDEX

$sym67$_CSETF_PROB_STORE_PROBLEM_BY_QUERY_INDEX

public static final SubLSymbol $sym67$_CSETF_PROB_STORE_PROBLEM_BY_QUERY_INDEX

$sym68$PROB_STORE_REJECTED_PROOFS

public static final SubLSymbol $sym68$PROB_STORE_REJECTED_PROOFS

$sym69$_CSETF_PROB_STORE_REJECTED_PROOFS

public static final SubLSymbol $sym69$_CSETF_PROB_STORE_REJECTED_PROOFS

$sym70$PROB_STORE_PROCESSED_PROOFS

public static final SubLSymbol $sym70$PROB_STORE_PROCESSED_PROOFS

$sym71$_CSETF_PROB_STORE_PROCESSED_PROOFS

public static final SubLSymbol $sym71$_CSETF_PROB_STORE_PROCESSED_PROOFS

$sym72$PROB_STORE_NON_EXPLANATORY_SUBPROOFS_POSSIBLE_

public static final SubLSymbol $sym72$PROB_STORE_NON_EXPLANATORY_SUBPROOFS_POSSIBLE_

$sym73$_CSETF_PROB_STORE_NON_EXPLANATORY_SUBPROOFS_POSSIBLE_

public static final SubLSymbol $sym73$_CSETF_PROB_STORE_NON_EXPLANATORY_SUBPROOFS_POSSIBLE_

$sym74$PROB_STORE_NON_EXPLANATORY_SUBPROOFS_INDEX

public static final SubLSymbol $sym74$PROB_STORE_NON_EXPLANATORY_SUBPROOFS_INDEX

$sym75$_CSETF_PROB_STORE_NON_EXPLANATORY_SUBPROOFS_INDEX

public static final SubLSymbol $sym75$_CSETF_PROB_STORE_NON_EXPLANATORY_SUBPROOFS_INDEX

$sym76$PROB_STORE_MOST_RECENT_TACTIC_EXECUTED

public static final SubLSymbol $sym76$PROB_STORE_MOST_RECENT_TACTIC_EXECUTED

$sym77$_CSETF_PROB_STORE_MOST_RECENT_TACTIC_EXECUTED

public static final SubLSymbol $sym77$_CSETF_PROB_STORE_MOST_RECENT_TACTIC_EXECUTED

$sym78$PROB_STORE_MIN_PROOF_DEPTH_INDEX

public static final SubLSymbol $sym78$PROB_STORE_MIN_PROOF_DEPTH_INDEX

$sym79$_CSETF_PROB_STORE_MIN_PROOF_DEPTH_INDEX

public static final SubLSymbol $sym79$_CSETF_PROB_STORE_MIN_PROOF_DEPTH_INDEX

$sym80$PROB_STORE_MIN_TRANSFORMATION_DEPTH_INDEX

public static final SubLSymbol $sym80$PROB_STORE_MIN_TRANSFORMATION_DEPTH_INDEX

$sym81$_CSETF_PROB_STORE_MIN_TRANSFORMATION_DEPTH_INDEX

public static final SubLSymbol $sym81$_CSETF_PROB_STORE_MIN_TRANSFORMATION_DEPTH_INDEX

$sym82$PROB_STORE_MIN_TRANSFORMATION_DEPTH_SIGNATURE_INDEX

public static final SubLSymbol $sym82$PROB_STORE_MIN_TRANSFORMATION_DEPTH_SIGNATURE_INDEX

$sym83$_CSETF_PROB_STORE_MIN_TRANSFORMATION_DEPTH_SIGNATURE_INDEX

public static final SubLSymbol $sym83$_CSETF_PROB_STORE_MIN_TRANSFORMATION_DEPTH_SIGNATURE_INDEX

$sym84$PROB_STORE_MIN_DEPTH_INDEX

public static final SubLSymbol $sym84$PROB_STORE_MIN_DEPTH_INDEX

$sym85$_CSETF_PROB_STORE_MIN_DEPTH_INDEX

public static final SubLSymbol $sym85$_CSETF_PROB_STORE_MIN_DEPTH_INDEX

$sym86$PROB_STORE_EQUALITY_REASONING_METHOD

public static final SubLSymbol $sym86$PROB_STORE_EQUALITY_REASONING_METHOD

$sym87$_CSETF_PROB_STORE_EQUALITY_REASONING_METHOD

public static final SubLSymbol $sym87$_CSETF_PROB_STORE_EQUALITY_REASONING_METHOD

$sym88$PROB_STORE_EQUALITY_REASONING_DOMAIN

public static final SubLSymbol $sym88$PROB_STORE_EQUALITY_REASONING_DOMAIN

$sym89$_CSETF_PROB_STORE_EQUALITY_REASONING_DOMAIN

public static final SubLSymbol $sym89$_CSETF_PROB_STORE_EQUALITY_REASONING_DOMAIN

$sym90$PROB_STORE_INTERMEDIATE_STEP_VALIDATION_LEVEL

public static final SubLSymbol $sym90$PROB_STORE_INTERMEDIATE_STEP_VALIDATION_LEVEL

$sym91$_CSETF_PROB_STORE_INTERMEDIATE_STEP_VALIDATION_LEVEL

public static final SubLSymbol $sym91$_CSETF_PROB_STORE_INTERMEDIATE_STEP_VALIDATION_LEVEL

$sym92$PROB_STORE_MAX_PROBLEM_COUNT

public static final SubLSymbol $sym92$PROB_STORE_MAX_PROBLEM_COUNT

$sym93$_CSETF_PROB_STORE_MAX_PROBLEM_COUNT

public static final SubLSymbol $sym93$_CSETF_PROB_STORE_MAX_PROBLEM_COUNT

$sym94$PROB_STORE_CRAZY_MAX_PROBLEM_COUNT

public static final SubLSymbol $sym94$PROB_STORE_CRAZY_MAX_PROBLEM_COUNT

$sym95$_CSETF_PROB_STORE_CRAZY_MAX_PROBLEM_COUNT

public static final SubLSymbol $sym95$_CSETF_PROB_STORE_CRAZY_MAX_PROBLEM_COUNT

$sym96$PROB_STORE_REMOVAL_ALLOWED_

public static final SubLSymbol $sym96$PROB_STORE_REMOVAL_ALLOWED_

$sym97$_CSETF_PROB_STORE_REMOVAL_ALLOWED_

public static final SubLSymbol $sym97$_CSETF_PROB_STORE_REMOVAL_ALLOWED_

$sym98$PROB_STORE_TRANSFORMATION_ALLOWED_

public static final SubLSymbol $sym98$PROB_STORE_TRANSFORMATION_ALLOWED_

$sym99$_CSETF_PROB_STORE_TRANSFORMATION_ALLOWED_

public static final SubLSymbol $sym99$_CSETF_PROB_STORE_TRANSFORMATION_ALLOWED_

$sym100$PROB_STORE_ADD_RESTRICTION_LAYER_OF_INDIRECTION_

public static final SubLSymbol $sym100$PROB_STORE_ADD_RESTRICTION_LAYER_OF_INDIRECTION_

$sym101$_CSETF_PROB_STORE_ADD_RESTRICTION_LAYER_OF_INDIRECTION_

public static final SubLSymbol $sym101$_CSETF_PROB_STORE_ADD_RESTRICTION_LAYER_OF_INDIRECTION_

$sym102$PROB_STORE_NEGATION_BY_FAILURE_

public static final SubLSymbol $sym102$PROB_STORE_NEGATION_BY_FAILURE_

$sym103$_CSETF_PROB_STORE_NEGATION_BY_FAILURE_

public static final SubLSymbol $sym103$_CSETF_PROB_STORE_NEGATION_BY_FAILURE_

$sym104$PROB_STORE_COMPLETENESS_MINIMIZATION_ALLOWED_

public static final SubLSymbol $sym104$PROB_STORE_COMPLETENESS_MINIMIZATION_ALLOWED_

$sym105$_CSETF_PROB_STORE_COMPLETENESS_MINIMIZATION_ALLOWED_

public static final SubLSymbol $sym105$_CSETF_PROB_STORE_COMPLETENESS_MINIMIZATION_ALLOWED_

$sym106$PROB_STORE_DIRECTION

public static final SubLSymbol $sym106$PROB_STORE_DIRECTION

$sym107$_CSETF_PROB_STORE_DIRECTION

public static final SubLSymbol $sym107$_CSETF_PROB_STORE_DIRECTION

$sym108$PROB_STORE_EVALUATE_SUBL_ALLOWED_

public static final SubLSymbol $sym108$PROB_STORE_EVALUATE_SUBL_ALLOWED_

$sym109$_CSETF_PROB_STORE_EVALUATE_SUBL_ALLOWED_

public static final SubLSymbol $sym109$_CSETF_PROB_STORE_EVALUATE_SUBL_ALLOWED_

$sym110$PROB_STORE_REWRITE_ALLOWED_

public static final SubLSymbol $sym110$PROB_STORE_REWRITE_ALLOWED_

$sym111$_CSETF_PROB_STORE_REWRITE_ALLOWED_

public static final SubLSymbol $sym111$_CSETF_PROB_STORE_REWRITE_ALLOWED_

$sym112$PROB_STORE_ABDUCTION_ALLOWED_

public static final SubLSymbol $sym112$PROB_STORE_ABDUCTION_ALLOWED_

$sym113$_CSETF_PROB_STORE_ABDUCTION_ALLOWED_

public static final SubLSymbol $sym113$_CSETF_PROB_STORE_ABDUCTION_ALLOWED_

$sym114$PROB_STORE_NEW_TERMS_ALLOWED_

public static final SubLSymbol $sym114$PROB_STORE_NEW_TERMS_ALLOWED_

$sym115$_CSETF_PROB_STORE_NEW_TERMS_ALLOWED_

public static final SubLSymbol $sym115$_CSETF_PROB_STORE_NEW_TERMS_ALLOWED_

$sym116$PROB_STORE_COMPUTE_ANSWER_JUSTIFICATIONS_

public static final SubLSymbol $sym116$PROB_STORE_COMPUTE_ANSWER_JUSTIFICATIONS_

$sym117$_CSETF_PROB_STORE_COMPUTE_ANSWER_JUSTIFICATIONS_

public static final SubLSymbol $sym117$_CSETF_PROB_STORE_COMPUTE_ANSWER_JUSTIFICATIONS_

$sym118$PROB_STORE_MEMOIZATION_STATE

public static final SubLSymbol $sym118$PROB_STORE_MEMOIZATION_STATE

$sym119$_CSETF_PROB_STORE_MEMOIZATION_STATE

public static final SubLSymbol $sym119$_CSETF_PROB_STORE_MEMOIZATION_STATE

$sym120$PROB_STORE_SBHL_RESOURCE_SPACE

public static final SubLSymbol $sym120$PROB_STORE_SBHL_RESOURCE_SPACE

$sym121$_CSETF_PROB_STORE_SBHL_RESOURCE_SPACE

public static final SubLSymbol $sym121$_CSETF_PROB_STORE_SBHL_RESOURCE_SPACE

$sym122$PROB_STORE_PREPARED_

public static final SubLSymbol $sym122$PROB_STORE_PREPARED_

$sym123$_CSETF_PROB_STORE_PREPARED_

public static final SubLSymbol $sym123$_CSETF_PROB_STORE_PREPARED_

$sym124$PROB_STORE_DESTRUCTION_IMMINENT_

public static final SubLSymbol $sym124$PROB_STORE_DESTRUCTION_IMMINENT_

$sym125$_CSETF_PROB_STORE_DESTRUCTION_IMMINENT_

public static final SubLSymbol $sym125$_CSETF_PROB_STORE_DESTRUCTION_IMMINENT_

$sym126$PROB_STORE_META_PROBLEM_STORE

public static final SubLSymbol $sym126$PROB_STORE_META_PROBLEM_STORE

$sym127$_CSETF_PROB_STORE_META_PROBLEM_STORE

public static final SubLSymbol $sym127$_CSETF_PROB_STORE_META_PROBLEM_STORE

$sym128$PROB_STORE_STATIC_PROPERTIES

public static final SubLSymbol $sym128$PROB_STORE_STATIC_PROPERTIES

$sym129$_CSETF_PROB_STORE_STATIC_PROPERTIES

public static final SubLSymbol $sym129$_CSETF_PROB_STORE_STATIC_PROPERTIES

$sym130$PROB_STORE_JANITOR

public static final SubLSymbol $sym130$PROB_STORE_JANITOR

$sym131$_CSETF_PROB_STORE_JANITOR

public static final SubLSymbol $sym131$_CSETF_PROB_STORE_JANITOR

$sym132$PROB_STORE_HISTORICAL_ROOT_PROBLEMS

public static final SubLSymbol $sym132$PROB_STORE_HISTORICAL_ROOT_PROBLEMS

$sym133$_CSETF_PROB_STORE_HISTORICAL_ROOT_PROBLEMS

public static final SubLSymbol $sym133$_CSETF_PROB_STORE_HISTORICAL_ROOT_PROBLEMS

$sym134$PROB_STORE_COMPLEX_PROBLEM_QUERY_CZER_INDEX

public static final SubLSymbol $sym134$PROB_STORE_COMPLEX_PROBLEM_QUERY_CZER_INDEX

$sym135$_CSETF_PROB_STORE_COMPLEX_PROBLEM_QUERY_CZER_INDEX

public static final SubLSymbol $sym135$_CSETF_PROB_STORE_COMPLEX_PROBLEM_QUERY_CZER_INDEX

$sym136$PROB_STORE_COMPLEX_PROBLEM_QUERY_SIGNATURES

public static final SubLSymbol $sym136$PROB_STORE_COMPLEX_PROBLEM_QUERY_SIGNATURES

$sym137$_CSETF_PROB_STORE_COMPLEX_PROBLEM_QUERY_SIGNATURES

public static final SubLSymbol $sym137$_CSETF_PROB_STORE_COMPLEX_PROBLEM_QUERY_SIGNATURES

$sym138$PROB_STORE_PROOF_KEEPING_INDEX

public static final SubLSymbol $sym138$PROB_STORE_PROOF_KEEPING_INDEX

$sym139$_CSETF_PROB_STORE_PROOF_KEEPING_INDEX

public static final SubLSymbol $sym139$_CSETF_PROB_STORE_PROOF_KEEPING_INDEX

$kw140$GUID

public static final SubLSymbol $kw140$GUID

$kw141$SUID

public static final SubLSymbol $kw141$SUID

$kw142$LOCK

public static final SubLSymbol $kw142$LOCK

$kw143$CREATION_TIME

public static final SubLSymbol $kw143$CREATION_TIME

$kw144$INFERENCE_ID_INDEX

public static final SubLSymbol $kw144$INFERENCE_ID_INDEX

$kw145$STRATEGY_ID_INDEX

public static final SubLSymbol $kw145$STRATEGY_ID_INDEX

$kw146$PROBLEM_ID_INDEX

public static final SubLSymbol $kw146$PROBLEM_ID_INDEX

$kw147$LINK_ID_INDEX

public static final SubLSymbol $kw147$LINK_ID_INDEX

$kw148$PROOF_ID_INDEX

public static final SubLSymbol $kw148$PROOF_ID_INDEX

$kw149$PROBLEM_BY_QUERY_INDEX

public static final SubLSymbol $kw149$PROBLEM_BY_QUERY_INDEX

$kw150$REJECTED_PROOFS

public static final SubLSymbol $kw150$REJECTED_PROOFS

$kw151$PROCESSED_PROOFS

public static final SubLSymbol $kw151$PROCESSED_PROOFS

$kw152$NON_EXPLANATORY_SUBPROOFS_POSSIBLE_

public static final SubLSymbol $kw152$NON_EXPLANATORY_SUBPROOFS_POSSIBLE_

$kw153$NON_EXPLANATORY_SUBPROOFS_INDEX

public static final SubLSymbol $kw153$NON_EXPLANATORY_SUBPROOFS_INDEX

$kw154$MOST_RECENT_TACTIC_EXECUTED

public static final SubLSymbol $kw154$MOST_RECENT_TACTIC_EXECUTED

$kw155$MIN_PROOF_DEPTH_INDEX

public static final SubLSymbol $kw155$MIN_PROOF_DEPTH_INDEX

$kw156$MIN_TRANSFORMATION_DEPTH_INDEX

public static final SubLSymbol $kw156$MIN_TRANSFORMATION_DEPTH_INDEX

$kw157$MIN_TRANSFORMATION_DEPTH_SIGNATURE_INDEX

public static final SubLSymbol $kw157$MIN_TRANSFORMATION_DEPTH_SIGNATURE_INDEX

$kw158$MIN_DEPTH_INDEX

public static final SubLSymbol $kw158$MIN_DEPTH_INDEX

$kw159$EQUALITY_REASONING_METHOD

public static final SubLSymbol $kw159$EQUALITY_REASONING_METHOD

$kw160$EQUALITY_REASONING_DOMAIN

public static final SubLSymbol $kw160$EQUALITY_REASONING_DOMAIN

$kw161$INTERMEDIATE_STEP_VALIDATION_LEVEL

public static final SubLSymbol $kw161$INTERMEDIATE_STEP_VALIDATION_LEVEL

$kw162$MAX_PROBLEM_COUNT

public static final SubLSymbol $kw162$MAX_PROBLEM_COUNT

$kw163$CRAZY_MAX_PROBLEM_COUNT

public static final SubLSymbol $kw163$CRAZY_MAX_PROBLEM_COUNT

$kw164$REMOVAL_ALLOWED_

public static final SubLSymbol $kw164$REMOVAL_ALLOWED_

$kw165$TRANSFORMATION_ALLOWED_

public static final SubLSymbol $kw165$TRANSFORMATION_ALLOWED_

$kw166$ADD_RESTRICTION_LAYER_OF_INDIRECTION_

public static final SubLSymbol $kw166$ADD_RESTRICTION_LAYER_OF_INDIRECTION_

$kw167$NEGATION_BY_FAILURE_

public static final SubLSymbol $kw167$NEGATION_BY_FAILURE_

$kw168$COMPLETENESS_MINIMIZATION_ALLOWED_

public static final SubLSymbol $kw168$COMPLETENESS_MINIMIZATION_ALLOWED_

$kw169$DIRECTION

public static final SubLSymbol $kw169$DIRECTION

$kw170$EVALUATE_SUBL_ALLOWED_

public static final SubLSymbol $kw170$EVALUATE_SUBL_ALLOWED_

$kw171$REWRITE_ALLOWED_

public static final SubLSymbol $kw171$REWRITE_ALLOWED_

$kw172$ABDUCTION_ALLOWED_

public static final SubLSymbol $kw172$ABDUCTION_ALLOWED_

$kw173$NEW_TERMS_ALLOWED_

public static final SubLSymbol $kw173$NEW_TERMS_ALLOWED_

$kw174$COMPUTE_ANSWER_JUSTIFICATIONS_

public static final SubLSymbol $kw174$COMPUTE_ANSWER_JUSTIFICATIONS_

$kw175$MEMOIZATION_STATE

public static final SubLSymbol $kw175$MEMOIZATION_STATE

$kw176$SBHL_RESOURCE_SPACE

public static final SubLSymbol $kw176$SBHL_RESOURCE_SPACE

$kw177$PREPARED_

public static final SubLSymbol $kw177$PREPARED_

$kw178$DESTRUCTION_IMMINENT_

public static final SubLSymbol $kw178$DESTRUCTION_IMMINENT_

$kw179$META_PROBLEM_STORE

public static final SubLSymbol $kw179$META_PROBLEM_STORE

$kw180$STATIC_PROPERTIES

public static final SubLSymbol $kw180$STATIC_PROPERTIES

$kw181$JANITOR

public static final SubLSymbol $kw181$JANITOR

$kw182$HISTORICAL_ROOT_PROBLEMS

public static final SubLSymbol $kw182$HISTORICAL_ROOT_PROBLEMS

$kw183$COMPLEX_PROBLEM_QUERY_CZER_INDEX

public static final SubLSymbol $kw183$COMPLEX_PROBLEM_QUERY_CZER_INDEX

$kw184$COMPLEX_PROBLEM_QUERY_SIGNATURES

public static final SubLSymbol $kw184$COMPLEX_PROBLEM_QUERY_SIGNATURES

$kw185$PROOF_KEEPING_INDEX

public static final SubLSymbol $kw185$PROOF_KEEPING_INDEX

$str186$Invalid_slot__S_for_construction_

public static final SubLString $str186$Invalid_slot__S_for_construction_

$kw187$FREE

public static final SubLSymbol $kw187$FREE

$str188$_Invalid_PROBLEM_STORE__s_

public static final SubLString $str188$_Invalid_PROBLEM_STORE__s_

$str189$_PROBLEM_STORE__a_size__a_

public static final SubLString $str189$_PROBLEM_STORE__a_size__a_

$sym190$SXHASH_PROBLEM_STORE_METHOD

public static final SubLSymbol $sym190$SXHASH_PROBLEM_STORE_METHOD

$list191

public static final SubLList $list191

$sym192$WITH_LOCK_HELD

public static final SubLSymbol $sym192$WITH_LOCK_HELD

$sym193$PROBLEM_STORE_LOCK

public static final SubLSymbol $sym193$PROBLEM_STORE_LOCK

$sym194$WITH_PROBLEM_STORE_LOCK_HELD

public static final SubLSymbol $sym194$WITH_PROBLEM_STORE_LOCK_HELD

$list195

public static final SubLList $list195

$sym196$WITH_MEMOIZATION_STATE

public static final SubLSymbol $sym196$WITH_MEMOIZATION_STATE

$sym197$PROBLEM_STORE_MEMOIZATION_STATE

public static final SubLSymbol $sym197$PROBLEM_STORE_MEMOIZATION_STATE

$sym198$WITH_PROBLEM_STORE_MEMOIZATION_STATE

public static final SubLSymbol $sym198$WITH_PROBLEM_STORE_MEMOIZATION_STATE

$sym199$SPACE_VAR

public static final SubLSymbol $sym199$SPACE_VAR

$sym200$CLET

public static final SubLSymbol $sym200$CLET

$sym201$PROBLEM_STORE_SBHL_RESOURCE_SPACE

public static final SubLSymbol $sym201$PROBLEM_STORE_SBHL_RESOURCE_SPACE

$sym202$WITH_SBHL_MARKING_SPACE_RESOURCE

public static final SubLSymbol $sym202$WITH_SBHL_MARKING_SPACE_RESOURCE

$sym203$SET_PROBLEM_STORE_SBHL_RESOURCE_SPACE

public static final SubLSymbol $sym203$SET_PROBLEM_STORE_SBHL_RESOURCE_SPACE

$sym204$WITH_PROBLEM_STORE_SBHL_RESOURCE_SPACE

public static final SubLSymbol $sym204$WITH_PROBLEM_STORE_SBHL_RESOURCE_SPACE

$sym205$STORE_VAR

public static final SubLSymbol $sym205$STORE_VAR

$list206

public static final SubLList $list206

$sym207$ID

public static final SubLSymbol $sym207$ID

$sym208$PROBLEM_STORE_INFERENCE_ID_INDEX

public static final SubLSymbol $sym208$PROBLEM_STORE_INFERENCE_ID_INDEX

$sym209$DO_PROBLEM_STORE_INFERENCES

public static final SubLSymbol $sym209$DO_PROBLEM_STORE_INFERENCES

$list210

public static final SubLList $list210

$sym211$ID

public static final SubLSymbol $sym211$ID

$sym212$PROBLEM_STORE_STRATEGY_ID_INDEX

public static final SubLSymbol $sym212$PROBLEM_STORE_STRATEGY_ID_INDEX

$sym213$DO_PROBLEM_STORE_STRATEGIES

public static final SubLSymbol $sym213$DO_PROBLEM_STORE_STRATEGIES

$list214

public static final SubLList $list214

$sym215$PUNLESS

public static final SubLSymbol $sym215$PUNLESS

$list216

public static final SubLList $list216

$list217

public static final SubLList $list217

$list218

public static final SubLList $list218

$kw219$ORDERED

public static final SubLSymbol $kw219$ORDERED

$sym220$ID

public static final SubLSymbol $sym220$ID

$sym221$PROBLEM_STORE_PROBLEM_ID_INDEX

public static final SubLSymbol $sym221$PROBLEM_STORE_PROBLEM_ID_INDEX

$sym222$DO_PROBLEM_STORE_PROBLEMS

public static final SubLSymbol $sym222$DO_PROBLEM_STORE_PROBLEMS

$list223

public static final SubLList $list223

$list224

public static final SubLList $list224

$kw225$TYPE

public static final SubLSymbol $kw225$TYPE

$sym226$ID

public static final SubLSymbol $sym226$ID

$sym227$PROBLEM_STORE_LINK_ID_INDEX

public static final SubLSymbol $sym227$PROBLEM_STORE_LINK_ID_INDEX

$sym228$DO_PROBLEM_STORE_LINKS

public static final SubLSymbol $sym228$DO_PROBLEM_STORE_LINKS

$sym229$PWHEN

public static final SubLSymbol $sym229$PWHEN

$sym230$PROBLEM_LINK_HAS_TYPE_

public static final SubLSymbol $sym230$PROBLEM_LINK_HAS_TYPE_

$list231

public static final SubLList $list231

$list232

public static final SubLList $list232

$kw233$PROOF_STATUS

public static final SubLSymbol $kw233$PROOF_STATUS

$sym234$ID

public static final SubLSymbol $sym234$ID

$sym235$PROBLEM_STORE_PROOF_ID_INDEX

public static final SubLSymbol $sym235$PROBLEM_STORE_PROOF_ID_INDEX

$sym236$DO_PROBLEM_STORE_PROOFS

public static final SubLSymbol $sym236$DO_PROBLEM_STORE_PROOFS

$sym237$PROOF_HAS_STATUS_

public static final SubLSymbol $sym237$PROOF_HAS_STATUS_

$list238

public static final SubLList $list238

$sym239$DO_SET

public static final SubLSymbol $sym239$DO_SET

$sym240$PROBLEM_STORE_HISTORICAL_ROOT_PROBLEMS

public static final SubLSymbol $sym240$PROBLEM_STORE_HISTORICAL_ROOT_PROBLEMS

$sym241$DO_PROBLEM_STORE_HISTORICAL_ROOT_PROBLEMS

public static final SubLSymbol $sym241$DO_PROBLEM_STORE_HISTORICAL_ROOT_PROBLEMS

$list242

public static final SubLList $list242

$sym243$INFERENCE_VAR

public static final SubLSymbol $sym243$INFERENCE_VAR

$sym244$INFERENCE_STRATEGY_SET

public static final SubLSymbol $sym244$INFERENCE_STRATEGY_SET

$int245$80

public static final SubLInteger $int245$80

$int246$120

public static final SubLInteger $int246$120

$sym247$PROBLEM_STORE_PROPERTIES_P

public static final SubLSymbol $sym247$PROBLEM_STORE_PROPERTIES_P

$sym248$PROBLEM_STORE_NAME_P

public static final SubLSymbol $sym248$PROBLEM_STORE_NAME_P

$str249$A_problem_store_named__s_already_

public static final SubLString $str249$A_problem_store_named__s_already_

$str250$Problem_Store_Lock

public static final SubLString $str250$Problem_Store_Lock

$sym251$PROBLEM_STORE_EQUALITY_REASONING_METHOD_P

public static final SubLSymbol $sym251$PROBLEM_STORE_EQUALITY_REASONING_METHOD_P

$sym252$PROBLEM_STORE_EQUALITY_REASONING_DOMAIN_P

public static final SubLSymbol $sym252$PROBLEM_STORE_EQUALITY_REASONING_DOMAIN_P

$kw253$NONE

public static final SubLSymbol $kw253$NONE

$kw254$EMPTY_DOMAIN

public static final SubLSymbol $kw254$EMPTY_DOMAIN

$sym255$INTERMEDIATE_STEP_VALIDATION_LEVEL_P

public static final SubLSymbol $sym255$INTERMEDIATE_STEP_VALIDATION_LEVEL_P

$sym256$MAX_PROBLEM_COUNT_P

public static final SubLSymbol $sym256$MAX_PROBLEM_COUNT_P

$sym257$BOOLEANP

public static final SubLSymbol $sym257$BOOLEANP

$sym258$INFERENCE_DIRECTION_P

public static final SubLSymbol $sym258$INFERENCE_DIRECTION_P

$str259$problem_store_memoization_state

public static final SubLString $str259$problem_store_memoization_state

$str260$problem_store_memoization_lock

public static final SubLString $str260$problem_store_memoization_lock

$kw261$SKIP

public static final SubLSymbol $kw261$SKIP

$sym262$TACTIC_P

public static final SubLSymbol $sym262$TACTIC_P

$sym263$NEW_PROBLEM_STORE_P

public static final SubLSymbol $sym263$NEW_PROBLEM_STORE_P

$kw264$FORWARD

public static final SubLSymbol $kw264$FORWARD

$kw265$TACTICAL

public static final SubLSymbol $kw265$TACTICAL

$kw266$CONTENT

public static final SubLSymbol $kw266$CONTENT

$kw267$ANSWER

public static final SubLSymbol $kw267$ANSWER

$kw268$REMOVAL

public static final SubLSymbol $kw268$REMOVAL

$kw269$REMOVAL_CONJUNCTIVE

public static final SubLSymbol $kw269$REMOVAL_CONJUNCTIVE

$kw270$TRANSFORMATION

public static final SubLSymbol $kw270$TRANSFORMATION

$kw271$REWRITE

public static final SubLSymbol $kw271$REWRITE

$kw272$STRUCTURAL

public static final SubLSymbol $kw272$STRUCTURAL

$kw273$JOIN_ORDERED

public static final SubLSymbol $kw273$JOIN_ORDERED

$kw274$JOIN

public static final SubLSymbol $kw274$JOIN

$kw275$SPLIT

public static final SubLSymbol $kw275$SPLIT

$kw276$RESTRICTION

public static final SubLSymbol $kw276$RESTRICTION

$kw277$RESIDUAL_TRANSFORMATION

public static final SubLSymbol $kw277$RESIDUAL_TRANSFORMATION

$kw278$UNION

public static final SubLSymbol $kw278$UNION

$int279$212

public static final SubLInteger $int279$212

$kw280$POSSIBLE

public static final SubLSymbol $kw280$POSSIBLE

$kw281$EXECUTED

public static final SubLSymbol $kw281$EXECUTED

$kw282$DISCARDED

public static final SubLSymbol $kw282$DISCARDED

$sym283$_

public static final SubLSymbol $sym283$_

$sym284$PROOF_SUID

public static final SubLSymbol $sym284$PROOF_SUID

$sym285$PROBLEM_SUID

public static final SubLSymbol $sym285$PROBLEM_SUID

$sym286$PROBLEM_LINK_SUID

public static final SubLSymbol $sym286$PROBLEM_LINK_SUID

$kw287$UNDETERMINED

public static final SubLSymbol $kw287$UNDETERMINED

$kw288$UNKNOWN

public static final SubLSymbol $kw288$UNKNOWN

$kw289$NON_PROOF_KEEPING

public static final SubLSymbol $kw289$NON_PROOF_KEEPING

$list290

public static final SubLList $list290

$str291$Invalid_proof_keeping_reason__a_f

public static final SubLString $str291$Invalid_proof_keeping_reason__a_f

$sym292$NON_NEGATIVE_INTEGER_P

public static final SubLSymbol $sym292$NON_NEGATIVE_INTEGER_P

$sym293$PROOF_REJECTED_

public static final SubLSymbol $sym293$PROOF_REJECTED_

$sym294$PROOF_P

public static final SubLSymbol $sym294$PROOF_P

$str295$Invalid_attempt_to_reuse_memoizat

public static final SubLString $str295$Invalid_attempt_to_reuse_memoizat

$sym296$ENSURE_TRANSFORMATION_RULE_CONSIDERED_NOTED

public static final SubLSymbol $sym296$ENSURE_TRANSFORMATION_RULE_CONSIDERED_NOTED

$kw297$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw297$_MEMOIZED_ITEM_NOT_FOUND_

$sym298$ENSURE_TRANSFORMATION_RULE_SUCCESS_NOTED

public static final SubLSymbol $sym298$ENSURE_TRANSFORMATION_RULE_SUCCESS_NOTED

$sym299$PROBLEM_STORE_JANITOR

public static final SubLSymbol $sym299$PROBLEM_STORE_JANITOR

$sym300$PROBLEM_STORE_JANITOR_P

public static final SubLSymbol $sym300$PROBLEM_STORE_JANITOR_P

$list301

public static final SubLList $list301

$list302

public static final SubLList $list302

$list303

public static final SubLList $list303

$list304

public static final SubLList $list304

$sym305$DEFAULT_STRUCT_PRINT_FUNCTION

public static final SubLSymbol $sym305$DEFAULT_STRUCT_PRINT_FUNCTION

$sym306$PROBLEM_STORE_JANITOR_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym306$PROBLEM_STORE_JANITOR_PRINT_FUNCTION_TRAMPOLINE

$sym307$PROB_STORE_JANITOR_STORE

public static final SubLSymbol $sym307$PROB_STORE_JANITOR_STORE

$sym308$_CSETF_PROB_STORE_JANITOR_STORE

public static final SubLSymbol $sym308$_CSETF_PROB_STORE_JANITOR_STORE

$sym309$PROB_STORE_JANITOR_INDESTRUCTIBLE_PROBLEMS

public static final SubLSymbol $sym309$PROB_STORE_JANITOR_INDESTRUCTIBLE_PROBLEMS

$sym310$_CSETF_PROB_STORE_JANITOR_INDESTRUCTIBLE_PROBLEMS

public static final SubLSymbol $sym310$_CSETF_PROB_STORE_JANITOR_INDESTRUCTIBLE_PROBLEMS

$sym311$PROB_STORE_JANITOR_STALE_

public static final SubLSymbol $sym311$PROB_STORE_JANITOR_STALE_

$sym312$_CSETF_PROB_STORE_JANITOR_STALE_

public static final SubLSymbol $sym312$_CSETF_PROB_STORE_JANITOR_STALE_

$kw313$STORE

public static final SubLSymbol $kw313$STORE

$kw314$INDESTRUCTIBLE_PROBLEMS

public static final SubLSymbol $kw314$INDESTRUCTIBLE_PROBLEMS

$kw315$STALE_

public static final SubLSymbol $kw315$STALE_

$sym316$PROBLEM_STORE_JANITOR_INDESTRUCTIBLE_PROBLEMS

public static final SubLSymbol $sym316$PROBLEM_STORE_JANITOR_INDESTRUCTIBLE_PROBLEMS

$sym317$DO_PROBLEM_STORE_JANITOR_INDESTRUCTIBLE_PROBLEMS

public static final SubLSymbol $sym317$DO_PROBLEM_STORE_JANITOR_INDESTRUCTIBLE_PROBLEMS

$list318

public static final SubLList $list318

$sym319$PROBLEM_STORE_JANITOR_STORE

public static final SubLSymbol $sym319$PROBLEM_STORE_JANITOR_STORE

$sym320$PROBLEM_DESTRUCTIBLE_

public static final SubLSymbol $sym320$PROBLEM_DESTRUCTIBLE_

$sym321$PROBLEM_P

public static final SubLSymbol $sym321$PROBLEM_P

$sym322$_PROBLEM_STORE_ID_TO_NAME_TABLE_

public static final SubLSymbol $sym322$_PROBLEM_STORE_ID_TO_NAME_TABLE_

$sym323$_PROBLEM_STORE_NAME_TO_ID_TABLE_

public static final SubLSymbol $sym323$_PROBLEM_STORE_NAME_TO_ID_TABLE_

$sym324$FIND_PROBLEM_STORE_BY_NAME

public static final SubLSymbol $sym324$FIND_PROBLEM_STORE_BY_NAME

$sym325$FIND_OR_CREATE_PROBLEM_STORE_BY_NAME

public static final SubLSymbol $sym325$FIND_OR_CREATE_PROBLEM_STORE_BY_NAME

$kw326$PROBLEM_STORE_NAME

public static final SubLSymbol $kw326$PROBLEM_STORE_NAME

$sym327$DESTROY_PROBLEM_STORE_BY_NAME

public static final SubLSymbol $sym327$DESTROY_PROBLEM_STORE_BY_NAME

$sym328$PROBLEM_STORE_PROPERTY_P

public static final SubLSymbol $sym328$PROBLEM_STORE_PROPERTY_P

$str329$Problem_store_property__S_reflect

public static final SubLString $str329$Problem_store_property__S_reflect

Method Detail

new_problem_store_id

public static final SubLObject new_problem_store_id()

index_problem_store_by_id

public static final SubLObject index_problem_store_by_id(SubLObject store,
                                                         SubLObject suid)

unindex_problem_store_by_id

public static final SubLObject unindex_problem_store_by_id(SubLObject store)

all_problem_stores

public static final SubLObject all_problem_stores()

Return a list of all problem stores.

destroy_all_problem_stores

public static final SubLObject destroy_all_problem_stores()

Destroy all current problem stores; @return integer, the number of stores successfully destroyed.

problem_store_print_function_trampoline

public static final SubLObject problem_store_print_function_trampoline(SubLObject object,
                                                                       SubLObject stream)

problem_store_p

public static final SubLObject problem_store_p(SubLObject object)

prob_store_suid

public static final SubLObject prob_store_suid(SubLObject object)

prob_store_lock

public static final SubLObject prob_store_lock(SubLObject object)

prob_store_inference_id_index

public static final SubLObject prob_store_inference_id_index(SubLObject object)

prob_store_strategy_id_index

public static final SubLObject prob_store_strategy_id_index(SubLObject object)

prob_store_problem_id_index

public static final SubLObject prob_store_problem_id_index(SubLObject object)

prob_store_link_id_index

public static final SubLObject prob_store_link_id_index(SubLObject object)

prob_store_proof_id_index

public static final SubLObject prob_store_proof_id_index(SubLObject object)

prob_store_problem_by_query_index

public static final SubLObject prob_store_problem_by_query_index(SubLObject object)

prob_store_rejected_proofs

public static final SubLObject prob_store_rejected_proofs(SubLObject object)

prob_store_processed_proofs

public static final SubLObject prob_store_processed_proofs(SubLObject object)

prob_store_non_explanatory_subproofs_possibleP

public static final SubLObject prob_store_non_explanatory_subproofs_possibleP(SubLObject object)

prob_store_non_explanatory_subproofs_index

public static final SubLObject prob_store_non_explanatory_subproofs_index(SubLObject object)

prob_store_min_proof_depth_index

public static final SubLObject prob_store_min_proof_depth_index(SubLObject object)

prob_store_min_transformation_depth_index

public static final SubLObject prob_store_min_transformation_depth_index(SubLObject object)

prob_store_min_transformation_depth_signature_index

public static final SubLObject prob_store_min_transformation_depth_signature_index(SubLObject object)

prob_store_min_depth_index

public static final SubLObject prob_store_min_depth_index(SubLObject object)

prob_store_equality_reasoning_method

public static final SubLObject prob_store_equality_reasoning_method(SubLObject object)

prob_store_equality_reasoning_domain

public static final SubLObject prob_store_equality_reasoning_domain(SubLObject object)

prob_store_intermediate_step_validation_level

public static final SubLObject prob_store_intermediate_step_validation_level(SubLObject object)

prob_store_max_problem_count

public static final SubLObject prob_store_max_problem_count(SubLObject object)

prob_store_removal_allowedP

public static final SubLObject prob_store_removal_allowedP(SubLObject object)

prob_store_transformation_allowedP

public static final SubLObject prob_store_transformation_allowedP(SubLObject object)

prob_store_add_restriction_layer_of_indirectionP

public static final SubLObject prob_store_add_restriction_layer_of_indirectionP(SubLObject object)

prob_store_negation_by_failureP

public static final SubLObject prob_store_negation_by_failureP(SubLObject object)

prob_store_direction

public static final SubLObject prob_store_direction(SubLObject object)

prob_store_rewrite_allowedP

public static final SubLObject prob_store_rewrite_allowedP(SubLObject object)

prob_store_abduction_allowedP

public static final SubLObject prob_store_abduction_allowedP(SubLObject object)

prob_store_new_terms_allowedP

public static final SubLObject prob_store_new_terms_allowedP(SubLObject object)

prob_store_compute_answer_justificationsP

public static final SubLObject prob_store_compute_answer_justificationsP(SubLObject object)

prob_store_memoization_state

public static final SubLObject prob_store_memoization_state(SubLObject object)

prob_store_sbhl_resource_space

public static final SubLObject prob_store_sbhl_resource_space(SubLObject object)

prob_store_preparedP

public static final SubLObject prob_store_preparedP(SubLObject object)

prob_store_meta_problem_store

public static final SubLObject prob_store_meta_problem_store(SubLObject object)

prob_store_janitor

public static final SubLObject prob_store_janitor(SubLObject object)

prob_store_historical_root_problems

public static final SubLObject prob_store_historical_root_problems(SubLObject object)

prob_store_complex_problem_query_czer_index

public static final SubLObject prob_store_complex_problem_query_czer_index(SubLObject object)

prob_store_complex_problem_query_signatures

public static final SubLObject prob_store_complex_problem_query_signatures(SubLObject object)

prob_store_proof_keeping_index

public static final SubLObject prob_store_proof_keeping_index(SubLObject object)

_csetf_prob_store_guid

public static final SubLObject _csetf_prob_store_guid(SubLObject object,
                                                      SubLObject value)

_csetf_prob_store_suid

public static final SubLObject _csetf_prob_store_suid(SubLObject object,
                                                      SubLObject value)

_csetf_prob_store_lock

public static final SubLObject _csetf_prob_store_lock(SubLObject object,
                                                      SubLObject value)

_csetf_prob_store_creation_time

public static final SubLObject _csetf_prob_store_creation_time(SubLObject object,
                                                               SubLObject value)

_csetf_prob_store_inference_id_index

public static final SubLObject _csetf_prob_store_inference_id_index(SubLObject object,
                                                                    SubLObject value)

_csetf_prob_store_strategy_id_index

public static final SubLObject _csetf_prob_store_strategy_id_index(SubLObject object,
                                                                   SubLObject value)

_csetf_prob_store_problem_id_index

public static final SubLObject _csetf_prob_store_problem_id_index(SubLObject object,
                                                                  SubLObject value)

_csetf_prob_store_link_id_index

public static final SubLObject _csetf_prob_store_link_id_index(SubLObject object,
                                                               SubLObject value)

_csetf_prob_store_proof_id_index

public static final SubLObject _csetf_prob_store_proof_id_index(SubLObject object,
                                                                SubLObject value)

_csetf_prob_store_problem_by_query_index

public static final SubLObject _csetf_prob_store_problem_by_query_index(SubLObject object,
                                                                        SubLObject value)

_csetf_prob_store_rejected_proofs

public static final SubLObject _csetf_prob_store_rejected_proofs(SubLObject object,
                                                                 SubLObject value)

_csetf_prob_store_processed_proofs

public static final SubLObject _csetf_prob_store_processed_proofs(SubLObject object,
                                                                  SubLObject value)

_csetf_prob_store_non_explanatory_subproofs_possibleP

public static final SubLObject _csetf_prob_store_non_explanatory_subproofs_possibleP(SubLObject object,
                                                                                     SubLObject value)

_csetf_prob_store_non_explanatory_subproofs_index

public static final SubLObject _csetf_prob_store_non_explanatory_subproofs_index(SubLObject object,
                                                                                 SubLObject value)

_csetf_prob_store_most_recent_tactic_executed

public static final SubLObject _csetf_prob_store_most_recent_tactic_executed(SubLObject object,
                                                                             SubLObject value)

_csetf_prob_store_min_proof_depth_index

public static final SubLObject _csetf_prob_store_min_proof_depth_index(SubLObject object,
                                                                       SubLObject value)

_csetf_prob_store_min_transformation_depth_index

public static final SubLObject _csetf_prob_store_min_transformation_depth_index(SubLObject object,
                                                                                SubLObject value)

_csetf_prob_store_min_transformation_depth_signature_index

public static final SubLObject _csetf_prob_store_min_transformation_depth_signature_index(SubLObject object,
                                                                                          SubLObject value)

_csetf_prob_store_min_depth_index

public static final SubLObject _csetf_prob_store_min_depth_index(SubLObject object,
                                                                 SubLObject value)

_csetf_prob_store_equality_reasoning_method

public static final SubLObject _csetf_prob_store_equality_reasoning_method(SubLObject object,
                                                                           SubLObject value)

_csetf_prob_store_equality_reasoning_domain

public static final SubLObject _csetf_prob_store_equality_reasoning_domain(SubLObject object,
                                                                           SubLObject value)

_csetf_prob_store_intermediate_step_validation_level

public static final SubLObject _csetf_prob_store_intermediate_step_validation_level(SubLObject object,
                                                                                    SubLObject value)

_csetf_prob_store_max_problem_count

public static final SubLObject _csetf_prob_store_max_problem_count(SubLObject object,
                                                                   SubLObject value)

_csetf_prob_store_crazy_max_problem_count

public static final SubLObject _csetf_prob_store_crazy_max_problem_count(SubLObject object,
                                                                         SubLObject value)

_csetf_prob_store_removal_allowedP

public static final SubLObject _csetf_prob_store_removal_allowedP(SubLObject object,
                                                                  SubLObject value)

_csetf_prob_store_transformation_allowedP

public static final SubLObject _csetf_prob_store_transformation_allowedP(SubLObject object,
                                                                         SubLObject value)

_csetf_prob_store_add_restriction_layer_of_indirectionP

public static final SubLObject _csetf_prob_store_add_restriction_layer_of_indirectionP(SubLObject object,
                                                                                       SubLObject value)

_csetf_prob_store_negation_by_failureP

public static final SubLObject _csetf_prob_store_negation_by_failureP(SubLObject object,
                                                                      SubLObject value)

_csetf_prob_store_completeness_minimization_allowedP

public static final SubLObject _csetf_prob_store_completeness_minimization_allowedP(SubLObject object,
                                                                                    SubLObject value)

_csetf_prob_store_direction

public static final SubLObject _csetf_prob_store_direction(SubLObject object,
                                                           SubLObject value)

_csetf_prob_store_evaluate_subl_allowedP

public static final SubLObject _csetf_prob_store_evaluate_subl_allowedP(SubLObject object,
                                                                        SubLObject value)

_csetf_prob_store_rewrite_allowedP

public static final SubLObject _csetf_prob_store_rewrite_allowedP(SubLObject object,
                                                                  SubLObject value)

_csetf_prob_store_abduction_allowedP

public static final SubLObject _csetf_prob_store_abduction_allowedP(SubLObject object,
                                                                    SubLObject value)

_csetf_prob_store_new_terms_allowedP

public static final SubLObject _csetf_prob_store_new_terms_allowedP(SubLObject object,
                                                                    SubLObject value)

_csetf_prob_store_compute_answer_justificationsP

public static final SubLObject _csetf_prob_store_compute_answer_justificationsP(SubLObject object,
                                                                                SubLObject value)

_csetf_prob_store_memoization_state

public static final SubLObject _csetf_prob_store_memoization_state(SubLObject object,
                                                                   SubLObject value)

_csetf_prob_store_sbhl_resource_space

public static final SubLObject _csetf_prob_store_sbhl_resource_space(SubLObject object,
                                                                     SubLObject value)

_csetf_prob_store_preparedP

public static final SubLObject _csetf_prob_store_preparedP(SubLObject object,
                                                           SubLObject value)

_csetf_prob_store_destruction_imminentP

public static final SubLObject _csetf_prob_store_destruction_imminentP(SubLObject object,
                                                                       SubLObject value)

_csetf_prob_store_meta_problem_store

public static final SubLObject _csetf_prob_store_meta_problem_store(SubLObject object,
                                                                    SubLObject value)

_csetf_prob_store_static_properties

public static final SubLObject _csetf_prob_store_static_properties(SubLObject object,
                                                                   SubLObject value)

_csetf_prob_store_janitor

public static final SubLObject _csetf_prob_store_janitor(SubLObject object,
                                                         SubLObject value)

_csetf_prob_store_historical_root_problems

public static final SubLObject _csetf_prob_store_historical_root_problems(SubLObject object,
                                                                          SubLObject value)

_csetf_prob_store_complex_problem_query_czer_index

public static final SubLObject _csetf_prob_store_complex_problem_query_czer_index(SubLObject object,
                                                                                  SubLObject value)

_csetf_prob_store_complex_problem_query_signatures

public static final SubLObject _csetf_prob_store_complex_problem_query_signatures(SubLObject object,
                                                                                  SubLObject value)

_csetf_prob_store_proof_keeping_index

public static final SubLObject _csetf_prob_store_proof_keeping_index(SubLObject object,
                                                                     SubLObject value)

make_problem_store

public static final SubLObject make_problem_store(SubLObject arglist)

valid_problem_store_p

public static final SubLObject valid_problem_store_p(SubLObject object)

problem_store_invalid_p

public static final SubLObject problem_store_invalid_p(SubLObject store)

sxhash_problem_store_method

public static final SubLObject sxhash_problem_store_method(SubLObject object)

problem_store_lock

public static final SubLObject problem_store_lock(SubLObject store)

problem_store_memoization_state

public static final SubLObject problem_store_memoization_state(SubLObject store)

problem_store_sbhl_resource_space

public static final SubLObject problem_store_sbhl_resource_space(SubLObject store)

set_problem_store_sbhl_resource_space

public static final SubLObject set_problem_store_sbhl_resource_space(SubLObject store,
                                                                     SubLObject space)

problem_store_inference_id_index

public static final SubLObject problem_store_inference_id_index(SubLObject store)

problem_store_strategy_id_index

public static final SubLObject problem_store_strategy_id_index(SubLObject store)

problem_store_problem_id_index

public static final SubLObject problem_store_problem_id_index(SubLObject store)

problem_store_link_id_index

public static final SubLObject problem_store_link_id_index(SubLObject store)

problem_store_proof_id_index

public static final SubLObject problem_store_proof_id_index(SubLObject store)

problem_store_historical_root_problems

public static final SubLObject problem_store_historical_root_problems(SubLObject store)

new_problem_store

public static final SubLObject new_problem_store(SubLObject problem_store_properties)

Allocates a new problem-store object and sets up its internal datastructures.

destroy_problem_store

public static final SubLObject destroy_problem_store(SubLObject store)

destroy_problem_store_int

public static final SubLObject destroy_problem_store_int(SubLObject store)

note_problem_store_invalid

public static final SubLObject note_problem_store_invalid(SubLObject store)

problem_store_suid

public static final SubLObject problem_store_suid(SubLObject store)

problem_store_rejected_proofs

public static final SubLObject problem_store_rejected_proofs(SubLObject store)

problem_store_non_explanatory_subproofs_possibleP

public static final SubLObject problem_store_non_explanatory_subproofs_possibleP(SubLObject store)

problem_store_min_proof_depth_index

public static final SubLObject problem_store_min_proof_depth_index(SubLObject store)

problem_store_min_transformation_depth_index

public static final SubLObject problem_store_min_transformation_depth_index(SubLObject store)

problem_store_min_transformation_depth_signature_index

public static final SubLObject problem_store_min_transformation_depth_signature_index(SubLObject store)

problem_store_equality_reasoning_method

public static final SubLObject problem_store_equality_reasoning_method(SubLObject store)

problem_store_equality_reasoning_domain

public static final SubLObject problem_store_equality_reasoning_domain(SubLObject store)

problem_store_intermediate_step_validation_level

public static final SubLObject problem_store_intermediate_step_validation_level(SubLObject store)

problem_store_max_problem_count

public static final SubLObject problem_store_max_problem_count(SubLObject store)

problem_store_removal_allowedP

public static final SubLObject problem_store_removal_allowedP(SubLObject store)

problem_store_transformation_allowedP

public static final SubLObject problem_store_transformation_allowedP(SubLObject store)

problem_store_add_restriction_layer_of_indirectionP

public static final SubLObject problem_store_add_restriction_layer_of_indirectionP(SubLObject store)

problem_store_negation_by_failureP

public static final SubLObject problem_store_negation_by_failureP(SubLObject store)

problem_store_direction

public static final SubLObject problem_store_direction(SubLObject store)

problem_store_rewrite_allowedP

public static final SubLObject problem_store_rewrite_allowedP(SubLObject store)

problem_store_abduction_allowedP

public static final SubLObject problem_store_abduction_allowedP(SubLObject store)

problem_store_new_terms_allowedP

public static final SubLObject problem_store_new_terms_allowedP(SubLObject store)

problem_store_compute_answer_justificationsP

public static final SubLObject problem_store_compute_answer_justificationsP(SubLObject store)

problem_store_preparedP

public static final SubLObject problem_store_preparedP(SubLObject store)

note_problem_store_most_recent_tactic_executed

public static final SubLObject note_problem_store_most_recent_tactic_executed(SubLObject store,
                                                                              SubLObject tactic)

set_problem_store_add_restriction_layer_of_indirectionP

public static final SubLObject set_problem_store_add_restriction_layer_of_indirectionP(SubLObject store,
                                                                                       SubLObject value)

set_problem_store_transformation_allowedP

public static final SubLObject set_problem_store_transformation_allowedP(SubLObject store,
                                                                         SubLObject value)

note_problem_store_prepared

public static final SubLObject note_problem_store_prepared(SubLObject store)

note_problem_store_destruction_imminent

public static final SubLObject note_problem_store_destruction_imminent(SubLObject store)

problem_store_forwardP

public static final SubLObject problem_store_forwardP(SubLObject store)

Return T iff STORE has a direction of :FORWARD.

problem_store_newP

public static final SubLObject problem_store_newP(SubLObject store)

Returns:: booleanp; whether STORE is newly created and not yet finalized.
See Also:: finalize-problem-store-properties

problem_store_inference_count

public static final SubLObject problem_store_inference_count(SubLObject store)

Return the number of inferences that are currently in STORE.

problem_store_has_only_one_inferenceP

public static final SubLObject problem_store_has_only_one_inferenceP(SubLObject store)

first_problem_store_inference

public static final SubLObject first_problem_store_inference(SubLObject store)

problem_store_privateP

public static final SubLObject problem_store_privateP(SubLObject store)

problem_store_problem_count

public static final SubLObject problem_store_problem_count(SubLObject store)

Return the number of problems that are currently in STORE.

problem_store_historical_problem_count

public static final SubLObject problem_store_historical_problem_count(SubLObject store)

Return the number of problems that have ever existed in STORE.

compute_crazy_max_problem_count

public static final SubLObject compute_crazy_max_problem_count(SubLObject max_problem_count)

Given MAX-PROBLEM-COUNT which is the amount of problems above which the problem store will attempt to prune, returns the CRAZY-MAX-PROBLEM-COUNT which is the amount of problems above which the problem store will error without even trying to prune.

problem_store_max_problem_count_reachedP

public static final SubLObject problem_store_max_problem_count_reachedP(SubLObject store)

problem_store_max_proof_count_reachedP

public static final SubLObject problem_store_max_proof_count_reachedP(SubLObject store)

problem_store_allows_proof_processingP

public static final SubLObject problem_store_allows_proof_processingP(SubLObject store)

find_problem_by_query

public static final SubLObject find_problem_by_query(SubLObject store,
                                                     SubLObject query)

problem_store_proof_count

public static final SubLObject problem_store_proof_count(SubLObject store)

Return the number of proofs that are currently in STORE.

problem_store_historical_root_problem_count

public static final SubLObject problem_store_historical_root_problem_count(SubLObject store)

Returns:: non-negative-integer-p; the number of currently existing problems in STORE that have ever been the root problem of some inference.

clear_problem_store_proof_keeping_problems

public static final SubLObject clear_problem_store_proof_keeping_problems(SubLObject store)

problem_store_new_inference_id

public static final SubLObject problem_store_new_inference_id(SubLObject store)

problem_store_new_strategy_id

public static final SubLObject problem_store_new_strategy_id(SubLObject store)

problem_store_new_problem_id

public static final SubLObject problem_store_new_problem_id(SubLObject store)

problem_store_new_link_id

public static final SubLObject problem_store_new_link_id(SubLObject store)

problem_store_new_proof_id

public static final SubLObject problem_store_new_proof_id(SubLObject store)

add_problem_store_inference

public static final SubLObject add_problem_store_inference(SubLObject store,
                                                           SubLObject inference)

remove_problem_store_inference

public static final SubLObject remove_problem_store_inference(SubLObject store,
                                                              SubLObject inference)

add_problem_store_strategy

public static final SubLObject add_problem_store_strategy(SubLObject store,
                                                          SubLObject strategy)

remove_problem_store_strategy

public static final SubLObject remove_problem_store_strategy(SubLObject store,
                                                             SubLObject strategy)

add_problem_store_problem_by_id

public static final SubLObject add_problem_store_problem_by_id(SubLObject store,
                                                               SubLObject problem)

add_problem_store_problem_by_query

public static final SubLObject add_problem_store_problem_by_query(SubLObject store,
                                                                  SubLObject problem)

add_problem_store_link

public static final SubLObject add_problem_store_link(SubLObject store,
                                                      SubLObject link)

remove_problem_store_link

public static final SubLObject remove_problem_store_link(SubLObject store,
                                                         SubLObject link)

add_problem_store_proof

public static final SubLObject add_problem_store_proof(SubLObject store,
                                                       SubLObject proof)

problem_store_min_proof_depth_index_remove_inference

public static final SubLObject problem_store_min_proof_depth_index_remove_inference(SubLObject store,
                                                                                    SubLObject inference)

problem_store_min_transformation_depth_index_remove_inference

public static final SubLObject problem_store_min_transformation_depth_index_remove_inference(SubLObject store,
                                                                                             SubLObject inference)

problem_store_min_transformation_depth_signature_index_remove_inference

public static final SubLObject problem_store_min_transformation_depth_signature_index_remove_inference(SubLObject store,
                                                                                                       SubLObject inference)

add_problem_store_historical_root_problem

public static final SubLObject add_problem_store_historical_root_problem(SubLObject store,
                                                                         SubLObject problem)

finalize_problem_store_properties

public static final SubLObject finalize_problem_store_properties(SubLObject store)

Call this after STORE is done being constructed. Sets all STORE's static properties to be no longer modifiable.

add_problem_store_problem

public static final SubLObject add_problem_store_problem(SubLObject store,
                                                         SubLObject problem)

problem_store_note_transformation_rule_considered

public static final SubLObject problem_store_note_transformation_rule_considered(SubLObject store,
                                                                                 SubLObject rule)

problem_store_note_transformation_rule_success

public static final SubLObject problem_store_note_transformation_rule_success(SubLObject store,
                                                                              SubLObject rule)

ensure_transformation_rule_considered_noted_internal

public static final SubLObject ensure_transformation_rule_considered_noted_internal(SubLObject rule)

ensure_transformation_rule_considered_noted

public static final SubLObject ensure_transformation_rule_considered_noted(SubLObject rule)

ensure_transformation_rule_success_noted_internal

public static final SubLObject ensure_transformation_rule_success_noted_internal(SubLObject rule)

ensure_transformation_rule_success_noted

public static final SubLObject ensure_transformation_rule_success_noted(SubLObject rule)

prob_store_janitor_indestructible_problems

public static final SubLObject prob_store_janitor_indestructible_problems(SubLObject object)

_csetf_prob_store_janitor_store

public static final SubLObject _csetf_prob_store_janitor_store(SubLObject object,
                                                               SubLObject value)

_csetf_prob_store_janitor_indestructible_problems

public static final SubLObject _csetf_prob_store_janitor_indestructible_problems(SubLObject object,
                                                                                 SubLObject value)

_csetf_prob_store_janitor_staleP

public static final SubLObject _csetf_prob_store_janitor_staleP(SubLObject object,
                                                                SubLObject value)

make_problem_store_janitor

public static final SubLObject make_problem_store_janitor(SubLObject arglist)

new_problem_store_janitor

public static final SubLObject new_problem_store_janitor(SubLObject store)

destroy_problem_store_janitor

public static final SubLObject destroy_problem_store_janitor(SubLObject janitor)

problem_store_janitor_note_stale

public static final SubLObject problem_store_janitor_note_stale(SubLObject janitor)

problem_store_name

public static final SubLObject problem_store_name(SubLObject problem_store)

Returns an object which is the unique name of PROBLEM-STORE. This object can be of any type, but names are assumed unique wrt the #'equal test.

find_problem_store_by_name

public static final SubLObject find_problem_store_by_name(SubLObject name)

Returns:: nil or problem-store-p

set_problem_store_name

public static final SubLObject set_problem_store_name(SubLObject problem_store,
                                                      SubLObject name)

free_problem_store_name

public static final SubLObject free_problem_store_name(SubLObject problem_store)

declare_inference_datastructures_problem_store_file

public static final SubLObject declare_inference_datastructures_problem_store_file()

init_inference_datastructures_problem_store_file

public static final SubLObject init_inference_datastructures_problem_store_file()

setup_inference_datastructures_problem_store_file

public static final SubLObject setup_inference_datastructures_problem_store_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.inference.harness Class inference_datastructures_problem_store

me

myName

$problem_store_modification_permittedP$

$dtp_problem_store$

$dtp_problem_store_janitor$

$sym0$_PROBLEM_STORE_ID_INDEX_

$list1

$list2

$kw3$ALLOW_OTHER_KEYS

$kw4$DONE

$sym5$ID

$sym6$DO_ID_INDEX

$list7

$sym8$IGNORE

$sym9$PROBLEM_STORE_ID_INDEX

$sym10$DO_ALL_PROBLEM_STORES

$kw11$IGNORE_ERRORS_TARGET

$sym12$IGNORE_ERRORS_HANDLER

$sym13$PROBLEM_STORE

$sym14$PROBLEM_STORE_P

$list15

$list16

$list17

$list18

$sym19$PRINT_PROBLEM_STORE

$int20$21

$int21$22

$int22$23

$int23$24

$int24$25

$int25$26

$int26$27

$int27$28

$int28$29

$int29$30

$int30$31

$int31$32

$int32$33

$int33$34

$int34$35

$int35$36

$int36$37

$int37$38

$int38$39

$int39$40

$int40$41

$int41$42

$int42$43

$int43$44

$int44$45

$int45$46

$int46$47

$sym47$PROBLEM_STORE_PRINT_FUNCTION_TRAMPOLINE

$sym48$PROB_STORE_GUID

$sym49$_CSETF_PROB_STORE_GUID

$sym50$PROB_STORE_SUID

$sym51$_CSETF_PROB_STORE_SUID

$sym52$PROB_STORE_LOCK

$sym53$_CSETF_PROB_STORE_LOCK

$sym54$PROB_STORE_CREATION_TIME

$sym55$_CSETF_PROB_STORE_CREATION_TIME

$sym56$PROB_STORE_INFERENCE_ID_INDEX

$sym57$_CSETF_PROB_STORE_INFERENCE_ID_INDEX

$sym58$PROB_STORE_STRATEGY_ID_INDEX

$sym59$_CSETF_PROB_STORE_STRATEGY_ID_INDEX

$sym60$PROB_STORE_PROBLEM_ID_INDEX

$sym61$_CSETF_PROB_STORE_PROBLEM_ID_INDEX

$sym62$PROB_STORE_LINK_ID_INDEX

$sym63$_CSETF_PROB_STORE_LINK_ID_INDEX

$sym64$PROB_STORE_PROOF_ID_INDEX

$sym65$_CSETF_PROB_STORE_PROOF_ID_INDEX

$sym66$PROB_STORE_PROBLEM_BY_QUERY_INDEX

$sym67$_CSETF_PROB_STORE_PROBLEM_BY_QUERY_INDEX

$sym68$PROB_STORE_REJECTED_PROOFS

$sym69$_CSETF_PROB_STORE_REJECTED_PROOFS

$sym70$PROB_STORE_PROCESSED_PROOFS

$sym71$_CSETF_PROB_STORE_PROCESSED_PROOFS

$sym72$PROB_STORE_NON_EXPLANATORY_SUBPROOFS_POSSIBLE_

$sym73$_CSETF_PROB_STORE_NON_EXPLANATORY_SUBPROOFS_POSSIBLE_

com.cyc.cycjava.cycl.inference.harness
Class inference_datastructures_problem_store