inference_datastructures

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_inference

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class inference_datastructures_inference
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`inference_datastructures_inference.$inference_answer_justification_native`
`static class`	`inference_datastructures_inference.$inference_answer_justification_p$UnaryFunction`
`static class`	`inference_datastructures_inference.$inference_answer_justification_supports$UnaryFunction`
`static class`	`inference_datastructures_inference.$inference_answer_native`
`static class`	`inference_datastructures_inference.$inference_answer_p$UnaryFunction`
`static class`	`inference_datastructures_inference.$inference_native`
`static class`	`inference_datastructures_inference.$inference_p$UnaryFunction`
`static class`	`inference_datastructures_inference.$sxhash_inference_method$UnaryFunction`

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

Field Summary
`static SubLSymbol`	$dtp_inference_answer_justification$
`static SubLSymbol`	$dtp_inference_answer$
`static SubLSymbol`	$dtp_inference$
`static SubLInteger`	`$int10$23`
`static SubLInteger`	`$int11$24`
`static SubLInteger`	`$int12$25`
`static SubLInteger`	`$int13$26`
`static SubLInteger`	`$int14$27`
`static SubLInteger`	`$int15$28`
`static SubLInteger`	`$int16$29`
`static SubLInteger`	`$int17$30`
`static SubLInteger`	`$int18$31`
`static SubLInteger`	`$int19$32`
`static SubLInteger`	`$int20$33`
`static SubLInteger`	`$int21$34`
`static SubLInteger`	`$int22$35`
`static SubLInteger`	`$int23$36`
`static SubLInteger`	`$int24$37`
`static SubLInteger`	`$int25$38`
`static SubLInteger`	`$int26$39`
`static SubLInteger`	`$int27$40`
`static SubLInteger`	`$int28$41`
`static SubLInteger`	`$int29$42`
`static SubLInteger`	`$int30$43`
`static SubLInteger`	`$int31$44`
`static SubLInteger`	`$int32$45`
`static SubLInteger`	`$int33$46`
`static SubLInteger`	`$int34$47`
`static SubLInteger`	`$int35$48`
`static SubLInteger`	`$int36$49`
`static SubLInteger`	`$int37$50`
`static SubLInteger`	`$int38$51`
`static SubLInteger`	`$int39$52`
`static SubLInteger`	`$int40$53`
`static SubLInteger`	`$int41$54`
`static SubLInteger`	`$int42$55`
`static SubLInteger`	`$int43$56`
`static SubLInteger`	`$int44$57`
`static SubLInteger`	`$int45$58`
`static SubLInteger`	`$int46$59`
`static SubLInteger`	`$int47$60`
`static SubLInteger`	`$int48$61`
`static SubLInteger`	`$int49$62`
`static SubLInteger`	`$int50$63`
`static SubLInteger`	`$int51$64`
`static SubLInteger`	`$int52$65`
`static SubLInteger`	`$int53$66`
`static SubLInteger`	`$int54$67`
`static SubLInteger`	`$int55$68`
`static SubLInteger`	`$int56$69`
`static SubLInteger`	`$int8$21`
`static SubLInteger`	`$int9$22`
`static SubLSymbol`	`$kw194$SUID`
`static SubLSymbol`	`$kw195$PROBLEM_STORE`
`static SubLSymbol`	`$kw196$FORWARD_PROPAGATE`
`static SubLSymbol`	`$kw197$INPUT_MT`
`static SubLSymbol`	`$kw198$INPUT_EL_QUERY`
`static SubLSymbol`	`$kw199$INPUT_NON_EXPLANATORY_EL_QUERY`
`static SubLSymbol`	`$kw200$INPUT_QUERY_PROPERTIES`
`static SubLSymbol`	`$kw201$MT`
`static SubLSymbol`	`$kw202$EL_QUERY`
`static SubLSymbol`	`$kw203$EL_BINDINGS`
`static SubLSymbol`	`$kw204$HL_QUERY`
`static SubLSymbol`	`$kw205$EXPLANATORY_SUBQUERY`
`static SubLSymbol`	`$kw206$NON_EXPLANATORY_SUBQUERY`
`static SubLSymbol`	`$kw207$FREE_HL_VARS`
`static SubLSymbol`	`$kw208$HYPOTHETICAL_BINDINGS`
`static SubLSymbol`	`$kw209$ANSWER_ID_INDEX`
`static SubLSymbol`	`$kw210$ANSWER_BINDINGS_INDEX`
`static SubLSymbol`	`$kw211$NEW_ANSWER_ID_START`
`static SubLSymbol`	`$kw212$NEW_ANSWER_JUSTIFICATIONS`
`static SubLSymbol`	`$kw213$STATUS`
`static SubLSymbol`	`$kw214$SUSPEND_STATUS`
`static SubLSymbol`	`$kw215$ROOT_LINK`
`static SubLSymbol`	`$kw216$RELEVANT_PROBLEMS`
`static SubLSymbol`	`$kw217$STRATEGY_SET`
`static SubLSymbol`	`$kw218$CONTROL_PROCESS`
`static SubLSymbol`	`$kw219$INTERRUPTING_PROCESSES`
`static SubLSymbol`	`$kw220$MAX_TRANSFORMATION_DEPTH_REACHED`
`static SubLSymbol`	`$kw221$DISJUNCTION_FREE_EL_VARS_POLICY`
`static SubLSymbol`	`$kw222$RESULT_UNIQUENESS_CRITERION`
`static SubLSymbol`	`$kw223$ALLOW_HL_PREDICATE_TRANSFORMATION_`
`static SubLSymbol`	`$kw224$ALLOW_UNBOUND_PREDICATE_TRANSFORMATION_`
`static SubLSymbol`	`$kw225$ALLOW_EVALUATABLE_PREDICATE_TRANSFORMATION_`
`static SubLSymbol`	`$kw226$ALLOW_INDETERMINATE_RESULTS_`
`static SubLSymbol`	`$kw227$ALLOWED_RULES`
`static SubLSymbol`	`$kw228$FORBIDDEN_RULES`
`static SubLSymbol`	`$kw229$ALLOWED_MODULES`
`static SubLSymbol`	`$kw230$ALLOW_ABNORMALITY_CHECKING_`
`static SubLSymbol`	`$kw231$TRANSITIVE_CLOSURE_MODE`
`static SubLSymbol`	`$kw232$PROBLEM_STORE_PRIVATE_`
`static SubLSymbol`	`$kw233$CONTINUABLE_`
`static SubLSymbol`	`$kw234$BROWSABLE_`
`static SubLSymbol`	`$kw235$RETURN_TYPE`
`static SubLSymbol`	`$kw236$ANSWER_LANGUAGE`
`static SubLSymbol`	`$kw237$CACHE_RESULTS_`
`static SubLSymbol`	`$kw238$BLOCKING_`
`static SubLSymbol`	`$kw239$MAX_NUMBER`
`static SubLSymbol`	`$kw240$MAX_TIME`
`static SubLSymbol`	`$kw241$MAX_STEP`
`static SubLSymbol`	`$kw242$MODE`
`static SubLSymbol`	`$kw243$FORWARD_MAX_TIME`
`static SubLSymbol`	`$kw244$MAX_PROOF_DEPTH`
`static SubLSymbol`	`$kw245$MAX_TRANSFORMATION_DEPTH`
`static SubLSymbol`	`$kw246$PROBABLY_APPROXIMATELY_DONE`
`static SubLSymbol`	`$kw247$METRICS_TEMPLATE`
`static SubLSymbol`	`$kw248$START_UNIVERSAL_TIME`
`static SubLSymbol`	`$kw249$START_INTERNAL_REAL_TIME`
`static SubLSymbol`	`$kw250$END_INTERNAL_REAL_TIME`
`static SubLSymbol`	`$kw251$PAD_INTERNAL_REAL_TIME`
`static SubLSymbol`	`$kw252$CUMULATIVE_TIME`
`static SubLSymbol`	`$kw253$STEP_COUNT`
`static SubLSymbol`	`$kw254$CUMULATIVE_STEP_COUNT`
`static SubLSymbol`	`$kw255$EVENTS`
`static SubLSymbol`	`$kw256$HALT_CONDITIONS`
`static SubLSymbol`	`$kw257$ACCUMULATORS`
`static SubLSymbol`	`$kw258$PROOF_WATERMARK`
`static SubLSymbol`	`$kw259$PROBLEM_WORKING_TIME_DATA`
`static SubLSymbol`	`$kw260$TYPE`
`static SubLSymbol`	`$kw261$DATA`
`static SubLSymbol`	`$kw263$DEAD`
`static SubLSymbol`	`$kw267$NEW`
`static SubLSymbol`	`$kw268$PREPARED`
`static SubLSymbol`	`$kw269$READY`
`static SubLSymbol`	`$kw270$RUNNING`
`static SubLSymbol`	`$kw271$SUSPENDED`
`static SubLSymbol`	`$kw292$ALLOW_OTHER_KEYS`
`static SubLSymbol`	`$kw293$ORDERED`
`static SubLSymbol`	`$kw312$PROOF_STATUS`
`static SubLSymbol`	`$kw319$DONE`
`static SubLSymbol`	`$kw325$TAUTOLOGY`
`static SubLSymbol`	`$kw326$IGNORE_ERRORS_TARGET`
`static SubLSymbol`	`$kw328$FREE`
`static SubLSymbol`	`$kw369$SKIP`
`static SubLSymbol`	`$kw370$NEG`
`static SubLSymbol`	`$kw373$POS`
`static SubLSymbol`	`$kw381$DOWNCASE`
`static SubLSymbol`	`$kw383$ALL`
`static SubLSymbol`	`$kw389$PROOF`
`static SubLSymbol`	`$kw390$BINDINGS`
`static SubLSymbol`	`$kw391$NONE`
`static SubLSymbol`	`$kw395$UNINITIALIZED`
`static SubLSymbol`	`$kw396$POSITIVE_INFINITY`
`static SubLSymbol`	`$kw398$LOOK_NO_DEEPER_FOR_ADDITIONAL_ANSWERS`
`static SubLSymbol`	`$kw400$GOOD`
`static SubLSymbol`	`$kw401$TACTICAL`
`static SubLSymbol`	`$kw402$NO_GOOD`
`static SubLSymbol`	`$kw403$NEUTRAL`
`static SubLSymbol`	`$kw408$INFERENCE_MODE`
`static SubLSymbol`	`$kw416$SIMPLEST`
`static SubLSymbol`	`$kw438$INFERENCE`
`static SubLSymbol`	`$kw439$JUSTIFICATIONS`
`static SubLSymbol`	`$kw440$ELAPSED_CREATION_TIME`
`static SubLSymbol`	`$kw452$HL`
`static SubLSymbol`	`$kw453$EL`
`static SubLSymbol`	`$kw469$ANSWER`
`static SubLSymbol`	`$kw470$SUPPORTS`
`static SubLSymbol`	`$kw471$PROOFS`
`static SubLSymbol`	`$kw473$STREAM`
`static SubLSymbol`	`$kw474$BASE`
`static SubLSymbol`	`$kw497$TV`
`static SubLSymbol`	`$kw498$TRUE`
`static SubLSymbol`	`$kw499$FALSE`
`static SubLSymbol`	`$kw503$NEW_ROOT_TIMES`
`static SubLSymbol`	`$kw504$NEW_ROOT_COUNT`
`static SubLSymbol`	`$kw505$PROBLEM_CREATION_TIMES`
`static SubLSymbol`	`$kw506$INFERENCE_ANSWER_QUERY_PROPERTIES`
`static SubLSymbol`	`$kw507$INFERENCE_STRONGEST_QUERY_PROPERTIES`
`static SubLSymbol`	`$kw508$INFERENCE_MOST_EFFICIENT_QUERY_PROPERTIES`
`static SubLSymbol`	`$kw535$START_TIME`
`static SubLSymbol`	`$kw536$START`
`static SubLSymbol`	`$kw537$END_TIME`
`static SubLSymbol`	`$kw538$END`
`static SubLSymbol`	`$kw539$SKSI_QUERY_TOTAL_TIME`
`static SubLSymbol`	`$kw540$SKSI_QUERY_START_TIMES`
`static SubLSymbol`	`$kw543$SPARQL`
`static SubLSymbol`	`$kw544$RESULT_SET`
`static SubLSymbol`	`$kw556$SPARQL_QUERY_PROFILE`
`static SubLSymbol`	`$kw557$SKSI_QUERY_TOTAL_TIME_ACC`
`static SubLSymbol`	`$kw558$SKSI_QUERY_START_TIMES_ACC`
`static SubLSymbol`	`$kw559$SPARQL_QUERY_PROFILE_ACC`
`static SubLList`	`$list0`
`static SubLList`	`$list272`
`static SubLList`	`$list275`
`static SubLList`	`$list278`
`static SubLList`	`$list290`
`static SubLList`	`$list291`
`static SubLList`	`$list298`
`static SubLList`	`$list3`
`static SubLList`	`$list307`
`static SubLList`	`$list310`
`static SubLList`	`$list311`
`static SubLList`	`$list317`
`static SubLList`	`$list318`
`static SubLList`	`$list321`
`static SubLList`	`$list365`
`static SubLList`	`$list371`
`static SubLList`	`$list374`
`static SubLList`	`$list4`
`static SubLList`	`$list420`
`static SubLList`	`$list421`
`static SubLList`	`$list422`
`static SubLList`	`$list423`
`static SubLList`	`$list445`
`static SubLList`	`$list448`
`static SubLList`	`$list457`
`static SubLList`	`$list458`
`static SubLList`	`$list459`
`static SubLList`	`$list460`
`static SubLList`	`$list478`
`static SubLList`	`$list480`
`static SubLList`	`$list487`
`static SubLList`	`$list488`
`static SubLList`	`$list5`
`static SubLList`	`$list513`
`static SubLList`	`$list522`
`static SubLList`	`$list523`
`static SubLList`	`$list524`
`static SubLList`	`$list529`
`static SubLList`	`$list541`
`static SubLList`	`$list542`
`static SubLList`	`$list6`
`static SubLString`	`$str262$Invalid_slot__S_for_construction_`
`static SubLString`	`$str264$_Invalid_INFERENCE__s_`
`static SubLString`	`$str265$_INFERENCE__a__a__a__a_in__a_`
`static SubLString`	`$str355$Forward_max_time__s_cannot_be_gre`
`static SubLString`	`$str377$_new_cyc_query_A`
`static SubLString`	`$str378$_____A`
`static SubLString`	`$str379$_A`
`static SubLString`	`$str380$______`
`static SubLString`	`$str382$_S___find_problem_store_by_id__S_`
`static SubLString`	`$str384$_S___list__`
`static SubLString`	`$str385$_______find_object_by_hl_external`
`static SubLString`	`$str386$_______`
`static SubLString`	`$str387$_S__S______`
`static SubLString`	`$str388$_`
`static SubLString`	`$str399$got_a_null_answer_for__s`
`static SubLString`	`$str413$variables__S_were_removed`
`static SubLString`	`$str414$variables__S_were_added`
`static SubLString`	`$str415$variables__S_contain_duplications`
`static SubLString`	`$str441$_Invalid_INFERENCE_ANSWER__s_`
`static SubLString`	`$str442$_INFERENCE_ANSWER__a_for_INFERENC`
`static SubLString`	`$str454$_S_was_not_an_inference_answer_la`
`static SubLString`	`$str472$__`
`static SubLString`	`$str475$_INF_ANS_JUST__s_`
`static SubLString`	`$str509$time_to_implement_metric__S`
`static SubLString`	`$str517$Inference_problem_working_time_lo`
`static SubLSymbol`	`$sym1$INFERENCE`
`static SubLSymbol`	`$sym100$INFRNC_ROOT_LINK`
`static SubLSymbol`	`$sym101$_CSETF_INFRNC_ROOT_LINK`
`static SubLSymbol`	`$sym102$INFRNC_RELEVANT_PROBLEMS`
`static SubLSymbol`	`$sym103$_CSETF_INFRNC_RELEVANT_PROBLEMS`
`static SubLSymbol`	`$sym104$INFRNC_STRATEGY_SET`
`static SubLSymbol`	`$sym105$_CSETF_INFRNC_STRATEGY_SET`
`static SubLSymbol`	`$sym106$INFRNC_CONTROL_PROCESS`
`static SubLSymbol`	`$sym107$_CSETF_INFRNC_CONTROL_PROCESS`
`static SubLSymbol`	`$sym108$INFRNC_INTERRUPTING_PROCESSES`
`static SubLSymbol`	`$sym109$_CSETF_INFRNC_INTERRUPTING_PROCESSES`
`static SubLSymbol`	`$sym110$INFRNC_MAX_TRANSFORMATION_DEPTH_REACHED`
`static SubLSymbol`	`$sym111$_CSETF_INFRNC_MAX_TRANSFORMATION_DEPTH_REACHED`
`static SubLSymbol`	`$sym112$INFRNC_DISJUNCTION_FREE_EL_VARS_POLICY`
`static SubLSymbol`	`$sym113$_CSETF_INFRNC_DISJUNCTION_FREE_EL_VARS_POLICY`
`static SubLSymbol`	`$sym114$INFRNC_RESULT_UNIQUENESS_CRITERION`
`static SubLSymbol`	`$sym115$_CSETF_INFRNC_RESULT_UNIQUENESS_CRITERION`
`static SubLSymbol`	`$sym116$INFRNC_ALLOW_HL_PREDICATE_TRANSFORMATION_`
`static SubLSymbol`	`$sym117$_CSETF_INFRNC_ALLOW_HL_PREDICATE_TRANSFORMATION_`
`static SubLSymbol`	`$sym118$INFRNC_ALLOW_UNBOUND_PREDICATE_TRANSFORMATION_`
`static SubLSymbol`	`$sym119$_CSETF_INFRNC_ALLOW_UNBOUND_PREDICATE_TRANSFORMATION_`
`static SubLSymbol`	`$sym120$INFRNC_ALLOW_EVALUATABLE_PREDICATE_TRANSFORMATION_`
`static SubLSymbol`	`$sym121$_CSETF_INFRNC_ALLOW_EVALUATABLE_PREDICATE_TRANSFORMATION_`
`static SubLSymbol`	`$sym122$INFRNC_ALLOW_INDETERMINATE_RESULTS_`
`static SubLSymbol`	`$sym123$_CSETF_INFRNC_ALLOW_INDETERMINATE_RESULTS_`
`static SubLSymbol`	`$sym124$INFRNC_ALLOWED_RULES`
`static SubLSymbol`	`$sym125$_CSETF_INFRNC_ALLOWED_RULES`
`static SubLSymbol`	`$sym126$INFRNC_FORBIDDEN_RULES`
`static SubLSymbol`	`$sym127$_CSETF_INFRNC_FORBIDDEN_RULES`
`static SubLSymbol`	`$sym128$INFRNC_ALLOWED_MODULES`
`static SubLSymbol`	`$sym129$_CSETF_INFRNC_ALLOWED_MODULES`
`static SubLSymbol`	`$sym130$INFRNC_ALLOW_ABNORMALITY_CHECKING_`
`static SubLSymbol`	`$sym131$_CSETF_INFRNC_ALLOW_ABNORMALITY_CHECKING_`
`static SubLSymbol`	`$sym132$INFRNC_TRANSITIVE_CLOSURE_MODE`
`static SubLSymbol`	`$sym133$_CSETF_INFRNC_TRANSITIVE_CLOSURE_MODE`
`static SubLSymbol`	`$sym134$INFRNC_PROBLEM_STORE_PRIVATE_`
`static SubLSymbol`	`$sym135$_CSETF_INFRNC_PROBLEM_STORE_PRIVATE_`
`static SubLSymbol`	`$sym136$INFRNC_CONTINUABLE_`
`static SubLSymbol`	`$sym137$_CSETF_INFRNC_CONTINUABLE_`
`static SubLSymbol`	`$sym138$INFRNC_BROWSABLE_`
`static SubLSymbol`	`$sym139$_CSETF_INFRNC_BROWSABLE_`
`static SubLSymbol`	`$sym140$INFRNC_RETURN_TYPE`
`static SubLSymbol`	`$sym141$_CSETF_INFRNC_RETURN_TYPE`
`static SubLSymbol`	`$sym142$INFRNC_ANSWER_LANGUAGE`
`static SubLSymbol`	`$sym143$_CSETF_INFRNC_ANSWER_LANGUAGE`
`static SubLSymbol`	`$sym144$INFRNC_CACHE_RESULTS_`
`static SubLSymbol`	`$sym145$_CSETF_INFRNC_CACHE_RESULTS_`
`static SubLSymbol`	`$sym146$INFRNC_BLOCKING_`
`static SubLSymbol`	`$sym147$_CSETF_INFRNC_BLOCKING_`
`static SubLSymbol`	`$sym148$INFRNC_MAX_NUMBER`
`static SubLSymbol`	`$sym149$_CSETF_INFRNC_MAX_NUMBER`
`static SubLSymbol`	`$sym150$INFRNC_MAX_TIME`
`static SubLSymbol`	`$sym151$_CSETF_INFRNC_MAX_TIME`
`static SubLSymbol`	`$sym152$INFRNC_MAX_STEP`
`static SubLSymbol`	`$sym153$_CSETF_INFRNC_MAX_STEP`
`static SubLSymbol`	`$sym154$INFRNC_MODE`
`static SubLSymbol`	`$sym155$_CSETF_INFRNC_MODE`
`static SubLSymbol`	`$sym156$INFRNC_FORWARD_MAX_TIME`
`static SubLSymbol`	`$sym157$_CSETF_INFRNC_FORWARD_MAX_TIME`
`static SubLSymbol`	`$sym158$INFRNC_MAX_PROOF_DEPTH`
`static SubLSymbol`	`$sym159$_CSETF_INFRNC_MAX_PROOF_DEPTH`
`static SubLSymbol`	`$sym160$INFRNC_MAX_TRANSFORMATION_DEPTH`
`static SubLSymbol`	`$sym161$_CSETF_INFRNC_MAX_TRANSFORMATION_DEPTH`
`static SubLSymbol`	`$sym162$INFRNC_PROBABLY_APPROXIMATELY_DONE`
`static SubLSymbol`	`$sym163$_CSETF_INFRNC_PROBABLY_APPROXIMATELY_DONE`
`static SubLSymbol`	`$sym164$INFRNC_METRICS_TEMPLATE`
`static SubLSymbol`	`$sym165$_CSETF_INFRNC_METRICS_TEMPLATE`
`static SubLSymbol`	`$sym166$INFRNC_START_UNIVERSAL_TIME`
`static SubLSymbol`	`$sym167$_CSETF_INFRNC_START_UNIVERSAL_TIME`
`static SubLSymbol`	`$sym168$INFRNC_START_INTERNAL_REAL_TIME`
`static SubLSymbol`	`$sym169$_CSETF_INFRNC_START_INTERNAL_REAL_TIME`
`static SubLSymbol`	`$sym170$INFRNC_END_INTERNAL_REAL_TIME`
`static SubLSymbol`	`$sym171$_CSETF_INFRNC_END_INTERNAL_REAL_TIME`
`static SubLSymbol`	`$sym172$INFRNC_PAD_INTERNAL_REAL_TIME`
`static SubLSymbol`	`$sym173$_CSETF_INFRNC_PAD_INTERNAL_REAL_TIME`
`static SubLSymbol`	`$sym174$INFRNC_CUMULATIVE_TIME`
`static SubLSymbol`	`$sym175$_CSETF_INFRNC_CUMULATIVE_TIME`
`static SubLSymbol`	`$sym176$INFRNC_STEP_COUNT`
`static SubLSymbol`	`$sym177$_CSETF_INFRNC_STEP_COUNT`
`static SubLSymbol`	`$sym178$INFRNC_CUMULATIVE_STEP_COUNT`
`static SubLSymbol`	`$sym179$_CSETF_INFRNC_CUMULATIVE_STEP_COUNT`
`static SubLSymbol`	`$sym180$INFRNC_EVENTS`
`static SubLSymbol`	`$sym181$_CSETF_INFRNC_EVENTS`
`static SubLSymbol`	`$sym182$INFRNC_HALT_CONDITIONS`
`static SubLSymbol`	`$sym183$_CSETF_INFRNC_HALT_CONDITIONS`
`static SubLSymbol`	`$sym184$INFRNC_ACCUMULATORS`
`static SubLSymbol`	`$sym185$_CSETF_INFRNC_ACCUMULATORS`
`static SubLSymbol`	`$sym186$INFRNC_PROOF_WATERMARK`
`static SubLSymbol`	`$sym187$_CSETF_INFRNC_PROOF_WATERMARK`
`static SubLSymbol`	`$sym188$INFRNC_PROBLEM_WORKING_TIME_DATA`
`static SubLSymbol`	`$sym189$_CSETF_INFRNC_PROBLEM_WORKING_TIME_DATA`
`static SubLSymbol`	`$sym190$INFRNC_TYPE`
`static SubLSymbol`	`$sym191$_CSETF_INFRNC_TYPE`
`static SubLSymbol`	`$sym192$INFRNC_DATA`
`static SubLSymbol`	`$sym193$_CSETF_INFRNC_DATA`
`static SubLSymbol`	`$sym2$INFERENCE_P`
`static SubLSymbol`	`$sym266$SXHASH_INFERENCE_METHOD`
`static SubLSymbol`	`$sym273$DO_SET`
`static SubLSymbol`	`$sym274$INFERENCE_RELEVANT_PROBLEMS`
`static SubLSymbol`	`$sym276$DO_QUEUE_ELEMENTS`
`static SubLSymbol`	`$sym277$INFERENCE_NEW_ANSWER_JUSTIFICATIONS`
`static SubLSymbol`	`$sym279$START_ID`
`static SubLSymbol`	`$sym280$END_ID`
`static SubLSymbol`	`$sym281$ID`
`static SubLSymbol`	`$sym282$INF`
`static SubLSymbol`	`$sym283$CLET`
`static SubLSymbol`	`$sym284$INFERENCE_NEW_ANSWER_ID_START`
`static SubLSymbol`	`$sym285$INFERENCE_NEXT_NEW_ANSWER_ID`
`static SubLSymbol`	`$sym286$CDO`
`static SubLSymbol`	`$sym287$1_`
`static SubLSymbol`	`$sym288$__`
`static SubLSymbol`	`$sym289$FIND_INFERENCE_ANSWER_BY_ID`
`static SubLSymbol`	`$sym294$ID`
`static SubLSymbol`	`$sym295$DO_ID_INDEX`
`static SubLSymbol`	`$sym296$INFERENCE_ANSWER_ID_INDEX`
`static SubLSymbol`	`$sym297$IGNORE`
`static SubLSymbol`	`$sym299$START_ID`
`static SubLSymbol`	`$sym300$END_ID`
`static SubLSymbol`	`$sym301$ID`
`static SubLSymbol`	`$sym302$INF`
`static SubLSymbol`	`$sym303$CSETQ`
`static SubLSymbol`	`$sym304$ANSWER`
`static SubLSymbol`	`$sym305$DO_INFERENCE_ANSWERS`
`static SubLSymbol`	`$sym306$DO_INFERENCE_ANSWER_JUSTIFICATIONS`
`static SubLSymbol`	`$sym308$DO_QUEUE_DEQUEUE`
`static SubLSymbol`	`$sym309$INFERENCE_INTERRUPTING_PROCESSES`
`static SubLSymbol`	`$sym313$ROOT_PROBLEM`
`static SubLSymbol`	`$sym314$INFERENCE_ROOT_PROBLEM`
`static SubLSymbol`	`$sym315$PWHEN`
`static SubLSymbol`	`$sym316$DO_PROBLEM_PROOFS`
`static SubLSymbol`	`$sym320$INFERENCE_ALLOWED_RULES`
`static SubLSymbol`	`$sym322$WITH_LOCK_HELD`
`static SubLSymbol`	`$sym323$INFERENCE_PROBLEM_WORKING_TIME_LOCK`
`static SubLSymbol`	`$sym324$PROBLEM_STORE_P`
`static SubLSymbol`	`$sym327$IGNORE_ERRORS_HANDLER`
`static SubLSymbol`	`$sym329$DO_INFERENCE_NEW_ANSWERS`
`static SubLSymbol`	`$sym330$DO_INFERENCE_NEW_ANSWER_JUSTIFICATIONS`
`static SubLSymbol`	`$sym331$FORWARD_PROPAGATE_P`
`static SubLSymbol`	`$sym332$POSSIBLY_MT_P`
`static SubLSymbol`	`$sym333$POSSIBLY_INFERENCE_SENTENCE_P`
`static SubLSymbol`	`$sym334$QUERY_PROPERTIES_P`
`static SubLSymbol`	`$sym335$HLMT_P`
`static SubLSymbol`	`$sym336$BINDING_LIST_P`
`static SubLSymbol`	`$sym337$PROBLEM_QUERY_P`
`static SubLSymbol`	`$sym338$EXPLANATORY_SUBQUERY_SPEC_P`
`static SubLSymbol`	`$sym339$NON_EXPLANATORY_SUBQUERY_SPEC_P`
`static SubLSymbol`	`$sym340$LISTP`
`static SubLSymbol`	`$sym341$INFERENCE_STATUS_P`
`static SubLSymbol`	`$sym342$INFERENCE_SUSPEND_STATUS_P`
`static SubLSymbol`	`$sym343$ANSWER_LINK_P`
`static SubLSymbol`	`$sym344$PROCESSP`
`static SubLSymbol`	`$sym345$NON_NEGATIVE_INTEGER_P`
`static SubLSymbol`	`$sym346$INFERENCE_DISJUNCTION_FREE_EL_VARS_POLICY_P`
`static SubLSymbol`	`$sym347$RESULT_UNIQUENESS_CRITERION_P`
`static SubLSymbol`	`$sym348$BOOLEANP`
`static SubLSymbol`	`$sym349$ALLOWED_MODULES_SPEC_P`
`static SubLSymbol`	`$sym350$INFERENCE_TRANSITIVE_CLOSURE_MODE_P`
`static SubLSymbol`	`$sym351$INFERENCE_RETURN_TYPE_P`
`static SubLSymbol`	`$sym352$INFERENCE_ANSWER_LANGUAGE_P`
`static SubLSymbol`	`$sym353$NON_NEGATIVE_NUMBER_P`
`static SubLSymbol`	`$sym354$INFERENCE_MODE_P`
`static SubLSymbol`	`$sym356$PROBABILITY_P`
`static SubLSymbol`	`$sym357$NON_DOTTED_LIST_P`
`static SubLSymbol`	`$sym358$QUERY_METRIC_P`
`static SubLSymbol`	`$sym359$UNIVERSAL_TIME_P`
`static SubLSymbol`	`$sym360$POTENTIALLY_INFINITE_INTEGER_P`
`static SubLSymbol`	`$sym361$NUMBERP`
`static SubLSymbol`	`$sym362$INFERENCE_EVENT_TYPE_P`
`static SubLSymbol`	`$sym363$INFERENCE_HALT_CONDITION_P`
`static SubLSymbol`	`$sym364$INFERENCE_TYPE_P`
`static SubLSymbol`	`$sym366$INFERENCE_VAR`
`static SubLSymbol`	`$sym367$INFERENCE_PROBLEM_STORE_SUID`
`static SubLSymbol`	`$sym368$INFERENCE_SUID`
`static SubLSymbol`	`$sym372$HLMT_EQUAL`
`static SubLSymbol`	`$sym375$QUERY_PROPERTY_P`
`static SubLSymbol`	`$sym376$NEW_CYC_QUERY`
`static SubLSymbol`	`$sym392$INFERENCE_ACCUMULATOR_TYPE_P`
`static SubLSymbol`	`$sym393$ACCUMULATOR_P`
`static SubLSymbol`	`$sym394$_PAD_TIMES_TO_FIRST_ANSWER_`
`static SubLSymbol`	`$sym397$_`
`static SubLSymbol`	`$sym404$INFERENCE_STATIC_PROPERTIES_P`
`static SubLSymbol`	`$sym405$ALLOWED_RULES_SPEC_P`
`static SubLSymbol`	`$sym406$FORBIDDEN_RULES_SPEC_P`
`static SubLSymbol`	`$sym407$QUERY_DYNAMIC_PROPERTIES_P`
`static SubLSymbol`	`$sym409$PROBLEM_P`
`static SubLSymbol`	`$sym410$STRATEGY_P`
`static SubLSymbol`	`$sym411$INFERENCE_ANSWER_P`
`static SubLSymbol`	`$sym412$INFERENCE_ANSWER_JUSTIFICATION_P`
`static SubLSymbol`	`$sym417$SIMPLEST_INFERENCE_P`
`static SubLSymbol`	`$sym418$STRATEGY_TYPE_P`
`static SubLSymbol`	`$sym419$INFERENCE_ANSWER`
`static SubLSymbol`	`$sym424$PRINT_INFERENCE_ANSWER`
`static SubLSymbol`	`$sym425$INFERENCE_ANSWER_PRINT_FUNCTION_TRAMPOLINE`
`static SubLSymbol`	`$sym426$INF_ANSWER_SUID`
`static SubLSymbol`	`$sym427$_CSETF_INF_ANSWER_SUID`
`static SubLSymbol`	`$sym428$INF_ANSWER_INFERENCE`
`static SubLSymbol`	`$sym429$_CSETF_INF_ANSWER_INFERENCE`
`static SubLSymbol`	`$sym430$INF_ANSWER_BINDINGS`
`static SubLSymbol`	`$sym431$_CSETF_INF_ANSWER_BINDINGS`
`static SubLSymbol`	`$sym432$INF_ANSWER_JUSTIFICATIONS`
`static SubLSymbol`	`$sym433$_CSETF_INF_ANSWER_JUSTIFICATIONS`
`static SubLSymbol`	`$sym434$INF_ANSWER_ELAPSED_CREATION_TIME`
`static SubLSymbol`	`$sym435$_CSETF_INF_ANSWER_ELAPSED_CREATION_TIME`
`static SubLSymbol`	`$sym436$INF_ANSWER_STEP_COUNT`
`static SubLSymbol`	`$sym437$_CSETF_INF_ANSWER_STEP_COUNT`
`static SubLSymbol`	`$sym443$SXHASH_INFERENCE_ANSWER_METHOD`
`static SubLSymbol`	`$sym444$BINDINGS_P`
`static SubLSymbol`	`$sym446$DO_LIST`
`static SubLSymbol`	`$sym447$INFERENCE_ANSWER_JUSTIFICATIONS`
`static SubLSymbol`	`$sym449$CDOLIST_NUMBERED`
`static SubLSymbol`	`$sym450$JUSTIFICATION_EQUAL`
`static SubLSymbol`	`$sym451$INFERENCE_ANSWER_JUSTIFICATION_SUPPORTS`
`static SubLSymbol`	`$sym455$INFERENCE_ANSWER_EL_SENTENCE`
`static SubLSymbol`	`$sym456$INFERENCE_ANSWER_JUSTIFICATION`
`static SubLSymbol`	`$sym461$PRINT_INFERENCE_ANSWER_JUSTIFICATION`
`static SubLSymbol`	`$sym462$INFERENCE_ANSWER_JUSTIFICATION_PRINT_FUNCTION_TRAMPOLINE`
`static SubLSymbol`	`$sym463$INF_ANS_JUST_ANSWER`
`static SubLSymbol`	`$sym464$_CSETF_INF_ANS_JUST_ANSWER`
`static SubLSymbol`	`$sym465$INF_ANS_JUST_SUPPORTS`
`static SubLSymbol`	`$sym466$_CSETF_INF_ANS_JUST_SUPPORTS`
`static SubLSymbol`	`$sym467$INF_ANS_JUST_PROOFS`
`static SubLSymbol`	`$sym468$_CSETF_INF_ANS_JUST_PROOFS`
`static SubLSymbol`	`$sym476$SXHASH_INFERENCE_ANSWER_JUSTIFICATION_METHOD`
`static SubLSymbol`	`$sym477$HL_JUSTIFICATION_P`
`static SubLSymbol`	`$sym479$INFERENCE_ANSWER_JUSTIFICATION_PROOFS`
`static SubLSymbol`	`$sym481$INFERENCE`
`static SubLSymbol`	`$sym482$ANSWER`
`static SubLSymbol`	`$sym483$PROOF_VAR`
`static SubLSymbol`	`$sym484$DO_PROBLEM_SUPPORTED_INFERENCES`
`static SubLSymbol`	`$sym485$PROOF_SUPPORTED_PROBLEM`
`static SubLSymbol`	`$sym486$MEMBER_`
`static SubLSymbol`	`$sym489$ANSWER`
`static SubLSymbol`	`$sym490$JUSTIFICATION`
`static SubLSymbol`	`$sym491$PROOF`
`static SubLSymbol`	`$sym492$DO_INFERENCE_ANSWER_JUSTIFICATION_PROOFS`
`static SubLSymbol`	`$sym493$DO_PROOF_ALL_SUBPROOFS`
`static SubLSymbol`	`$sym494$RULE_ASSERTION_`
`static SubLSymbol`	`$sym495$ASSERTION_ID`
`static SubLSymbol`	`$sym496$PROOF_P`
`static SubLSymbol`	`$sym500$INFERENCE_QUERY_METRIC_P`
`static SubLSymbol`	`$sym501$TERM__`
`static SubLSymbol`	`$sym502$CAR`
`static SubLSymbol`	`$sym510$PROOF_SUID`
`static SubLSymbol`	`$sym511$_`
`static SubLSymbol`	`$sym512$CDR`
`static SubLSymbol`	`$sym514$INFERENCE_VAR`
`static SubLSymbol`	`$sym515$WITH_INFERENCE_PROBLEM_WORKING_TIME_LOCK`
`static SubLSymbol`	`$sym516$INFERENCE_PROBLEM_WORKING_TIME_TABLE`
`static SubLSymbol`	`$sym518$INFERENCES_VAR`
`static SubLSymbol`	`$sym519$INFERENCE_VAR`
`static SubLSymbol`	`$sym520$TACTIC_VAR`
`static SubLSymbol`	`$sym521$START_TIME`
`static SubLSymbol`	`$sym525$CUNWIND_PROTECT`
`static SubLSymbol`	`$sym526$PROGN`
`static SubLSymbol`	`$sym527$POSSIBLY_SIGNAL_SKSI_QUERY_START`
`static SubLSymbol`	`$sym528$INFERENCE_TIME_SO_FAR`
`static SubLSymbol`	`$sym530$POSSIBLY_ADD_INFERENCE_SKSI_QUERY_START_TIME`
`static SubLSymbol`	`$sym531$POSSIBLY_SIGNAL_SKSI_QUERY_END`
`static SubLSymbol`	`$sym532$POSSIBLY_INCREMENT_INFERENCE_SKSI_QUERY_TOTAL_TIME`
`static SubLSymbol`	`$sym533$_`
`static SubLSymbol`	`$sym534$INFERENCE_WITHIN_SKSI_QUERY_EXECUTION`
`static SubLSymbol`	`$sym545$INFERENCES`
`static SubLSymbol`	`$sym546$INFERENCE`
`static SubLSymbol`	`$sym547$START`
`static SubLSymbol`	`$sym548$END`
`static SubLSymbol`	`$sym549$COUNT`
`static SubLSymbol`	`$sym550$LAST_ONE`
`static SubLSymbol`	`$sym551$FWHEN`
`static SubLSymbol`	`$sym552$INFERENCE_CUMULATIVE_TIME_SO_FAR`
`static SubLSymbol`	`$sym553$LENGTH`
`static SubLSymbol`	`$sym554$POSSIBLY_ADD_INFERENCE_SPARQL_QUERY_PROFILE`
`static SubLSymbol`	`$sym555$INFERENCE_WITHIN_SPARQL_QUERY_EXECUTION`
`static SubLSymbol`	`$sym57$INFERENCE_PRINT_FUNCTION_TRAMPOLINE`
`static SubLSymbol`	`$sym58$INFRNC_SUID`
`static SubLSymbol`	`$sym59$_CSETF_INFRNC_SUID`
`static SubLSymbol`	`$sym60$INFRNC_PROBLEM_STORE`
`static SubLSymbol`	`$sym61$_CSETF_INFRNC_PROBLEM_STORE`
`static SubLSymbol`	`$sym62$INFRNC_FORWARD_PROPAGATE`
`static SubLSymbol`	`$sym63$_CSETF_INFRNC_FORWARD_PROPAGATE`
`static SubLSymbol`	`$sym64$INFRNC_INPUT_MT`
`static SubLSymbol`	`$sym65$_CSETF_INFRNC_INPUT_MT`
`static SubLSymbol`	`$sym66$INFRNC_INPUT_EL_QUERY`
`static SubLSymbol`	`$sym67$_CSETF_INFRNC_INPUT_EL_QUERY`
`static SubLSymbol`	`$sym68$INFRNC_INPUT_NON_EXPLANATORY_EL_QUERY`
`static SubLSymbol`	`$sym69$_CSETF_INFRNC_INPUT_NON_EXPLANATORY_EL_QUERY`
`static SubLSymbol`	`$sym7$PRINT_INFERENCE`
`static SubLSymbol`	`$sym70$INFRNC_INPUT_QUERY_PROPERTIES`
`static SubLSymbol`	`$sym71$_CSETF_INFRNC_INPUT_QUERY_PROPERTIES`
`static SubLSymbol`	`$sym72$INFRNC_MT`
`static SubLSymbol`	`$sym73$_CSETF_INFRNC_MT`
`static SubLSymbol`	`$sym74$INFRNC_EL_QUERY`
`static SubLSymbol`	`$sym75$_CSETF_INFRNC_EL_QUERY`
`static SubLSymbol`	`$sym76$INFRNC_EL_BINDINGS`
`static SubLSymbol`	`$sym77$_CSETF_INFRNC_EL_BINDINGS`
`static SubLSymbol`	`$sym78$INFRNC_HL_QUERY`
`static SubLSymbol`	`$sym79$_CSETF_INFRNC_HL_QUERY`
`static SubLSymbol`	`$sym80$INFRNC_EXPLANATORY_SUBQUERY`
`static SubLSymbol`	`$sym81$_CSETF_INFRNC_EXPLANATORY_SUBQUERY`
`static SubLSymbol`	`$sym82$INFRNC_NON_EXPLANATORY_SUBQUERY`
`static SubLSymbol`	`$sym83$_CSETF_INFRNC_NON_EXPLANATORY_SUBQUERY`
`static SubLSymbol`	`$sym84$INFRNC_FREE_HL_VARS`
`static SubLSymbol`	`$sym85$_CSETF_INFRNC_FREE_HL_VARS`
`static SubLSymbol`	`$sym86$INFRNC_HYPOTHETICAL_BINDINGS`
`static SubLSymbol`	`$sym87$_CSETF_INFRNC_HYPOTHETICAL_BINDINGS`
`static SubLSymbol`	`$sym88$INFRNC_ANSWER_ID_INDEX`
`static SubLSymbol`	`$sym89$_CSETF_INFRNC_ANSWER_ID_INDEX`
`static SubLSymbol`	`$sym90$INFRNC_ANSWER_BINDINGS_INDEX`
`static SubLSymbol`	`$sym91$_CSETF_INFRNC_ANSWER_BINDINGS_INDEX`
`static SubLSymbol`	`$sym92$INFRNC_NEW_ANSWER_ID_START`
`static SubLSymbol`	`$sym93$_CSETF_INFRNC_NEW_ANSWER_ID_START`
`static SubLSymbol`	`$sym94$INFRNC_NEW_ANSWER_JUSTIFICATIONS`
`static SubLSymbol`	`$sym95$_CSETF_INFRNC_NEW_ANSWER_JUSTIFICATIONS`
`static SubLSymbol`	`$sym96$INFRNC_STATUS`
`static SubLSymbol`	`$sym97$_CSETF_INFRNC_STATUS`
`static SubLSymbol`	`$sym98$INFRNC_SUSPEND_STATUS`
`static SubLSymbol`	`$sym99$_CSETF_INFRNC_SUSPEND_STATUS`
`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_inf_ans_just_answer(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_inf_ans_just_proofs(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_inf_ans_just_supports(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_inf_answer_bindings(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_inf_answer_elapsed_creation_time(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_inf_answer_inference(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_inf_answer_justifications(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_inf_answer_step_count(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_inf_answer_suid(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_accumulators(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_allow_abnormality_checkingP(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_allow_evaluatable_predicate_transformationP(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_allow_hl_predicate_transformationP(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_allow_indeterminate_resultsP(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_allow_unbound_predicate_transformationP(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_allowed_modules(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_allowed_rules(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_answer_bindings_index(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_answer_id_index(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_answer_language(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_blockingP(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_browsableP(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_cache_resultsP(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_continuableP(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_control_process(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_cumulative_step_count(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_cumulative_time(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_data(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_disjunction_free_el_vars_policy(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_el_bindings(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_el_query(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_end_internal_real_time(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_events(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_explanatory_subquery(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_forbidden_rules(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_forward_max_time(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_forward_propagate(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_free_hl_vars(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_halt_conditions(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_hl_query(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_hypothetical_bindings(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_input_el_query(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_input_mt(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_input_non_explanatory_el_query(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_input_query_properties(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_interrupting_processes(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_max_number(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_max_proof_depth(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_max_step(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_max_time(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_max_transformation_depth_reached(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_max_transformation_depth(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_metrics_template(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_mode(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_mt(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_new_answer_id_start(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_new_answer_justifications(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_non_explanatory_subquery(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_pad_internal_real_time(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_probably_approximately_done(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_problem_store_privateP(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_problem_store(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_problem_working_time_data(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_proof_watermark(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_relevant_problems(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_result_uniqueness_criterion(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_return_type(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_root_link(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_start_internal_real_time(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_start_universal_time(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_status(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_step_count(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_strategy_set(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_suid(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_suspend_status(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_transitive_closure_mode(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_infrnc_type(SubLObject object, SubLObject value)`
`static SubLObject`	`abductive_inference_p(SubLObject inference)`
`static SubLObject`	`add_inference_answer_justification_proof(SubLObject justification, SubLObject proof)`
`static SubLObject`	`add_inference_answer_justification(SubLObject inference_answer, SubLObject justification)`
`static SubLObject`	`add_inference_new_answer_by_bindings(SubLObject inference, SubLObject answer)`
`static SubLObject`	`add_inference_new_answer_by_id(SubLObject inference, SubLObject answer)`
`static SubLObject`	`add_inference_new_answer_justification(SubLObject inference, SubLObject answer_justification)` Does not check for duplication with existing new justifications
`static SubLObject`	`add_inference_new_answer(SubLObject inference, SubLObject answer)`
`static SubLObject`	`add_inference_relevant_problem(SubLObject inference, SubLObject problem)`
`static SubLObject`	`add_inference_strategy(SubLObject inference, SubLObject strategy)`
`static SubLObject`	`clear_inference_blocking(SubLObject inference)`
`static SubLObject`	`clear_inference_control_process(SubLObject inference)`
`static SubLObject`	`clear_inference_relevant_problems(SubLObject inference)`
`static SubLObject`	`clear_inference_strategy_set(SubLObject inference)`
`static SubLObject`	`compute_inference_pad_internal_real_time(SubLObject inference)`
`static SubLObject`	`continuable_inference_p(SubLObject object)`
`static SubLObject`	`declare_inference_datastructures_inference_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`destroy_inference_int(SubLObject inf)`
`static SubLObject`	`destroy_inference(SubLObject inference)` Disposes of the INFERENCE datastructure.
`static SubLObject`	`destroy_problem_store_inference(SubLObject inference)`
`static SubLObject`	`finalize_inference_time_properties(SubLObject inference)`
`static SubLObject`	`find_inference_answer_by_bindings(SubLObject inference, SubLObject v_bindings)`
`static SubLObject`	`find_inference_answer_by_id(SubLObject inference, SubLObject id)`
`static SubLObject`	`find_inference_answer_justification(SubLObject inference_answer, SubLObject hl_justification)`
`static SubLObject`	`find_or_create_inference_answer_justification(SubLObject inference, SubLObject v_bindings, SubLObject supports)`
`static SubLObject`	`find_or_create_inference_answer(SubLObject inference, SubLObject v_bindings)`
`static SubLObject`	`forward_inference_p(SubLObject inference)`
`static SubLObject`	`increment_inference_cumulative_step_count(SubLObject inference)`
`static SubLObject`	`increment_inference_cumulative_time(SubLObject inference, SubLObject time_delta)`
`static SubLObject`	`increment_inference_step_count(SubLObject inference)`
`static SubLObject`	`inf_ans_just_answer(SubLObject object)`
`static SubLObject`	`inf_ans_just_proofs(SubLObject object)`
`static SubLObject`	`inf_ans_just_supports(SubLObject object)`
`static SubLObject`	`inf_answer_bindings(SubLObject object)`
`static SubLObject`	`inf_answer_inference(SubLObject object)`
`static SubLObject`	`inf_answer_justifications(SubLObject object)`
`static SubLObject`	`inf_answer_suid(SubLObject object)`
`static SubLObject`	`inference_all_answers(SubLObject inference)`
`static SubLObject`	`inference_all_new_answers(SubLObject inference)`
`static SubLObject`	`inference_allow_abnormality_checkingP(SubLObject inference)`
`static SubLObject`	`inference_allow_evaluatable_predicate_transformationP(SubLObject inference)`
`static SubLObject`	`inference_allow_hl_predicate_transformationP(SubLObject inference)`
`static SubLObject`	`inference_allow_indeterminate_resultsP(SubLObject inference)`
`static SubLObject`	`inference_allow_unbound_predicate_transformationP(SubLObject inference)`
`static SubLObject`	`inference_allowed_modules(SubLObject inference)`
`static SubLObject`	`inference_allowed_rules(SubLObject inference)`
`static SubLObject`	`inference_allows_use_of_all_modulesP(SubLObject inference)`
`static SubLObject`	`inference_allows_use_of_all_rulesP(SubLObject inference)`
`static SubLObject`	`inference_allows_use_of_moduleP(SubLObject inference, SubLObject hl_module)`
`static SubLObject`	`inference_allows_use_of_ruleP(SubLObject inference, SubLObject rule)`
`static SubLObject`	`inference_answer_bindings_index(SubLObject inference)`
`static SubLObject`	`inference_answer_bindings(SubLObject inference_answer)`
`static SubLObject`	`inference_answer_count(SubLObject inference)`
`static SubLObject`	`inference_answer_id_index(SubLObject inference)`
`static SubLObject`	`inference_answer_inference(SubLObject inference_answer)`
`static SubLObject`	`inference_answer_justification_answer(SubLObject justification)`
`static SubLObject`	`inference_answer_justification_supports(SubLObject justification)`
`static SubLObject`	`inference_answer_justifications(SubLObject inference_answer)`
`static SubLObject`	`inference_answer_language(SubLObject inference)`
`static SubLObject`	`inference_answer_result_bindings(SubLObject answer)`
`static SubLObject`	`inference_answer_suid(SubLObject inference_answer)`
`static SubLObject`	`inference_blockingP(SubLObject inference)`
`static SubLObject`	`inference_browsableP(SubLObject inference)`
`static SubLObject`	`inference_cache_resultsP(SubLObject inference)`
`static SubLObject`	`inference_compute_answer_justificationsP(SubLObject inference)`
`static SubLObject`	`inference_compute_metrics_alist(SubLObject inference, SubLObject metrics)` Return an alist of the form (METRIC .
`static SubLObject`	`inference_compute_metrics(SubLObject inference)`
`static SubLObject`	`inference_continuableP(SubLObject inference)`
`static SubLObject`	`inference_cumulative_step_count(SubLObject inference)` The number of inference steps performed so far for this inference, summed over all continuations
`static SubLObject`	`inference_cumulative_time(SubLObject inference)` This is the total time spent in all of INFERENCE's previous continuations.
`static SubLObject`	`inference_data(SubLObject inference)`
`static SubLObject`	`inference_disjunction_free_el_vars_policy(SubLObject inference)`
`static SubLObject`	`inference_el_bindings(SubLObject inference)` Returns bindings which map HL proven query wrt INFERENCE -> EL proven query wrt INFERENCE
`static SubLObject`	`inference_elapsed_internal_real_time_since_start(SubLObject inference)`
`static SubLObject`	`inference_end_internal_real_time(SubLObject inference)`
`static SubLObject`	`inference_explanatory_subquery(SubLObject inference)`
`static SubLObject`	`inference_forbidden_rules(SubLObject inference)`
`static SubLObject`	`inference_forget_extra_resultsP(SubLObject inference)`
`static SubLObject`	`inference_forward_max_time(SubLObject inference)`
`static SubLObject`	`inference_free_el_vars(SubLObject inference)`
`static SubLObject`	`inference_free_hl_vars(SubLObject inference)`
`static SubLObject`	`inference_halt_condition_presentP(SubLObject inference, SubLObject halt_condition)`
`static SubLObject`	`inference_hl_query(SubLObject inference)`
`static SubLObject`	`inference_ids(SubLObject inference)`
`static SubLObject`	`inference_input_el_query(SubLObject inference)`
`static SubLObject`	`inference_input_mt(SubLObject inference)`
`static SubLObject`	`inference_input_non_explanatory_el_query(SubLObject inference)`
`static SubLObject`	`inference_input_query_properties(SubLObject inference)` Return query-properties-p; the input query properties for INFERENCE.
`static SubLObject`	`inference_interrupt_signaledP(SubLObject inference)`
`static SubLObject`	`inference_interrupting_processes(SubLObject inference)`
`static SubLObject`	`inference_invalid_p(SubLObject inference)`
`static SubLObject`	`inference_maintain_term_working_setP(SubLObject inference)`
`static SubLObject`	`inference_max_number(SubLObject inference)`
`static SubLObject`	`inference_max_proof_depth(SubLObject inference)`
`static SubLObject`	`inference_max_step(SubLObject inference)`
`static SubLObject`	`inference_max_time(SubLObject inference)`
`static SubLObject`	`inference_max_transformation_depth_reached(SubLObject inference)`
`static SubLObject`	`inference_max_transformation_depth(SubLObject inference)`
`static SubLObject`	`inference_metrics_template(SubLObject inference)`
`static SubLObject`	`inference_mt(SubLObject inference)`
`static SubLObject`	`inference_new_answer_id_start(SubLObject inference)`
`static SubLObject`	`inference_new_answer_justifications(SubLObject inference)`
`static SubLObject`	`inference_next_new_answer_id(SubLObject inference)`
`static SubLObject`	`inference_no_free_hl_varsP(SubLObject inference)`
`static SubLObject`	`inference_note_new_transformation_depth_reached(SubLObject inference, SubLObject depth)`
`static SubLObject`	`inference_note_problem_pending(SubLObject inference, SubLObject problem)`
`static SubLObject`	`inference_note_tactic_executed(SubLObject inference, SubLObject tactic)`
`static SubLObject`	`inference_note_transformation_depth(SubLObject inference, SubLObject depth)`
`static SubLObject`	`inference_p(SubLObject object)`
`static SubLObject`	`inference_pad_internal_real_time(SubLObject inference)`
`static SubLObject`	`inference_print_function_trampoline(SubLObject object, SubLObject stream)`
`static SubLObject`	`inference_probably_approximately_done(SubLObject inference)`
`static SubLObject`	`inference_problem_store_private_wrt_dynamic_propertiesP(SubLObject inference)` Return T iff INFERENCE not only has a private problem store, but the current set of dynamic properties will never be extended.
`static SubLObject`	`inference_problem_store_privateP(SubLObject inference)`
`static SubLObject`	`inference_problem_store(SubLObject inference)`
`static SubLObject`	`inference_problem_working_time_data(SubLObject inference)`
`static SubLObject`	`inference_problem_working_time_lock(SubLObject inference)`
`static SubLObject`	`inference_relevant_problems(SubLObject inference)`
`static SubLObject`	`inference_result_uniqueness_criterion(SubLObject inference)`
`static SubLObject`	`inference_return_type(SubLObject inference)`
`static SubLObject`	`inference_root_link(SubLObject inference)`
`static SubLObject`	`inference_root_mapped_problem(SubLObject inference)`
`static SubLObject`	`inference_root_problem(SubLObject inference)`
`static SubLObject`	`inference_set_static_properties(SubLObject inference, SubLObject static_properties)`
`static SubLObject`	`inference_start_internal_real_time(SubLObject inference)`
`static SubLObject`	`inference_status(SubLObject inference)`
`static SubLObject`	`inference_strategy_set(SubLObject inference)`
`static SubLObject`	`inference_suid(SubLObject inference)`
`static SubLObject`	`inference_suspend_status(SubLObject inference)`
`static SubLObject`	`inference_time_so_far(SubLObject inference, SubLObject seconds_granularityP)`
`static SubLObject`	`inference_transitive_closure_mode(SubLObject inference)`
`static SubLObject`	`inference_type(SubLObject inference)`
`static SubLObject`	`inference_unique_wrt_bindingsP(SubLObject inference)`
`static SubLObject`	`infrnc_allow_abnormality_checkingP(SubLObject object)`
`static SubLObject`	`infrnc_allow_evaluatable_predicate_transformationP(SubLObject object)`
`static SubLObject`	`infrnc_allow_hl_predicate_transformationP(SubLObject object)`
`static SubLObject`	`infrnc_allow_indeterminate_resultsP(SubLObject object)`
`static SubLObject`	`infrnc_allow_unbound_predicate_transformationP(SubLObject object)`
`static SubLObject`	`infrnc_allowed_modules(SubLObject object)`
`static SubLObject`	`infrnc_allowed_rules(SubLObject object)`
`static SubLObject`	`infrnc_answer_bindings_index(SubLObject object)`
`static SubLObject`	`infrnc_answer_id_index(SubLObject object)`
`static SubLObject`	`infrnc_answer_language(SubLObject object)`
`static SubLObject`	`infrnc_blockingP(SubLObject object)`
`static SubLObject`	`infrnc_browsableP(SubLObject object)`
`static SubLObject`	`infrnc_cache_resultsP(SubLObject object)`
`static SubLObject`	`infrnc_continuableP(SubLObject object)`
`static SubLObject`	`infrnc_cumulative_step_count(SubLObject object)`
`static SubLObject`	`infrnc_cumulative_time(SubLObject object)`
`static SubLObject`	`infrnc_data(SubLObject object)`
`static SubLObject`	`infrnc_disjunction_free_el_vars_policy(SubLObject object)`
`static SubLObject`	`infrnc_el_bindings(SubLObject object)`
`static SubLObject`	`infrnc_end_internal_real_time(SubLObject object)`
`static SubLObject`	`infrnc_explanatory_subquery(SubLObject object)`
`static SubLObject`	`infrnc_forbidden_rules(SubLObject object)`
`static SubLObject`	`infrnc_forward_max_time(SubLObject object)`
`static SubLObject`	`infrnc_forward_propagate(SubLObject object)`
`static SubLObject`	`infrnc_free_hl_vars(SubLObject object)`
`static SubLObject`	`infrnc_halt_conditions(SubLObject object)`
`static SubLObject`	`infrnc_hl_query(SubLObject object)`
`static SubLObject`	`infrnc_input_el_query(SubLObject object)`
`static SubLObject`	`infrnc_input_mt(SubLObject object)`
`static SubLObject`	`infrnc_input_non_explanatory_el_query(SubLObject object)`
`static SubLObject`	`infrnc_input_query_properties(SubLObject object)`
`static SubLObject`	`infrnc_interrupting_processes(SubLObject object)`
`static SubLObject`	`infrnc_max_number(SubLObject object)`
`static SubLObject`	`infrnc_max_proof_depth(SubLObject object)`
`static SubLObject`	`infrnc_max_step(SubLObject object)`
`static SubLObject`	`infrnc_max_time(SubLObject object)`
`static SubLObject`	`infrnc_max_transformation_depth_reached(SubLObject object)`
`static SubLObject`	`infrnc_max_transformation_depth(SubLObject object)`
`static SubLObject`	`infrnc_metrics_template(SubLObject object)`
`static SubLObject`	`infrnc_mt(SubLObject object)`
`static SubLObject`	`infrnc_new_answer_id_start(SubLObject object)`
`static SubLObject`	`infrnc_new_answer_justifications(SubLObject object)`
`static SubLObject`	`infrnc_pad_internal_real_time(SubLObject object)`
`static SubLObject`	`infrnc_probably_approximately_done(SubLObject object)`
`static SubLObject`	`infrnc_problem_store_privateP(SubLObject object)`
`static SubLObject`	`infrnc_problem_store(SubLObject object)`
`static SubLObject`	`infrnc_problem_working_time_data(SubLObject object)`
`static SubLObject`	`infrnc_relevant_problems(SubLObject object)`
`static SubLObject`	`infrnc_result_uniqueness_criterion(SubLObject object)`
`static SubLObject`	`infrnc_return_type(SubLObject object)`
`static SubLObject`	`infrnc_root_link(SubLObject object)`
`static SubLObject`	`infrnc_start_internal_real_time(SubLObject object)`
`static SubLObject`	`infrnc_status(SubLObject object)`
`static SubLObject`	`infrnc_step_count(SubLObject object)`
`static SubLObject`	`infrnc_strategy_set(SubLObject object)`
`static SubLObject`	`infrnc_suid(SubLObject object)`
`static SubLObject`	`infrnc_suspend_status(SubLObject object)`
`static SubLObject`	`infrnc_transitive_closure_mode(SubLObject object)`
`static SubLObject`	`infrnc_type(SubLObject object)`
`static SubLObject`	`init_inference_datastructures_inference_file()`
`static SubLObject`	`initialize_inference_answer_elapsed_creation_time(SubLObject inference_answer)`
`static SubLObject`	`initialize_inference_time_properties(SubLObject inference)`
`static SubLObject`	`initialize_pad_table(SubLObject filename)`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`make_inference_answer_justification(SubLObject arglist)`
`static SubLObject`	`make_inference_answer(SubLObject arglist)`
`static SubLObject`	`make_inference(SubLObject arglist)`
`static SubLObject`	`new_inference_answer_id(SubLObject inference)`
`static SubLObject`	`new_inference_answer_justification(SubLObject answer, SubLObject supports)`
`static SubLObject`	`new_inference_answer(SubLObject inference, SubLObject v_bindings)`
`static SubLObject`	`new_inference_p(SubLObject object)`
`static SubLObject`	`new_inference(SubLObject store)` Allocates a new inference object and sets up its internal datastructures.
`static SubLObject`	`new_simplest_inference_of_type(SubLObject store, SubLObject strategy_type)`
`static SubLObject`	`new_simplest_inference(SubLObject store)`
`static SubLObject`	`note_inference_invalid(SubLObject inference)`
`static SubLObject`	`possibly_signal_inference_new_transformation_depth_reached(SubLObject inference, SubLObject new_depth)`
`static SubLObject`	`possibly_signal_inference_status_change(SubLObject inference)` Called immediately after the status change
`static SubLObject`	`possibly_signal_new_inference_answer(SubLObject inference, SubLObject new_answer)` Called immediately after the creation of NEW-ANSWER
`static SubLObject`	`prepared_inference_p(SubLObject object)`
`static SubLObject`	`probably_approximately_done_cutoff_time(SubLObject probability)`
`static SubLObject`	`remove_inference_relevant_problem(SubLObject inference, SubLObject problem)`
`static SubLObject`	`reset_inference_new_answer_id(SubLObject inference)`
`static SubLObject`	`reset_inference_new_answer_justifications(SubLObject inference)`
`static SubLObject`	`reset_inference_new_answers(SubLObject inference)`
`static SubLObject`	`running_inference_p(SubLObject object)`
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`set_inference_allow_abnormality_checking(SubLObject inference, SubLObject allowP)`
`static SubLObject`	`set_inference_allow_evaluatable_predicate_transformation(SubLObject inference, SubLObject allowP)`
`static SubLObject`	`set_inference_allow_hl_predicate_transformation(SubLObject inference, SubLObject allowP)`
`static SubLObject`	`set_inference_allow_indeterminate_results(SubLObject inference, SubLObject allowP)`
`static SubLObject`	`set_inference_allow_unbound_predicate_transformation(SubLObject inference, SubLObject allowP)`
`static SubLObject`	`set_inference_allowed_modules(SubLObject inference, SubLObject allowed_modules)`
`static SubLObject`	`set_inference_allowed_rules(SubLObject inference, SubLObject allowed_rules)`
`static SubLObject`	`set_inference_answer_bindings(SubLObject inference_answer, SubLObject v_bindings)`
`static SubLObject`	`set_inference_answer_elapsed_creation_time(SubLObject inference_answer, SubLObject elapsed_creation_time)`
`static SubLObject`	`set_inference_answer_language(SubLObject inference, SubLObject answer_language)`
`static SubLObject`	`set_inference_answer_step_count(SubLObject inference_answer, SubLObject step_count)`
`static SubLObject`	`set_inference_browsable(SubLObject inference, SubLObject browsableP)`
`static SubLObject`	`set_inference_cache_results(SubLObject inference, SubLObject cache_resultsP)`
`static SubLObject`	`set_inference_continuable(SubLObject inference, SubLObject continuableP)`
`static SubLObject`	`set_inference_control_process_to_me(SubLObject inference)`
`static SubLObject`	`set_inference_control_process(SubLObject inference, SubLObject process)`
`static SubLObject`	`set_inference_cumulative_step_count(SubLObject inference, SubLObject cumulative_step_count)`
`static SubLObject`	`set_inference_cumulative_time(SubLObject inference, SubLObject cumulative_time)`
`static SubLObject`	`set_inference_disjunction_free_el_vars_policy(SubLObject inference, SubLObject disjunction_free_el_vars_policy)`
`static SubLObject`	`set_inference_el_bindings(SubLObject inference, SubLObject el_bindings)`
`static SubLObject`	`set_inference_el_query(SubLObject inference, SubLObject el_query)`
`static SubLObject`	`set_inference_end_internal_real_time(SubLObject inference, SubLObject end_internal_real_time)`
`static SubLObject`	`set_inference_events(SubLObject inference, SubLObject event_types)`
`static SubLObject`	`set_inference_explanatory_subquery(SubLObject inference, SubLObject explanatory_subquery)`
`static SubLObject`	`set_inference_forbidden_rules(SubLObject inference, SubLObject forbidden_rules)`
`static SubLObject`	`set_inference_forward_max_time(SubLObject inference, SubLObject forward_max_time)`
`static SubLObject`	`set_inference_free_hl_vars(SubLObject inference, SubLObject free_hl_vars)`
`static SubLObject`	`set_inference_halt_conditions(SubLObject inference, SubLObject halt_conditions)`
`static SubLObject`	`set_inference_hl_query(SubLObject inference, SubLObject hl_query)`
`static SubLObject`	`set_inference_hypothetical_bindings(SubLObject inference, SubLObject hypothetical_bindings)`
`static SubLObject`	`set_inference_input_el_query(SubLObject inference, SubLObject el_query)`
`static SubLObject`	`set_inference_input_mt(SubLObject inference, SubLObject mt)`
`static SubLObject`	`set_inference_input_non_explanatory_el_query(SubLObject inference, SubLObject el_query)`
`static SubLObject`	`set_inference_input_query_properties(SubLObject inference, SubLObject query_properties)`
`static SubLObject`	`set_inference_max_number(SubLObject inference, SubLObject max_number)`
`static SubLObject`	`set_inference_max_proof_depth(SubLObject inference, SubLObject max_proof_depth)`
`static SubLObject`	`set_inference_max_step(SubLObject inference, SubLObject max_step)`
`static SubLObject`	`set_inference_max_time(SubLObject inference, SubLObject max_time)`
`static SubLObject`	`set_inference_max_transformation_depth_reached(SubLObject inference, SubLObject depth)`
`static SubLObject`	`set_inference_max_transformation_depth(SubLObject inference, SubLObject max_transformation_depth)`
`static SubLObject`	`set_inference_metrics_template(SubLObject inference, SubLObject metrics_template)`
`static SubLObject`	`set_inference_mode(SubLObject inference, SubLObject mode)`
`static SubLObject`	`set_inference_mt(SubLObject inference, SubLObject mt)`
`static SubLObject`	`set_inference_non_explanatory_subquery(SubLObject inference, SubLObject non_explanatory_subquery)`
`static SubLObject`	`set_inference_pad_internal_real_time(SubLObject inference, SubLObject pad_internal_real_time)`
`static SubLObject`	`set_inference_probably_approximately_done(SubLObject inference, SubLObject probability)`
`static SubLObject`	`set_inference_problem_store_private(SubLObject inference, SubLObject privateP)`
`static SubLObject`	`set_inference_result_uniqueness_criterion(SubLObject inference, SubLObject criterion)`
`static SubLObject`	`set_inference_return_type(SubLObject inference, SubLObject return_type)`
`static SubLObject`	`set_inference_root_link(SubLObject inference, SubLObject root_link)`
`static SubLObject`	`set_inference_start_internal_real_time(SubLObject inference, SubLObject internal_real_time)`
`static SubLObject`	`set_inference_start_universal_time(SubLObject inference, SubLObject universal_time)`
`static SubLObject`	`set_inference_status(SubLObject inference, SubLObject status)`
`static SubLObject`	`set_inference_step_count(SubLObject inference, SubLObject step_count)`
`static SubLObject`	`set_inference_suspend_status(SubLObject inference, SubLObject suspend_status)`
`static SubLObject`	`set_inference_transitive_closure_mode(SubLObject inference, SubLObject transitive_closure_mode)`
`static SubLObject`	`set_inference_type(SubLObject inference, SubLObject type)`
`static SubLObject`	`set_simplest_inference_strategy(SubLObject inference, SubLObject strategy)`
`static SubLObject`	`setup_inference_datastructures_inference_file()`
`static SubLObject`	`simplest_inference_p(SubLObject object)`
`static SubLObject`	`simplest_inference_strategy(SubLObject inference)`
`static SubLObject`	`sxhash_inference_method(SubLObject object)`
`static SubLObject`	`update_inference_input_query_properties(SubLObject inference, SubLObject input_dynamic_properties)`
`static SubLObject`	`valid_inference_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

$dtp_inference$

public static SubLSymbol $dtp_inference$

$dtp_inference_answer$

public static SubLSymbol $dtp_inference_answer$

$dtp_inference_answer_justification$

public static SubLSymbol $dtp_inference_answer_justification$

$list0

public static final SubLList $list0

$sym1$INFERENCE

public static final SubLSymbol $sym1$INFERENCE

$sym2$INFERENCE_P

public static final SubLSymbol $sym2$INFERENCE_P

$list3

public static final SubLList $list3

$list4

public static final SubLList $list4

$list5

public static final SubLList $list5

$list6

public static final SubLList $list6

$sym7$PRINT_INFERENCE

public static final SubLSymbol $sym7$PRINT_INFERENCE

$int8$21

public static final SubLInteger $int8$21

$int9$22

public static final SubLInteger $int9$22

$int10$23

public static final SubLInteger $int10$23

$int11$24

public static final SubLInteger $int11$24

$int12$25

public static final SubLInteger $int12$25

$int13$26

public static final SubLInteger $int13$26

$int14$27

public static final SubLInteger $int14$27

$int15$28

public static final SubLInteger $int15$28

$int16$29

public static final SubLInteger $int16$29

$int17$30

public static final SubLInteger $int17$30

$int18$31

public static final SubLInteger $int18$31

$int19$32

public static final SubLInteger $int19$32

$int20$33

public static final SubLInteger $int20$33

$int21$34

public static final SubLInteger $int21$34

$int22$35

public static final SubLInteger $int22$35

$int23$36

public static final SubLInteger $int23$36

$int24$37

public static final SubLInteger $int24$37

$int25$38

public static final SubLInteger $int25$38

$int26$39

public static final SubLInteger $int26$39

$int27$40

public static final SubLInteger $int27$40

$int28$41

public static final SubLInteger $int28$41

$int29$42

public static final SubLInteger $int29$42

$int30$43

public static final SubLInteger $int30$43

$int31$44

public static final SubLInteger $int31$44

$int32$45

public static final SubLInteger $int32$45

$int33$46

public static final SubLInteger $int33$46

$int34$47

public static final SubLInteger $int34$47

$int35$48

public static final SubLInteger $int35$48

$int36$49

public static final SubLInteger $int36$49

$int37$50

public static final SubLInteger $int37$50

$int38$51

public static final SubLInteger $int38$51

$int39$52

public static final SubLInteger $int39$52

$int40$53

public static final SubLInteger $int40$53

$int41$54

public static final SubLInteger $int41$54

$int42$55

public static final SubLInteger $int42$55

$int43$56

public static final SubLInteger $int43$56

$int44$57

public static final SubLInteger $int44$57

$int45$58

public static final SubLInteger $int45$58

$int46$59

public static final SubLInteger $int46$59

$int47$60

public static final SubLInteger $int47$60

$int48$61

public static final SubLInteger $int48$61

$int49$62

public static final SubLInteger $int49$62

$int50$63

public static final SubLInteger $int50$63

$int51$64

public static final SubLInteger $int51$64

$int52$65

public static final SubLInteger $int52$65

$int53$66

public static final SubLInteger $int53$66

$int54$67

public static final SubLInteger $int54$67

$int55$68

public static final SubLInteger $int55$68

$int56$69

public static final SubLInteger $int56$69

$sym57$INFERENCE_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym57$INFERENCE_PRINT_FUNCTION_TRAMPOLINE

$sym58$INFRNC_SUID

public static final SubLSymbol $sym58$INFRNC_SUID

$sym59$_CSETF_INFRNC_SUID

public static final SubLSymbol $sym59$_CSETF_INFRNC_SUID

$sym60$INFRNC_PROBLEM_STORE

public static final SubLSymbol $sym60$INFRNC_PROBLEM_STORE

$sym61$_CSETF_INFRNC_PROBLEM_STORE

public static final SubLSymbol $sym61$_CSETF_INFRNC_PROBLEM_STORE

$sym62$INFRNC_FORWARD_PROPAGATE

public static final SubLSymbol $sym62$INFRNC_FORWARD_PROPAGATE

$sym63$_CSETF_INFRNC_FORWARD_PROPAGATE

public static final SubLSymbol $sym63$_CSETF_INFRNC_FORWARD_PROPAGATE

$sym64$INFRNC_INPUT_MT

public static final SubLSymbol $sym64$INFRNC_INPUT_MT

$sym65$_CSETF_INFRNC_INPUT_MT

public static final SubLSymbol $sym65$_CSETF_INFRNC_INPUT_MT

$sym66$INFRNC_INPUT_EL_QUERY

public static final SubLSymbol $sym66$INFRNC_INPUT_EL_QUERY

$sym67$_CSETF_INFRNC_INPUT_EL_QUERY

public static final SubLSymbol $sym67$_CSETF_INFRNC_INPUT_EL_QUERY

$sym68$INFRNC_INPUT_NON_EXPLANATORY_EL_QUERY

public static final SubLSymbol $sym68$INFRNC_INPUT_NON_EXPLANATORY_EL_QUERY

$sym69$_CSETF_INFRNC_INPUT_NON_EXPLANATORY_EL_QUERY

public static final SubLSymbol $sym69$_CSETF_INFRNC_INPUT_NON_EXPLANATORY_EL_QUERY

$sym70$INFRNC_INPUT_QUERY_PROPERTIES

public static final SubLSymbol $sym70$INFRNC_INPUT_QUERY_PROPERTIES

$sym71$_CSETF_INFRNC_INPUT_QUERY_PROPERTIES

public static final SubLSymbol $sym71$_CSETF_INFRNC_INPUT_QUERY_PROPERTIES

$sym72$INFRNC_MT

public static final SubLSymbol $sym72$INFRNC_MT

$sym73$_CSETF_INFRNC_MT

public static final SubLSymbol $sym73$_CSETF_INFRNC_MT

$sym74$INFRNC_EL_QUERY

public static final SubLSymbol $sym74$INFRNC_EL_QUERY

$sym75$_CSETF_INFRNC_EL_QUERY

public static final SubLSymbol $sym75$_CSETF_INFRNC_EL_QUERY

$sym76$INFRNC_EL_BINDINGS

public static final SubLSymbol $sym76$INFRNC_EL_BINDINGS

$sym77$_CSETF_INFRNC_EL_BINDINGS

public static final SubLSymbol $sym77$_CSETF_INFRNC_EL_BINDINGS

$sym78$INFRNC_HL_QUERY

public static final SubLSymbol $sym78$INFRNC_HL_QUERY

$sym79$_CSETF_INFRNC_HL_QUERY

public static final SubLSymbol $sym79$_CSETF_INFRNC_HL_QUERY

$sym80$INFRNC_EXPLANATORY_SUBQUERY

public static final SubLSymbol $sym80$INFRNC_EXPLANATORY_SUBQUERY

$sym81$_CSETF_INFRNC_EXPLANATORY_SUBQUERY

public static final SubLSymbol $sym81$_CSETF_INFRNC_EXPLANATORY_SUBQUERY

$sym82$INFRNC_NON_EXPLANATORY_SUBQUERY

public static final SubLSymbol $sym82$INFRNC_NON_EXPLANATORY_SUBQUERY

$sym83$_CSETF_INFRNC_NON_EXPLANATORY_SUBQUERY

public static final SubLSymbol $sym83$_CSETF_INFRNC_NON_EXPLANATORY_SUBQUERY

$sym84$INFRNC_FREE_HL_VARS

public static final SubLSymbol $sym84$INFRNC_FREE_HL_VARS

$sym85$_CSETF_INFRNC_FREE_HL_VARS

public static final SubLSymbol $sym85$_CSETF_INFRNC_FREE_HL_VARS

$sym86$INFRNC_HYPOTHETICAL_BINDINGS

public static final SubLSymbol $sym86$INFRNC_HYPOTHETICAL_BINDINGS

$sym87$_CSETF_INFRNC_HYPOTHETICAL_BINDINGS

public static final SubLSymbol $sym87$_CSETF_INFRNC_HYPOTHETICAL_BINDINGS

$sym88$INFRNC_ANSWER_ID_INDEX

public static final SubLSymbol $sym88$INFRNC_ANSWER_ID_INDEX

$sym89$_CSETF_INFRNC_ANSWER_ID_INDEX

public static final SubLSymbol $sym89$_CSETF_INFRNC_ANSWER_ID_INDEX

$sym90$INFRNC_ANSWER_BINDINGS_INDEX

public static final SubLSymbol $sym90$INFRNC_ANSWER_BINDINGS_INDEX

$sym91$_CSETF_INFRNC_ANSWER_BINDINGS_INDEX

public static final SubLSymbol $sym91$_CSETF_INFRNC_ANSWER_BINDINGS_INDEX

$sym92$INFRNC_NEW_ANSWER_ID_START

public static final SubLSymbol $sym92$INFRNC_NEW_ANSWER_ID_START

$sym93$_CSETF_INFRNC_NEW_ANSWER_ID_START

public static final SubLSymbol $sym93$_CSETF_INFRNC_NEW_ANSWER_ID_START

$sym94$INFRNC_NEW_ANSWER_JUSTIFICATIONS

public static final SubLSymbol $sym94$INFRNC_NEW_ANSWER_JUSTIFICATIONS

$sym95$_CSETF_INFRNC_NEW_ANSWER_JUSTIFICATIONS

public static final SubLSymbol $sym95$_CSETF_INFRNC_NEW_ANSWER_JUSTIFICATIONS

$sym96$INFRNC_STATUS

public static final SubLSymbol $sym96$INFRNC_STATUS

$sym97$_CSETF_INFRNC_STATUS

public static final SubLSymbol $sym97$_CSETF_INFRNC_STATUS

$sym98$INFRNC_SUSPEND_STATUS

public static final SubLSymbol $sym98$INFRNC_SUSPEND_STATUS

$sym99$_CSETF_INFRNC_SUSPEND_STATUS

public static final SubLSymbol $sym99$_CSETF_INFRNC_SUSPEND_STATUS

$sym100$INFRNC_ROOT_LINK

public static final SubLSymbol $sym100$INFRNC_ROOT_LINK

$sym101$_CSETF_INFRNC_ROOT_LINK

public static final SubLSymbol $sym101$_CSETF_INFRNC_ROOT_LINK

$sym102$INFRNC_RELEVANT_PROBLEMS

public static final SubLSymbol $sym102$INFRNC_RELEVANT_PROBLEMS

$sym103$_CSETF_INFRNC_RELEVANT_PROBLEMS

public static final SubLSymbol $sym103$_CSETF_INFRNC_RELEVANT_PROBLEMS

$sym104$INFRNC_STRATEGY_SET

public static final SubLSymbol $sym104$INFRNC_STRATEGY_SET

$sym105$_CSETF_INFRNC_STRATEGY_SET

public static final SubLSymbol $sym105$_CSETF_INFRNC_STRATEGY_SET

$sym106$INFRNC_CONTROL_PROCESS

public static final SubLSymbol $sym106$INFRNC_CONTROL_PROCESS

$sym107$_CSETF_INFRNC_CONTROL_PROCESS

public static final SubLSymbol $sym107$_CSETF_INFRNC_CONTROL_PROCESS

$sym108$INFRNC_INTERRUPTING_PROCESSES

public static final SubLSymbol $sym108$INFRNC_INTERRUPTING_PROCESSES

$sym109$_CSETF_INFRNC_INTERRUPTING_PROCESSES

public static final SubLSymbol $sym109$_CSETF_INFRNC_INTERRUPTING_PROCESSES

$sym110$INFRNC_MAX_TRANSFORMATION_DEPTH_REACHED

public static final SubLSymbol $sym110$INFRNC_MAX_TRANSFORMATION_DEPTH_REACHED

$sym111$_CSETF_INFRNC_MAX_TRANSFORMATION_DEPTH_REACHED

public static final SubLSymbol $sym111$_CSETF_INFRNC_MAX_TRANSFORMATION_DEPTH_REACHED

$sym112$INFRNC_DISJUNCTION_FREE_EL_VARS_POLICY

public static final SubLSymbol $sym112$INFRNC_DISJUNCTION_FREE_EL_VARS_POLICY

$sym113$_CSETF_INFRNC_DISJUNCTION_FREE_EL_VARS_POLICY

public static final SubLSymbol $sym113$_CSETF_INFRNC_DISJUNCTION_FREE_EL_VARS_POLICY

$sym114$INFRNC_RESULT_UNIQUENESS_CRITERION

public static final SubLSymbol $sym114$INFRNC_RESULT_UNIQUENESS_CRITERION

$sym115$_CSETF_INFRNC_RESULT_UNIQUENESS_CRITERION

public static final SubLSymbol $sym115$_CSETF_INFRNC_RESULT_UNIQUENESS_CRITERION

$sym116$INFRNC_ALLOW_HL_PREDICATE_TRANSFORMATION_

public static final SubLSymbol $sym116$INFRNC_ALLOW_HL_PREDICATE_TRANSFORMATION_

$sym117$_CSETF_INFRNC_ALLOW_HL_PREDICATE_TRANSFORMATION_

public static final SubLSymbol $sym117$_CSETF_INFRNC_ALLOW_HL_PREDICATE_TRANSFORMATION_

$sym118$INFRNC_ALLOW_UNBOUND_PREDICATE_TRANSFORMATION_

public static final SubLSymbol $sym118$INFRNC_ALLOW_UNBOUND_PREDICATE_TRANSFORMATION_

$sym119$_CSETF_INFRNC_ALLOW_UNBOUND_PREDICATE_TRANSFORMATION_

public static final SubLSymbol $sym119$_CSETF_INFRNC_ALLOW_UNBOUND_PREDICATE_TRANSFORMATION_

$sym120$INFRNC_ALLOW_EVALUATABLE_PREDICATE_TRANSFORMATION_

public static final SubLSymbol $sym120$INFRNC_ALLOW_EVALUATABLE_PREDICATE_TRANSFORMATION_

$sym121$_CSETF_INFRNC_ALLOW_EVALUATABLE_PREDICATE_TRANSFORMATION_

public static final SubLSymbol $sym121$_CSETF_INFRNC_ALLOW_EVALUATABLE_PREDICATE_TRANSFORMATION_

$sym122$INFRNC_ALLOW_INDETERMINATE_RESULTS_

public static final SubLSymbol $sym122$INFRNC_ALLOW_INDETERMINATE_RESULTS_

$sym123$_CSETF_INFRNC_ALLOW_INDETERMINATE_RESULTS_

public static final SubLSymbol $sym123$_CSETF_INFRNC_ALLOW_INDETERMINATE_RESULTS_

$sym124$INFRNC_ALLOWED_RULES

public static final SubLSymbol $sym124$INFRNC_ALLOWED_RULES

$sym125$_CSETF_INFRNC_ALLOWED_RULES

public static final SubLSymbol $sym125$_CSETF_INFRNC_ALLOWED_RULES

$sym126$INFRNC_FORBIDDEN_RULES

public static final SubLSymbol $sym126$INFRNC_FORBIDDEN_RULES

$sym127$_CSETF_INFRNC_FORBIDDEN_RULES

public static final SubLSymbol $sym127$_CSETF_INFRNC_FORBIDDEN_RULES

$sym128$INFRNC_ALLOWED_MODULES

public static final SubLSymbol $sym128$INFRNC_ALLOWED_MODULES

$sym129$_CSETF_INFRNC_ALLOWED_MODULES

public static final SubLSymbol $sym129$_CSETF_INFRNC_ALLOWED_MODULES

$sym130$INFRNC_ALLOW_ABNORMALITY_CHECKING_

public static final SubLSymbol $sym130$INFRNC_ALLOW_ABNORMALITY_CHECKING_

$sym131$_CSETF_INFRNC_ALLOW_ABNORMALITY_CHECKING_

public static final SubLSymbol $sym131$_CSETF_INFRNC_ALLOW_ABNORMALITY_CHECKING_

$sym132$INFRNC_TRANSITIVE_CLOSURE_MODE

public static final SubLSymbol $sym132$INFRNC_TRANSITIVE_CLOSURE_MODE

$sym133$_CSETF_INFRNC_TRANSITIVE_CLOSURE_MODE

public static final SubLSymbol $sym133$_CSETF_INFRNC_TRANSITIVE_CLOSURE_MODE

$sym134$INFRNC_PROBLEM_STORE_PRIVATE_

public static final SubLSymbol $sym134$INFRNC_PROBLEM_STORE_PRIVATE_

$sym135$_CSETF_INFRNC_PROBLEM_STORE_PRIVATE_

public static final SubLSymbol $sym135$_CSETF_INFRNC_PROBLEM_STORE_PRIVATE_

$sym136$INFRNC_CONTINUABLE_

public static final SubLSymbol $sym136$INFRNC_CONTINUABLE_

$sym137$_CSETF_INFRNC_CONTINUABLE_

public static final SubLSymbol $sym137$_CSETF_INFRNC_CONTINUABLE_

$sym138$INFRNC_BROWSABLE_

public static final SubLSymbol $sym138$INFRNC_BROWSABLE_

$sym139$_CSETF_INFRNC_BROWSABLE_

public static final SubLSymbol $sym139$_CSETF_INFRNC_BROWSABLE_

$sym140$INFRNC_RETURN_TYPE

public static final SubLSymbol $sym140$INFRNC_RETURN_TYPE

$sym141$_CSETF_INFRNC_RETURN_TYPE

public static final SubLSymbol $sym141$_CSETF_INFRNC_RETURN_TYPE

$sym142$INFRNC_ANSWER_LANGUAGE

public static final SubLSymbol $sym142$INFRNC_ANSWER_LANGUAGE

$sym143$_CSETF_INFRNC_ANSWER_LANGUAGE

public static final SubLSymbol $sym143$_CSETF_INFRNC_ANSWER_LANGUAGE

$sym144$INFRNC_CACHE_RESULTS_

public static final SubLSymbol $sym144$INFRNC_CACHE_RESULTS_

$sym145$_CSETF_INFRNC_CACHE_RESULTS_

public static final SubLSymbol $sym145$_CSETF_INFRNC_CACHE_RESULTS_

$sym146$INFRNC_BLOCKING_

public static final SubLSymbol $sym146$INFRNC_BLOCKING_

$sym147$_CSETF_INFRNC_BLOCKING_

public static final SubLSymbol $sym147$_CSETF_INFRNC_BLOCKING_

$sym148$INFRNC_MAX_NUMBER

public static final SubLSymbol $sym148$INFRNC_MAX_NUMBER

$sym149$_CSETF_INFRNC_MAX_NUMBER

public static final SubLSymbol $sym149$_CSETF_INFRNC_MAX_NUMBER

$sym150$INFRNC_MAX_TIME

public static final SubLSymbol $sym150$INFRNC_MAX_TIME

$sym151$_CSETF_INFRNC_MAX_TIME

public static final SubLSymbol $sym151$_CSETF_INFRNC_MAX_TIME

$sym152$INFRNC_MAX_STEP

public static final SubLSymbol $sym152$INFRNC_MAX_STEP

$sym153$_CSETF_INFRNC_MAX_STEP

public static final SubLSymbol $sym153$_CSETF_INFRNC_MAX_STEP

$sym154$INFRNC_MODE

public static final SubLSymbol $sym154$INFRNC_MODE

$sym155$_CSETF_INFRNC_MODE

public static final SubLSymbol $sym155$_CSETF_INFRNC_MODE

$sym156$INFRNC_FORWARD_MAX_TIME

public static final SubLSymbol $sym156$INFRNC_FORWARD_MAX_TIME

$sym157$_CSETF_INFRNC_FORWARD_MAX_TIME

public static final SubLSymbol $sym157$_CSETF_INFRNC_FORWARD_MAX_TIME

$sym158$INFRNC_MAX_PROOF_DEPTH

public static final SubLSymbol $sym158$INFRNC_MAX_PROOF_DEPTH

$sym159$_CSETF_INFRNC_MAX_PROOF_DEPTH

public static final SubLSymbol $sym159$_CSETF_INFRNC_MAX_PROOF_DEPTH

$sym160$INFRNC_MAX_TRANSFORMATION_DEPTH

public static final SubLSymbol $sym160$INFRNC_MAX_TRANSFORMATION_DEPTH

$sym161$_CSETF_INFRNC_MAX_TRANSFORMATION_DEPTH

public static final SubLSymbol $sym161$_CSETF_INFRNC_MAX_TRANSFORMATION_DEPTH

$sym162$INFRNC_PROBABLY_APPROXIMATELY_DONE

public static final SubLSymbol $sym162$INFRNC_PROBABLY_APPROXIMATELY_DONE

$sym163$_CSETF_INFRNC_PROBABLY_APPROXIMATELY_DONE

public static final SubLSymbol $sym163$_CSETF_INFRNC_PROBABLY_APPROXIMATELY_DONE

$sym164$INFRNC_METRICS_TEMPLATE

public static final SubLSymbol $sym164$INFRNC_METRICS_TEMPLATE

$sym165$_CSETF_INFRNC_METRICS_TEMPLATE

public static final SubLSymbol $sym165$_CSETF_INFRNC_METRICS_TEMPLATE

$sym166$INFRNC_START_UNIVERSAL_TIME

public static final SubLSymbol $sym166$INFRNC_START_UNIVERSAL_TIME

$sym167$_CSETF_INFRNC_START_UNIVERSAL_TIME

public static final SubLSymbol $sym167$_CSETF_INFRNC_START_UNIVERSAL_TIME

$sym168$INFRNC_START_INTERNAL_REAL_TIME

public static final SubLSymbol $sym168$INFRNC_START_INTERNAL_REAL_TIME

$sym169$_CSETF_INFRNC_START_INTERNAL_REAL_TIME

public static final SubLSymbol $sym169$_CSETF_INFRNC_START_INTERNAL_REAL_TIME

$sym170$INFRNC_END_INTERNAL_REAL_TIME

public static final SubLSymbol $sym170$INFRNC_END_INTERNAL_REAL_TIME

$sym171$_CSETF_INFRNC_END_INTERNAL_REAL_TIME

public static final SubLSymbol $sym171$_CSETF_INFRNC_END_INTERNAL_REAL_TIME

$sym172$INFRNC_PAD_INTERNAL_REAL_TIME

public static final SubLSymbol $sym172$INFRNC_PAD_INTERNAL_REAL_TIME

$sym173$_CSETF_INFRNC_PAD_INTERNAL_REAL_TIME

public static final SubLSymbol $sym173$_CSETF_INFRNC_PAD_INTERNAL_REAL_TIME

$sym174$INFRNC_CUMULATIVE_TIME

public static final SubLSymbol $sym174$INFRNC_CUMULATIVE_TIME

$sym175$_CSETF_INFRNC_CUMULATIVE_TIME

public static final SubLSymbol $sym175$_CSETF_INFRNC_CUMULATIVE_TIME

$sym176$INFRNC_STEP_COUNT

public static final SubLSymbol $sym176$INFRNC_STEP_COUNT

$sym177$_CSETF_INFRNC_STEP_COUNT

public static final SubLSymbol $sym177$_CSETF_INFRNC_STEP_COUNT

$sym178$INFRNC_CUMULATIVE_STEP_COUNT

public static final SubLSymbol $sym178$INFRNC_CUMULATIVE_STEP_COUNT

$sym179$_CSETF_INFRNC_CUMULATIVE_STEP_COUNT

public static final SubLSymbol $sym179$_CSETF_INFRNC_CUMULATIVE_STEP_COUNT

$sym180$INFRNC_EVENTS

public static final SubLSymbol $sym180$INFRNC_EVENTS

$sym181$_CSETF_INFRNC_EVENTS

public static final SubLSymbol $sym181$_CSETF_INFRNC_EVENTS

$sym182$INFRNC_HALT_CONDITIONS

public static final SubLSymbol $sym182$INFRNC_HALT_CONDITIONS

$sym183$_CSETF_INFRNC_HALT_CONDITIONS

public static final SubLSymbol $sym183$_CSETF_INFRNC_HALT_CONDITIONS

$sym184$INFRNC_ACCUMULATORS

public static final SubLSymbol $sym184$INFRNC_ACCUMULATORS

$sym185$_CSETF_INFRNC_ACCUMULATORS

public static final SubLSymbol $sym185$_CSETF_INFRNC_ACCUMULATORS

$sym186$INFRNC_PROOF_WATERMARK

public static final SubLSymbol $sym186$INFRNC_PROOF_WATERMARK

$sym187$_CSETF_INFRNC_PROOF_WATERMARK

public static final SubLSymbol $sym187$_CSETF_INFRNC_PROOF_WATERMARK

$sym188$INFRNC_PROBLEM_WORKING_TIME_DATA

public static final SubLSymbol $sym188$INFRNC_PROBLEM_WORKING_TIME_DATA

$sym189$_CSETF_INFRNC_PROBLEM_WORKING_TIME_DATA

public static final SubLSymbol $sym189$_CSETF_INFRNC_PROBLEM_WORKING_TIME_DATA

$sym190$INFRNC_TYPE

public static final SubLSymbol $sym190$INFRNC_TYPE

$sym191$_CSETF_INFRNC_TYPE

public static final SubLSymbol $sym191$_CSETF_INFRNC_TYPE

$sym192$INFRNC_DATA

public static final SubLSymbol $sym192$INFRNC_DATA

$sym193$_CSETF_INFRNC_DATA

public static final SubLSymbol $sym193$_CSETF_INFRNC_DATA

$kw194$SUID

public static final SubLSymbol $kw194$SUID

$kw195$PROBLEM_STORE

public static final SubLSymbol $kw195$PROBLEM_STORE

$kw196$FORWARD_PROPAGATE

public static final SubLSymbol $kw196$FORWARD_PROPAGATE

$kw197$INPUT_MT

public static final SubLSymbol $kw197$INPUT_MT

$kw198$INPUT_EL_QUERY

public static final SubLSymbol $kw198$INPUT_EL_QUERY

$kw199$INPUT_NON_EXPLANATORY_EL_QUERY

public static final SubLSymbol $kw199$INPUT_NON_EXPLANATORY_EL_QUERY

$kw200$INPUT_QUERY_PROPERTIES

public static final SubLSymbol $kw200$INPUT_QUERY_PROPERTIES

$kw201$MT

public static final SubLSymbol $kw201$MT

$kw202$EL_QUERY

public static final SubLSymbol $kw202$EL_QUERY

$kw203$EL_BINDINGS

public static final SubLSymbol $kw203$EL_BINDINGS

$kw204$HL_QUERY

public static final SubLSymbol $kw204$HL_QUERY

$kw205$EXPLANATORY_SUBQUERY

public static final SubLSymbol $kw205$EXPLANATORY_SUBQUERY

$kw206$NON_EXPLANATORY_SUBQUERY

public static final SubLSymbol $kw206$NON_EXPLANATORY_SUBQUERY

$kw207$FREE_HL_VARS

public static final SubLSymbol $kw207$FREE_HL_VARS

$kw208$HYPOTHETICAL_BINDINGS

public static final SubLSymbol $kw208$HYPOTHETICAL_BINDINGS

$kw209$ANSWER_ID_INDEX

public static final SubLSymbol $kw209$ANSWER_ID_INDEX

$kw210$ANSWER_BINDINGS_INDEX

public static final SubLSymbol $kw210$ANSWER_BINDINGS_INDEX

$kw211$NEW_ANSWER_ID_START

public static final SubLSymbol $kw211$NEW_ANSWER_ID_START

$kw212$NEW_ANSWER_JUSTIFICATIONS

public static final SubLSymbol $kw212$NEW_ANSWER_JUSTIFICATIONS

$kw213$STATUS

public static final SubLSymbol $kw213$STATUS

$kw214$SUSPEND_STATUS

public static final SubLSymbol $kw214$SUSPEND_STATUS

$kw215$ROOT_LINK

public static final SubLSymbol $kw215$ROOT_LINK

$kw216$RELEVANT_PROBLEMS

public static final SubLSymbol $kw216$RELEVANT_PROBLEMS

$kw217$STRATEGY_SET

public static final SubLSymbol $kw217$STRATEGY_SET

$kw218$CONTROL_PROCESS

public static final SubLSymbol $kw218$CONTROL_PROCESS

$kw219$INTERRUPTING_PROCESSES

public static final SubLSymbol $kw219$INTERRUPTING_PROCESSES

$kw220$MAX_TRANSFORMATION_DEPTH_REACHED

public static final SubLSymbol $kw220$MAX_TRANSFORMATION_DEPTH_REACHED

$kw221$DISJUNCTION_FREE_EL_VARS_POLICY

public static final SubLSymbol $kw221$DISJUNCTION_FREE_EL_VARS_POLICY

$kw222$RESULT_UNIQUENESS_CRITERION

public static final SubLSymbol $kw222$RESULT_UNIQUENESS_CRITERION

$kw223$ALLOW_HL_PREDICATE_TRANSFORMATION_

public static final SubLSymbol $kw223$ALLOW_HL_PREDICATE_TRANSFORMATION_

$kw224$ALLOW_UNBOUND_PREDICATE_TRANSFORMATION_

public static final SubLSymbol $kw224$ALLOW_UNBOUND_PREDICATE_TRANSFORMATION_

$kw225$ALLOW_EVALUATABLE_PREDICATE_TRANSFORMATION_

public static final SubLSymbol $kw225$ALLOW_EVALUATABLE_PREDICATE_TRANSFORMATION_

$kw226$ALLOW_INDETERMINATE_RESULTS_

public static final SubLSymbol $kw226$ALLOW_INDETERMINATE_RESULTS_

$kw227$ALLOWED_RULES

public static final SubLSymbol $kw227$ALLOWED_RULES

$kw228$FORBIDDEN_RULES

public static final SubLSymbol $kw228$FORBIDDEN_RULES

$kw229$ALLOWED_MODULES

public static final SubLSymbol $kw229$ALLOWED_MODULES

$kw230$ALLOW_ABNORMALITY_CHECKING_

public static final SubLSymbol $kw230$ALLOW_ABNORMALITY_CHECKING_

$kw231$TRANSITIVE_CLOSURE_MODE

public static final SubLSymbol $kw231$TRANSITIVE_CLOSURE_MODE

$kw232$PROBLEM_STORE_PRIVATE_

public static final SubLSymbol $kw232$PROBLEM_STORE_PRIVATE_

$kw233$CONTINUABLE_

public static final SubLSymbol $kw233$CONTINUABLE_

$kw234$BROWSABLE_

public static final SubLSymbol $kw234$BROWSABLE_

$kw235$RETURN_TYPE

public static final SubLSymbol $kw235$RETURN_TYPE

$kw236$ANSWER_LANGUAGE

public static final SubLSymbol $kw236$ANSWER_LANGUAGE

$kw237$CACHE_RESULTS_

public static final SubLSymbol $kw237$CACHE_RESULTS_

$kw238$BLOCKING_

public static final SubLSymbol $kw238$BLOCKING_

$kw239$MAX_NUMBER

public static final SubLSymbol $kw239$MAX_NUMBER

$kw240$MAX_TIME

public static final SubLSymbol $kw240$MAX_TIME

$kw241$MAX_STEP

public static final SubLSymbol $kw241$MAX_STEP

$kw242$MODE

public static final SubLSymbol $kw242$MODE

$kw243$FORWARD_MAX_TIME

public static final SubLSymbol $kw243$FORWARD_MAX_TIME

$kw244$MAX_PROOF_DEPTH

public static final SubLSymbol $kw244$MAX_PROOF_DEPTH

$kw245$MAX_TRANSFORMATION_DEPTH

public static final SubLSymbol $kw245$MAX_TRANSFORMATION_DEPTH

$kw246$PROBABLY_APPROXIMATELY_DONE

public static final SubLSymbol $kw246$PROBABLY_APPROXIMATELY_DONE

$kw247$METRICS_TEMPLATE

public static final SubLSymbol $kw247$METRICS_TEMPLATE

$kw248$START_UNIVERSAL_TIME

public static final SubLSymbol $kw248$START_UNIVERSAL_TIME

$kw249$START_INTERNAL_REAL_TIME

public static final SubLSymbol $kw249$START_INTERNAL_REAL_TIME

$kw250$END_INTERNAL_REAL_TIME

public static final SubLSymbol $kw250$END_INTERNAL_REAL_TIME

$kw251$PAD_INTERNAL_REAL_TIME

public static final SubLSymbol $kw251$PAD_INTERNAL_REAL_TIME

$kw252$CUMULATIVE_TIME

public static final SubLSymbol $kw252$CUMULATIVE_TIME

$kw253$STEP_COUNT

public static final SubLSymbol $kw253$STEP_COUNT

$kw254$CUMULATIVE_STEP_COUNT

public static final SubLSymbol $kw254$CUMULATIVE_STEP_COUNT

$kw255$EVENTS

public static final SubLSymbol $kw255$EVENTS

$kw256$HALT_CONDITIONS

public static final SubLSymbol $kw256$HALT_CONDITIONS

$kw257$ACCUMULATORS

public static final SubLSymbol $kw257$ACCUMULATORS

$kw258$PROOF_WATERMARK

public static final SubLSymbol $kw258$PROOF_WATERMARK

$kw259$PROBLEM_WORKING_TIME_DATA

public static final SubLSymbol $kw259$PROBLEM_WORKING_TIME_DATA

$kw260$TYPE

public static final SubLSymbol $kw260$TYPE

$kw261$DATA

public static final SubLSymbol $kw261$DATA

$str262$Invalid_slot__S_for_construction_

public static final SubLString $str262$Invalid_slot__S_for_construction_

$kw263$DEAD

public static final SubLSymbol $kw263$DEAD

$str264$_Invalid_INFERENCE__s_

public static final SubLString $str264$_Invalid_INFERENCE__s_

$str265$_INFERENCEaaaa_in__a_

public static final SubLString $str265$_INFERENCE__a__a__a__a_in__a_

$sym266$SXHASH_INFERENCE_METHOD

public static final SubLSymbol $sym266$SXHASH_INFERENCE_METHOD

$kw267$NEW

public static final SubLSymbol $kw267$NEW

$kw268$PREPARED

public static final SubLSymbol $kw268$PREPARED

$kw269$READY

public static final SubLSymbol $kw269$READY

$kw270$RUNNING

public static final SubLSymbol $kw270$RUNNING

$kw271$SUSPENDED

public static final SubLSymbol $kw271$SUSPENDED

$list272

public static final SubLList $list272

$sym273$DO_SET

public static final SubLSymbol $sym273$DO_SET

$sym274$INFERENCE_RELEVANT_PROBLEMS

public static final SubLSymbol $sym274$INFERENCE_RELEVANT_PROBLEMS

$list275

public static final SubLList $list275

$sym276$DO_QUEUE_ELEMENTS

public static final SubLSymbol $sym276$DO_QUEUE_ELEMENTS

$sym277$INFERENCE_NEW_ANSWER_JUSTIFICATIONS

public static final SubLSymbol $sym277$INFERENCE_NEW_ANSWER_JUSTIFICATIONS

$list278

public static final SubLList $list278

$sym279$START_ID

public static final SubLSymbol $sym279$START_ID

$sym280$END_ID

public static final SubLSymbol $sym280$END_ID

$sym281$ID

public static final SubLSymbol $sym281$ID

$sym282$INF

public static final SubLSymbol $sym282$INF

$sym283$CLET

public static final SubLSymbol $sym283$CLET

$sym284$INFERENCE_NEW_ANSWER_ID_START

public static final SubLSymbol $sym284$INFERENCE_NEW_ANSWER_ID_START

$sym285$INFERENCE_NEXT_NEW_ANSWER_ID

public static final SubLSymbol $sym285$INFERENCE_NEXT_NEW_ANSWER_ID

$sym286$CDO

public static final SubLSymbol $sym286$CDO

$sym287$1_

public static final SubLSymbol $sym287$1_

$sym288$__

public static final SubLSymbol $sym288$__

$sym289$FIND_INFERENCE_ANSWER_BY_ID

public static final SubLSymbol $sym289$FIND_INFERENCE_ANSWER_BY_ID

$list290

public static final SubLList $list290

$list291

public static final SubLList $list291

$kw292$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw292$ALLOW_OTHER_KEYS

$kw293$ORDERED

public static final SubLSymbol $kw293$ORDERED

$sym294$ID

public static final SubLSymbol $sym294$ID

$sym295$DO_ID_INDEX

public static final SubLSymbol $sym295$DO_ID_INDEX

$sym296$INFERENCE_ANSWER_ID_INDEX

public static final SubLSymbol $sym296$INFERENCE_ANSWER_ID_INDEX

$sym297$IGNORE

public static final SubLSymbol $sym297$IGNORE

$list298

public static final SubLList $list298

$sym299$START_ID

public static final SubLSymbol $sym299$START_ID

$sym300$END_ID

public static final SubLSymbol $sym300$END_ID

$sym301$ID

public static final SubLSymbol $sym301$ID

$sym302$INF

public static final SubLSymbol $sym302$INF

$sym303$CSETQ

public static final SubLSymbol $sym303$CSETQ

$sym304$ANSWER

public static final SubLSymbol $sym304$ANSWER

$sym305$DO_INFERENCE_ANSWERS

public static final SubLSymbol $sym305$DO_INFERENCE_ANSWERS

$sym306$DO_INFERENCE_ANSWER_JUSTIFICATIONS

public static final SubLSymbol $sym306$DO_INFERENCE_ANSWER_JUSTIFICATIONS

$list307

public static final SubLList $list307

$sym308$DO_QUEUE_DEQUEUE

public static final SubLSymbol $sym308$DO_QUEUE_DEQUEUE

$sym309$INFERENCE_INTERRUPTING_PROCESSES

public static final SubLSymbol $sym309$INFERENCE_INTERRUPTING_PROCESSES

$list310

public static final SubLList $list310

$list311

public static final SubLList $list311

$kw312$PROOF_STATUS

public static final SubLSymbol $kw312$PROOF_STATUS

$sym313$ROOT_PROBLEM

public static final SubLSymbol $sym313$ROOT_PROBLEM

$sym314$INFERENCE_ROOT_PROBLEM

public static final SubLSymbol $sym314$INFERENCE_ROOT_PROBLEM

$sym315$PWHEN

public static final SubLSymbol $sym315$PWHEN

$sym316$DO_PROBLEM_PROOFS

public static final SubLSymbol $sym316$DO_PROBLEM_PROOFS

$list317

public static final SubLList $list317

$list318

public static final SubLList $list318

$kw319$DONE

public static final SubLSymbol $kw319$DONE

$sym320$INFERENCE_ALLOWED_RULES

public static final SubLSymbol $sym320$INFERENCE_ALLOWED_RULES

$list321

public static final SubLList $list321

$sym322$WITH_LOCK_HELD

public static final SubLSymbol $sym322$WITH_LOCK_HELD

$sym323$INFERENCE_PROBLEM_WORKING_TIME_LOCK

public static final SubLSymbol $sym323$INFERENCE_PROBLEM_WORKING_TIME_LOCK

$sym324$PROBLEM_STORE_P

public static final SubLSymbol $sym324$PROBLEM_STORE_P

$kw325$TAUTOLOGY

public static final SubLSymbol $kw325$TAUTOLOGY

$kw326$IGNORE_ERRORS_TARGET

public static final SubLSymbol $kw326$IGNORE_ERRORS_TARGET

$sym327$IGNORE_ERRORS_HANDLER

public static final SubLSymbol $sym327$IGNORE_ERRORS_HANDLER

$kw328$FREE

public static final SubLSymbol $kw328$FREE

$sym329$DO_INFERENCE_NEW_ANSWERS

public static final SubLSymbol $sym329$DO_INFERENCE_NEW_ANSWERS

$sym330$DO_INFERENCE_NEW_ANSWER_JUSTIFICATIONS

public static final SubLSymbol $sym330$DO_INFERENCE_NEW_ANSWER_JUSTIFICATIONS

$sym331$FORWARD_PROPAGATE_P

public static final SubLSymbol $sym331$FORWARD_PROPAGATE_P

$sym332$POSSIBLY_MT_P

public static final SubLSymbol $sym332$POSSIBLY_MT_P

$sym333$POSSIBLY_INFERENCE_SENTENCE_P

public static final SubLSymbol $sym333$POSSIBLY_INFERENCE_SENTENCE_P

$sym334$QUERY_PROPERTIES_P

public static final SubLSymbol $sym334$QUERY_PROPERTIES_P

$sym335$HLMT_P

public static final SubLSymbol $sym335$HLMT_P

$sym336$BINDING_LIST_P

public static final SubLSymbol $sym336$BINDING_LIST_P

$sym337$PROBLEM_QUERY_P

public static final SubLSymbol $sym337$PROBLEM_QUERY_P

$sym338$EXPLANATORY_SUBQUERY_SPEC_P

public static final SubLSymbol $sym338$EXPLANATORY_SUBQUERY_SPEC_P

$sym339$NON_EXPLANATORY_SUBQUERY_SPEC_P

public static final SubLSymbol $sym339$NON_EXPLANATORY_SUBQUERY_SPEC_P

$sym340$LISTP

public static final SubLSymbol $sym340$LISTP

$sym341$INFERENCE_STATUS_P

public static final SubLSymbol $sym341$INFERENCE_STATUS_P

$sym342$INFERENCE_SUSPEND_STATUS_P

public static final SubLSymbol $sym342$INFERENCE_SUSPEND_STATUS_P

$sym343$ANSWER_LINK_P

public static final SubLSymbol $sym343$ANSWER_LINK_P

$sym344$PROCESSP

public static final SubLSymbol $sym344$PROCESSP

$sym345$NON_NEGATIVE_INTEGER_P

public static final SubLSymbol $sym345$NON_NEGATIVE_INTEGER_P

$sym346$INFERENCE_DISJUNCTION_FREE_EL_VARS_POLICY_P

public static final SubLSymbol $sym346$INFERENCE_DISJUNCTION_FREE_EL_VARS_POLICY_P

$sym347$RESULT_UNIQUENESS_CRITERION_P

public static final SubLSymbol $sym347$RESULT_UNIQUENESS_CRITERION_P

$sym348$BOOLEANP

public static final SubLSymbol $sym348$BOOLEANP

$sym349$ALLOWED_MODULES_SPEC_P

public static final SubLSymbol $sym349$ALLOWED_MODULES_SPEC_P

$sym350$INFERENCE_TRANSITIVE_CLOSURE_MODE_P

public static final SubLSymbol $sym350$INFERENCE_TRANSITIVE_CLOSURE_MODE_P

$sym351$INFERENCE_RETURN_TYPE_P

public static final SubLSymbol $sym351$INFERENCE_RETURN_TYPE_P

$sym352$INFERENCE_ANSWER_LANGUAGE_P

public static final SubLSymbol $sym352$INFERENCE_ANSWER_LANGUAGE_P

$sym353$NON_NEGATIVE_NUMBER_P

public static final SubLSymbol $sym353$NON_NEGATIVE_NUMBER_P

$sym354$INFERENCE_MODE_P

public static final SubLSymbol $sym354$INFERENCE_MODE_P

$str355$Forward_max_time__s_cannot_be_gre

public static final SubLString $str355$Forward_max_time__s_cannot_be_gre

$sym356$PROBABILITY_P

public static final SubLSymbol $sym356$PROBABILITY_P

$sym357$NON_DOTTED_LIST_P

public static final SubLSymbol $sym357$NON_DOTTED_LIST_P

$sym358$QUERY_METRIC_P

public static final SubLSymbol $sym358$QUERY_METRIC_P

$sym359$UNIVERSAL_TIME_P

public static final SubLSymbol $sym359$UNIVERSAL_TIME_P

$sym360$POTENTIALLY_INFINITE_INTEGER_P

public static final SubLSymbol $sym360$POTENTIALLY_INFINITE_INTEGER_P

$sym361$NUMBERP

public static final SubLSymbol $sym361$NUMBERP

$sym362$INFERENCE_EVENT_TYPE_P

public static final SubLSymbol $sym362$INFERENCE_EVENT_TYPE_P

$sym363$INFERENCE_HALT_CONDITION_P

public static final SubLSymbol $sym363$INFERENCE_HALT_CONDITION_P

$sym364$INFERENCE_TYPE_P

public static final SubLSymbol $sym364$INFERENCE_TYPE_P

$list365

public static final SubLList $list365

$sym366$INFERENCE_VAR

public static final SubLSymbol $sym366$INFERENCE_VAR

$sym367$INFERENCE_PROBLEM_STORE_SUID

public static final SubLSymbol $sym367$INFERENCE_PROBLEM_STORE_SUID

$sym368$INFERENCE_SUID

public static final SubLSymbol $sym368$INFERENCE_SUID

$kw369$SKIP

public static final SubLSymbol $kw369$SKIP

$kw370$NEG

public static final SubLSymbol $kw370$NEG

$list371

public static final SubLList $list371

$sym372$HLMT_EQUAL

public static final SubLSymbol $sym372$HLMT_EQUAL

$kw373$POS

public static final SubLSymbol $kw373$POS

$list374

public static final SubLList $list374

$sym375$QUERY_PROPERTY_P

public static final SubLSymbol $sym375$QUERY_PROPERTY_P

$sym376$NEW_CYC_QUERY

public static final SubLSymbol $sym376$NEW_CYC_QUERY

$str377$_new_cyc_query_A

public static final SubLString $str377$_new_cyc_query_A

$str378$_____A

public static final SubLString $str378$_____A

$str379$_A

public static final SubLString $str379$_A

$str380$______

public static final SubLString $str380$______

$kw381$DOWNCASE

public static final SubLSymbol $kw381$DOWNCASE

$str382$_S___find_problem_store_by_id__S_

public static final SubLString $str382$_S___find_problem_store_by_id__S_

$kw383$ALL

public static final SubLSymbol $kw383$ALL

$str384$_S_list

public static final SubLString $str384$_S___list__

$str385$_______find_object_by_hl_external

public static final SubLString $str385$_______find_object_by_hl_external

$str386$_______

public static final SubLString $str386$_______

$str387$_SS____

public static final SubLString $str387$_S__S______

$str388$_

public static final SubLString $str388$_

$kw389$PROOF

public static final SubLSymbol $kw389$PROOF

$kw390$BINDINGS

public static final SubLSymbol $kw390$BINDINGS

$kw391$NONE

public static final SubLSymbol $kw391$NONE

$sym392$INFERENCE_ACCUMULATOR_TYPE_P

public static final SubLSymbol $sym392$INFERENCE_ACCUMULATOR_TYPE_P

$sym393$ACCUMULATOR_P

public static final SubLSymbol $sym393$ACCUMULATOR_P

$sym394$_PAD_TIMES_TO_FIRST_ANSWER_

public static final SubLSymbol $sym394$_PAD_TIMES_TO_FIRST_ANSWER_

$kw395$UNINITIALIZED

public static final SubLSymbol $kw395$UNINITIALIZED

$kw396$POSITIVE_INFINITY

public static final SubLSymbol $kw396$POSITIVE_INFINITY

$sym397$_

public static final SubLSymbol $sym397$_

$kw398$LOOK_NO_DEEPER_FOR_ADDITIONAL_ANSWERS

public static final SubLSymbol $kw398$LOOK_NO_DEEPER_FOR_ADDITIONAL_ANSWERS

$str399$got_a_null_answer_for__s

public static final SubLString $str399$got_a_null_answer_for__s

$kw400$GOOD

public static final SubLSymbol $kw400$GOOD

$kw401$TACTICAL

public static final SubLSymbol $kw401$TACTICAL

$kw402$NO_GOOD

public static final SubLSymbol $kw402$NO_GOOD

$kw403$NEUTRAL

public static final SubLSymbol $kw403$NEUTRAL

$sym404$INFERENCE_STATIC_PROPERTIES_P

public static final SubLSymbol $sym404$INFERENCE_STATIC_PROPERTIES_P

$sym405$ALLOWED_RULES_SPEC_P

public static final SubLSymbol $sym405$ALLOWED_RULES_SPEC_P

$sym406$FORBIDDEN_RULES_SPEC_P

public static final SubLSymbol $sym406$FORBIDDEN_RULES_SPEC_P

$sym407$QUERY_DYNAMIC_PROPERTIES_P

public static final SubLSymbol $sym407$QUERY_DYNAMIC_PROPERTIES_P

$kw408$INFERENCE_MODE

public static final SubLSymbol $kw408$INFERENCE_MODE

$sym409$PROBLEM_P

public static final SubLSymbol $sym409$PROBLEM_P

$sym410$STRATEGY_P

public static final SubLSymbol $sym410$STRATEGY_P

$sym411$INFERENCE_ANSWER_P

public static final SubLSymbol $sym411$INFERENCE_ANSWER_P

$sym412$INFERENCE_ANSWER_JUSTIFICATION_P

public static final SubLSymbol $sym412$INFERENCE_ANSWER_JUSTIFICATION_P

$str413$variables__S_were_removed

public static final SubLString $str413$variables__S_were_removed

$str414$variables__S_were_added

public static final SubLString $str414$variables__S_were_added

$str415$variables__S_contain_duplications

public static final SubLString $str415$variables__S_contain_duplications

$kw416$SIMPLEST

public static final SubLSymbol $kw416$SIMPLEST

$sym417$SIMPLEST_INFERENCE_P

public static final SubLSymbol $sym417$SIMPLEST_INFERENCE_P

$sym418$STRATEGY_TYPE_P

public static final SubLSymbol $sym418$STRATEGY_TYPE_P

$sym419$INFERENCE_ANSWER

public static final SubLSymbol $sym419$INFERENCE_ANSWER

$list420

public static final SubLList $list420

$list421

public static final SubLList $list421

$list422

public static final SubLList $list422

$list423

public static final SubLList $list423

$sym424$PRINT_INFERENCE_ANSWER

public static final SubLSymbol $sym424$PRINT_INFERENCE_ANSWER

$sym425$INFERENCE_ANSWER_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym425$INFERENCE_ANSWER_PRINT_FUNCTION_TRAMPOLINE

$sym426$INF_ANSWER_SUID

public static final SubLSymbol $sym426$INF_ANSWER_SUID

$sym427$_CSETF_INF_ANSWER_SUID

public static final SubLSymbol $sym427$_CSETF_INF_ANSWER_SUID

$sym428$INF_ANSWER_INFERENCE

public static final SubLSymbol $sym428$INF_ANSWER_INFERENCE

$sym429$_CSETF_INF_ANSWER_INFERENCE

public static final SubLSymbol $sym429$_CSETF_INF_ANSWER_INFERENCE

$sym430$INF_ANSWER_BINDINGS

public static final SubLSymbol $sym430$INF_ANSWER_BINDINGS

$sym431$_CSETF_INF_ANSWER_BINDINGS

public static final SubLSymbol $sym431$_CSETF_INF_ANSWER_BINDINGS

$sym432$INF_ANSWER_JUSTIFICATIONS

public static final SubLSymbol $sym432$INF_ANSWER_JUSTIFICATIONS

$sym433$_CSETF_INF_ANSWER_JUSTIFICATIONS

public static final SubLSymbol $sym433$_CSETF_INF_ANSWER_JUSTIFICATIONS

$sym434$INF_ANSWER_ELAPSED_CREATION_TIME

public static final SubLSymbol $sym434$INF_ANSWER_ELAPSED_CREATION_TIME

$sym435$_CSETF_INF_ANSWER_ELAPSED_CREATION_TIME

public static final SubLSymbol $sym435$_CSETF_INF_ANSWER_ELAPSED_CREATION_TIME

$sym436$INF_ANSWER_STEP_COUNT

public static final SubLSymbol $sym436$INF_ANSWER_STEP_COUNT

$sym437$_CSETF_INF_ANSWER_STEP_COUNT

public static final SubLSymbol $sym437$_CSETF_INF_ANSWER_STEP_COUNT

$kw438$INFERENCE

public static final SubLSymbol $kw438$INFERENCE

$kw439$JUSTIFICATIONS

public static final SubLSymbol $kw439$JUSTIFICATIONS

$kw440$ELAPSED_CREATION_TIME

public static final SubLSymbol $kw440$ELAPSED_CREATION_TIME

$str441$_Invalid_INFERENCE_ANSWER__s_

public static final SubLString $str441$_Invalid_INFERENCE_ANSWER__s_

$str442$_INFERENCE_ANSWER__a_for_INFERENC

public static final SubLString $str442$_INFERENCE_ANSWER__a_for_INFERENC

$sym443$SXHASH_INFERENCE_ANSWER_METHOD

public static final SubLSymbol $sym443$SXHASH_INFERENCE_ANSWER_METHOD

$sym444$BINDINGS_P

public static final SubLSymbol $sym444$BINDINGS_P

$list445

public static final SubLList $list445

$sym446$DO_LIST

public static final SubLSymbol $sym446$DO_LIST

$sym447$INFERENCE_ANSWER_JUSTIFICATIONS

public static final SubLSymbol $sym447$INFERENCE_ANSWER_JUSTIFICATIONS

$list448

public static final SubLList $list448

$sym449$CDOLIST_NUMBERED

public static final SubLSymbol $sym449$CDOLIST_NUMBERED

$sym450$JUSTIFICATION_EQUAL

public static final SubLSymbol $sym450$JUSTIFICATION_EQUAL

$sym451$INFERENCE_ANSWER_JUSTIFICATION_SUPPORTS

public static final SubLSymbol $sym451$INFERENCE_ANSWER_JUSTIFICATION_SUPPORTS

$kw452$HL

public static final SubLSymbol $kw452$HL

$kw453$EL

public static final SubLSymbol $kw453$EL

$str454$_S_was_not_an_inference_answer_la

public static final SubLString $str454$_S_was_not_an_inference_answer_la

$sym455$INFERENCE_ANSWER_EL_SENTENCE

public static final SubLSymbol $sym455$INFERENCE_ANSWER_EL_SENTENCE

$sym456$INFERENCE_ANSWER_JUSTIFICATION

public static final SubLSymbol $sym456$INFERENCE_ANSWER_JUSTIFICATION

$list457

public static final SubLList $list457

$list458

public static final SubLList $list458

$list459

public static final SubLList $list459

$list460

public static final SubLList $list460

$sym461$PRINT_INFERENCE_ANSWER_JUSTIFICATION

public static final SubLSymbol $sym461$PRINT_INFERENCE_ANSWER_JUSTIFICATION

$sym462$INFERENCE_ANSWER_JUSTIFICATION_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym462$INFERENCE_ANSWER_JUSTIFICATION_PRINT_FUNCTION_TRAMPOLINE

$sym463$INF_ANS_JUST_ANSWER

public static final SubLSymbol $sym463$INF_ANS_JUST_ANSWER

$sym464$_CSETF_INF_ANS_JUST_ANSWER

public static final SubLSymbol $sym464$_CSETF_INF_ANS_JUST_ANSWER

$sym465$INF_ANS_JUST_SUPPORTS

public static final SubLSymbol $sym465$INF_ANS_JUST_SUPPORTS

$sym466$_CSETF_INF_ANS_JUST_SUPPORTS

public static final SubLSymbol $sym466$_CSETF_INF_ANS_JUST_SUPPORTS

$sym467$INF_ANS_JUST_PROOFS

public static final SubLSymbol $sym467$INF_ANS_JUST_PROOFS

$sym468$_CSETF_INF_ANS_JUST_PROOFS

public static final SubLSymbol $sym468$_CSETF_INF_ANS_JUST_PROOFS

$kw469$ANSWER

public static final SubLSymbol $kw469$ANSWER

$kw470$SUPPORTS

public static final SubLSymbol $kw470$SUPPORTS

$kw471$PROOFS

public static final SubLSymbol $kw471$PROOFS

$str472$__

public static final SubLString $str472$__

$kw473$STREAM

public static final SubLSymbol $kw473$STREAM

$kw474$BASE

public static final SubLSymbol $kw474$BASE

$str475$_INF_ANS_JUST__s_

public static final SubLString $str475$_INF_ANS_JUST__s_

$sym476$SXHASH_INFERENCE_ANSWER_JUSTIFICATION_METHOD

public static final SubLSymbol $sym476$SXHASH_INFERENCE_ANSWER_JUSTIFICATION_METHOD

$sym477$HL_JUSTIFICATION_P

public static final SubLSymbol $sym477$HL_JUSTIFICATION_P

$list478

public static final SubLList $list478

$sym479$INFERENCE_ANSWER_JUSTIFICATION_PROOFS

public static final SubLSymbol $sym479$INFERENCE_ANSWER_JUSTIFICATION_PROOFS

$list480

public static final SubLList $list480

$sym481$INFERENCE

public static final SubLSymbol $sym481$INFERENCE

$sym482$ANSWER

public static final SubLSymbol $sym482$ANSWER

$sym483$PROOF_VAR

public static final SubLSymbol $sym483$PROOF_VAR

$sym484$DO_PROBLEM_SUPPORTED_INFERENCES

public static final SubLSymbol $sym484$DO_PROBLEM_SUPPORTED_INFERENCES

$sym485$PROOF_SUPPORTED_PROBLEM

public static final SubLSymbol $sym485$PROOF_SUPPORTED_PROBLEM

$sym486$MEMBER_

public static final SubLSymbol $sym486$MEMBER_

$list487

public static final SubLList $list487

$list488

public static final SubLList $list488

$sym489$ANSWER

public static final SubLSymbol $sym489$ANSWER

$sym490$JUSTIFICATION

public static final SubLSymbol $sym490$JUSTIFICATION

$sym491$PROOF

public static final SubLSymbol $sym491$PROOF

$sym492$DO_INFERENCE_ANSWER_JUSTIFICATION_PROOFS

public static final SubLSymbol $sym492$DO_INFERENCE_ANSWER_JUSTIFICATION_PROOFS

$sym493$DO_PROOF_ALL_SUBPROOFS

public static final SubLSymbol $sym493$DO_PROOF_ALL_SUBPROOFS

$sym494$RULE_ASSERTION_

public static final SubLSymbol $sym494$RULE_ASSERTION_

$sym495$ASSERTION_ID

public static final SubLSymbol $sym495$ASSERTION_ID

$sym496$PROOF_P

public static final SubLSymbol $sym496$PROOF_P

$kw497$TV

public static final SubLSymbol $kw497$TV

$kw498$TRUE

public static final SubLSymbol $kw498$TRUE

$kw499$FALSE

public static final SubLSymbol $kw499$FALSE

$sym500$INFERENCE_QUERY_METRIC_P

public static final SubLSymbol $sym500$INFERENCE_QUERY_METRIC_P

$sym501$TERM__

public static final SubLSymbol $sym501$TERM__

$sym502$CAR

public static final SubLSymbol $sym502$CAR

$kw503$NEW_ROOT_TIMES

public static final SubLSymbol $kw503$NEW_ROOT_TIMES

$kw504$NEW_ROOT_COUNT

public static final SubLSymbol $kw504$NEW_ROOT_COUNT

$kw505$PROBLEM_CREATION_TIMES

public static final SubLSymbol $kw505$PROBLEM_CREATION_TIMES

$kw506$INFERENCE_ANSWER_QUERY_PROPERTIES

public static final SubLSymbol $kw506$INFERENCE_ANSWER_QUERY_PROPERTIES

$kw507$INFERENCE_STRONGEST_QUERY_PROPERTIES

public static final SubLSymbol $kw507$INFERENCE_STRONGEST_QUERY_PROPERTIES

$kw508$INFERENCE_MOST_EFFICIENT_QUERY_PROPERTIES

public static final SubLSymbol $kw508$INFERENCE_MOST_EFFICIENT_QUERY_PROPERTIES

$str509$time_to_implement_metric__S

public static final SubLString $str509$time_to_implement_metric__S

$sym510$PROOF_SUID

public static final SubLSymbol $sym510$PROOF_SUID

$sym511$_

public static final SubLSymbol $sym511$_

$sym512$CDR

public static final SubLSymbol $sym512$CDR

$list513

public static final SubLList $list513

$sym514$INFERENCE_VAR

public static final SubLSymbol $sym514$INFERENCE_VAR

$sym515$WITH_INFERENCE_PROBLEM_WORKING_TIME_LOCK

public static final SubLSymbol $sym515$WITH_INFERENCE_PROBLEM_WORKING_TIME_LOCK

$sym516$INFERENCE_PROBLEM_WORKING_TIME_TABLE

public static final SubLSymbol $sym516$INFERENCE_PROBLEM_WORKING_TIME_TABLE

$str517$Inference_problem_working_time_lo

public static final SubLString $str517$Inference_problem_working_time_lo

$sym518$INFERENCES_VAR

public static final SubLSymbol $sym518$INFERENCES_VAR

$sym519$INFERENCE_VAR

public static final SubLSymbol $sym519$INFERENCE_VAR

$sym520$TACTIC_VAR

public static final SubLSymbol $sym520$TACTIC_VAR

$sym521$START_TIME

public static final SubLSymbol $sym521$START_TIME

$list522

public static final SubLList $list522

$list523

public static final SubLList $list523

$list524

public static final SubLList $list524

$sym525$CUNWIND_PROTECT

public static final SubLSymbol $sym525$CUNWIND_PROTECT

$sym526$PROGN

public static final SubLSymbol $sym526$PROGN

$sym527$POSSIBLY_SIGNAL_SKSI_QUERY_START

public static final SubLSymbol $sym527$POSSIBLY_SIGNAL_SKSI_QUERY_START

$sym528$INFERENCE_TIME_SO_FAR

public static final SubLSymbol $sym528$INFERENCE_TIME_SO_FAR

$list529

public static final SubLList $list529

$sym530$POSSIBLY_ADD_INFERENCE_SKSI_QUERY_START_TIME

public static final SubLSymbol $sym530$POSSIBLY_ADD_INFERENCE_SKSI_QUERY_START_TIME

$sym531$POSSIBLY_SIGNAL_SKSI_QUERY_END

public static final SubLSymbol $sym531$POSSIBLY_SIGNAL_SKSI_QUERY_END

$sym532$POSSIBLY_INCREMENT_INFERENCE_SKSI_QUERY_TOTAL_TIME

public static final SubLSymbol $sym532$POSSIBLY_INCREMENT_INFERENCE_SKSI_QUERY_TOTAL_TIME

$sym533$_

public static final SubLSymbol $sym533$_

$sym534$INFERENCE_WITHIN_SKSI_QUERY_EXECUTION

public static final SubLSymbol $sym534$INFERENCE_WITHIN_SKSI_QUERY_EXECUTION

$kw535$START_TIME

public static final SubLSymbol $kw535$START_TIME

$kw536$START

public static final SubLSymbol $kw536$START

$kw537$END_TIME

public static final SubLSymbol $kw537$END_TIME

$kw538$END

public static final SubLSymbol $kw538$END

$kw539$SKSI_QUERY_TOTAL_TIME

public static final SubLSymbol $kw539$SKSI_QUERY_TOTAL_TIME

$kw540$SKSI_QUERY_START_TIMES

public static final SubLSymbol $kw540$SKSI_QUERY_START_TIMES

$list541

public static final SubLList $list541

$list542

public static final SubLList $list542

$kw543$SPARQL

public static final SubLSymbol $kw543$SPARQL

$kw544$RESULT_SET

public static final SubLSymbol $kw544$RESULT_SET

$sym545$INFERENCES

public static final SubLSymbol $sym545$INFERENCES

$sym546$INFERENCE

public static final SubLSymbol $sym546$INFERENCE

$sym547$START

public static final SubLSymbol $sym547$START

$sym548$END

public static final SubLSymbol $sym548$END

$sym549$COUNT

public static final SubLSymbol $sym549$COUNT

$sym550$LAST_ONE

public static final SubLSymbol $sym550$LAST_ONE

$sym551$FWHEN

public static final SubLSymbol $sym551$FWHEN

$sym552$INFERENCE_CUMULATIVE_TIME_SO_FAR

public static final SubLSymbol $sym552$INFERENCE_CUMULATIVE_TIME_SO_FAR

$sym553$LENGTH

public static final SubLSymbol $sym553$LENGTH

$sym554$POSSIBLY_ADD_INFERENCE_SPARQL_QUERY_PROFILE

public static final SubLSymbol $sym554$POSSIBLY_ADD_INFERENCE_SPARQL_QUERY_PROFILE

$sym555$INFERENCE_WITHIN_SPARQL_QUERY_EXECUTION

public static final SubLSymbol $sym555$INFERENCE_WITHIN_SPARQL_QUERY_EXECUTION

$kw556$SPARQL_QUERY_PROFILE

public static final SubLSymbol $kw556$SPARQL_QUERY_PROFILE

$kw557$SKSI_QUERY_TOTAL_TIME_ACC

public static final SubLSymbol $kw557$SKSI_QUERY_TOTAL_TIME_ACC

$kw558$SKSI_QUERY_START_TIMES_ACC

public static final SubLSymbol $kw558$SKSI_QUERY_START_TIMES_ACC

$kw559$SPARQL_QUERY_PROFILE_ACC

public static final SubLSymbol $kw559$SPARQL_QUERY_PROFILE_ACC

Method Detail

inference_print_function_trampoline

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

inference_p

public static final SubLObject inference_p(SubLObject object)

infrnc_suid

public static final SubLObject infrnc_suid(SubLObject object)

infrnc_problem_store

public static final SubLObject infrnc_problem_store(SubLObject object)

infrnc_forward_propagate

public static final SubLObject infrnc_forward_propagate(SubLObject object)

infrnc_input_mt

public static final SubLObject infrnc_input_mt(SubLObject object)

infrnc_input_el_query

public static final SubLObject infrnc_input_el_query(SubLObject object)

infrnc_input_non_explanatory_el_query

public static final SubLObject infrnc_input_non_explanatory_el_query(SubLObject object)

infrnc_input_query_properties

public static final SubLObject infrnc_input_query_properties(SubLObject object)

infrnc_mt

public static final SubLObject infrnc_mt(SubLObject object)

infrnc_el_bindings

public static final SubLObject infrnc_el_bindings(SubLObject object)

infrnc_hl_query

public static final SubLObject infrnc_hl_query(SubLObject object)

infrnc_explanatory_subquery

public static final SubLObject infrnc_explanatory_subquery(SubLObject object)

infrnc_free_hl_vars

public static final SubLObject infrnc_free_hl_vars(SubLObject object)

infrnc_answer_id_index

public static final SubLObject infrnc_answer_id_index(SubLObject object)

infrnc_answer_bindings_index

public static final SubLObject infrnc_answer_bindings_index(SubLObject object)

infrnc_new_answer_id_start

public static final SubLObject infrnc_new_answer_id_start(SubLObject object)

infrnc_new_answer_justifications

public static final SubLObject infrnc_new_answer_justifications(SubLObject object)

infrnc_status

public static final SubLObject infrnc_status(SubLObject object)

infrnc_suspend_status

public static final SubLObject infrnc_suspend_status(SubLObject object)

infrnc_root_link

public static final SubLObject infrnc_root_link(SubLObject object)

infrnc_relevant_problems

public static final SubLObject infrnc_relevant_problems(SubLObject object)

infrnc_strategy_set

public static final SubLObject infrnc_strategy_set(SubLObject object)

infrnc_interrupting_processes

public static final SubLObject infrnc_interrupting_processes(SubLObject object)

infrnc_max_transformation_depth_reached

public static final SubLObject infrnc_max_transformation_depth_reached(SubLObject object)

infrnc_disjunction_free_el_vars_policy

public static final SubLObject infrnc_disjunction_free_el_vars_policy(SubLObject object)

infrnc_result_uniqueness_criterion

public static final SubLObject infrnc_result_uniqueness_criterion(SubLObject object)

infrnc_allow_hl_predicate_transformationP

public static final SubLObject infrnc_allow_hl_predicate_transformationP(SubLObject object)

infrnc_allow_unbound_predicate_transformationP

public static final SubLObject infrnc_allow_unbound_predicate_transformationP(SubLObject object)

infrnc_allow_evaluatable_predicate_transformationP

public static final SubLObject infrnc_allow_evaluatable_predicate_transformationP(SubLObject object)

infrnc_allow_indeterminate_resultsP

public static final SubLObject infrnc_allow_indeterminate_resultsP(SubLObject object)

infrnc_allowed_rules

public static final SubLObject infrnc_allowed_rules(SubLObject object)

infrnc_forbidden_rules

public static final SubLObject infrnc_forbidden_rules(SubLObject object)

infrnc_allowed_modules

public static final SubLObject infrnc_allowed_modules(SubLObject object)

infrnc_allow_abnormality_checkingP

public static final SubLObject infrnc_allow_abnormality_checkingP(SubLObject object)

infrnc_transitive_closure_mode

public static final SubLObject infrnc_transitive_closure_mode(SubLObject object)

infrnc_problem_store_privateP

public static final SubLObject infrnc_problem_store_privateP(SubLObject object)

infrnc_continuableP

public static final SubLObject infrnc_continuableP(SubLObject object)

infrnc_browsableP

public static final SubLObject infrnc_browsableP(SubLObject object)

infrnc_return_type

public static final SubLObject infrnc_return_type(SubLObject object)

infrnc_answer_language

public static final SubLObject infrnc_answer_language(SubLObject object)

infrnc_cache_resultsP

public static final SubLObject infrnc_cache_resultsP(SubLObject object)

infrnc_blockingP

public static final SubLObject infrnc_blockingP(SubLObject object)

infrnc_max_number

public static final SubLObject infrnc_max_number(SubLObject object)

infrnc_max_time

public static final SubLObject infrnc_max_time(SubLObject object)

infrnc_max_step

public static final SubLObject infrnc_max_step(SubLObject object)

infrnc_forward_max_time

public static final SubLObject infrnc_forward_max_time(SubLObject object)

infrnc_max_proof_depth

public static final SubLObject infrnc_max_proof_depth(SubLObject object)

infrnc_max_transformation_depth

public static final SubLObject infrnc_max_transformation_depth(SubLObject object)

infrnc_probably_approximately_done

public static final SubLObject infrnc_probably_approximately_done(SubLObject object)

infrnc_metrics_template

public static final SubLObject infrnc_metrics_template(SubLObject object)

infrnc_start_internal_real_time

public static final SubLObject infrnc_start_internal_real_time(SubLObject object)

infrnc_end_internal_real_time

public static final SubLObject infrnc_end_internal_real_time(SubLObject object)

infrnc_pad_internal_real_time

public static final SubLObject infrnc_pad_internal_real_time(SubLObject object)

infrnc_cumulative_time

public static final SubLObject infrnc_cumulative_time(SubLObject object)

infrnc_step_count

public static final SubLObject infrnc_step_count(SubLObject object)

infrnc_cumulative_step_count

public static final SubLObject infrnc_cumulative_step_count(SubLObject object)

infrnc_halt_conditions

public static final SubLObject infrnc_halt_conditions(SubLObject object)

infrnc_problem_working_time_data

public static final SubLObject infrnc_problem_working_time_data(SubLObject object)

infrnc_type

public static final SubLObject infrnc_type(SubLObject object)

infrnc_data

public static final SubLObject infrnc_data(SubLObject object)

_csetf_infrnc_suid

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

_csetf_infrnc_problem_store

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

_csetf_infrnc_forward_propagate

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

_csetf_infrnc_input_mt

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

_csetf_infrnc_input_el_query

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

_csetf_infrnc_input_non_explanatory_el_query

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

_csetf_infrnc_input_query_properties

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

_csetf_infrnc_mt

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

_csetf_infrnc_el_query

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

_csetf_infrnc_el_bindings

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

_csetf_infrnc_hl_query

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

_csetf_infrnc_explanatory_subquery

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

_csetf_infrnc_non_explanatory_subquery

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

_csetf_infrnc_free_hl_vars

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

_csetf_infrnc_hypothetical_bindings

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

_csetf_infrnc_answer_id_index

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

_csetf_infrnc_answer_bindings_index

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

_csetf_infrnc_new_answer_id_start

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

_csetf_infrnc_new_answer_justifications

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

_csetf_infrnc_status

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

_csetf_infrnc_suspend_status

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

_csetf_infrnc_root_link

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

_csetf_infrnc_relevant_problems

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

_csetf_infrnc_strategy_set

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

_csetf_infrnc_control_process

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

_csetf_infrnc_interrupting_processes

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

_csetf_infrnc_max_transformation_depth_reached

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

_csetf_infrnc_disjunction_free_el_vars_policy

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

_csetf_infrnc_result_uniqueness_criterion

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

_csetf_infrnc_allow_hl_predicate_transformationP

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

_csetf_infrnc_allow_unbound_predicate_transformationP

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

_csetf_infrnc_allow_evaluatable_predicate_transformationP

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

_csetf_infrnc_allow_indeterminate_resultsP

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

_csetf_infrnc_allowed_rules

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

_csetf_infrnc_forbidden_rules

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

_csetf_infrnc_allowed_modules

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

_csetf_infrnc_allow_abnormality_checkingP

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

_csetf_infrnc_transitive_closure_mode

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

_csetf_infrnc_problem_store_privateP

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

_csetf_infrnc_continuableP

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

_csetf_infrnc_browsableP

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

_csetf_infrnc_return_type

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

_csetf_infrnc_answer_language

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

_csetf_infrnc_cache_resultsP

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

_csetf_infrnc_blockingP

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

_csetf_infrnc_max_number

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

_csetf_infrnc_max_time

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

_csetf_infrnc_max_step

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

_csetf_infrnc_mode

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

_csetf_infrnc_forward_max_time

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

_csetf_infrnc_max_proof_depth

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

_csetf_infrnc_max_transformation_depth

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

_csetf_infrnc_probably_approximately_done

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

_csetf_infrnc_metrics_template

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

_csetf_infrnc_start_universal_time

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

_csetf_infrnc_start_internal_real_time

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

_csetf_infrnc_end_internal_real_time

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

_csetf_infrnc_pad_internal_real_time

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

_csetf_infrnc_cumulative_time

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

_csetf_infrnc_step_count

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

_csetf_infrnc_cumulative_step_count

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

_csetf_infrnc_events

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

_csetf_infrnc_halt_conditions

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

_csetf_infrnc_accumulators

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

_csetf_infrnc_proof_watermark

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

_csetf_infrnc_problem_working_time_data

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

_csetf_infrnc_type

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

_csetf_infrnc_data

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

make_inference

public static final SubLObject make_inference(SubLObject arglist)

valid_inference_p

public static final SubLObject valid_inference_p(SubLObject object)

inference_invalid_p

public static final SubLObject inference_invalid_p(SubLObject inference)

sxhash_inference_method

public static final SubLObject sxhash_inference_method(SubLObject object)

new_inference_p

public static final SubLObject new_inference_p(SubLObject object)

prepared_inference_p

public static final SubLObject prepared_inference_p(SubLObject object)

running_inference_p

public static final SubLObject running_inference_p(SubLObject object)

continuable_inference_p

public static final SubLObject continuable_inference_p(SubLObject object)

new_inference

public static final SubLObject new_inference(SubLObject store)

Allocates a new inference object and sets up its internal datastructures.

destroy_inference

public static final SubLObject destroy_inference(SubLObject inference)

Disposes of the INFERENCE datastructure. This gets rid of all pointers to its referenced substructures so that the GC can collect them all.

destroy_problem_store_inference

public static final SubLObject destroy_problem_store_inference(SubLObject inference)

destroy_inference_int

public static final SubLObject destroy_inference_int(SubLObject inf)

note_inference_invalid

public static final SubLObject note_inference_invalid(SubLObject inference)

inference_suid

public static final SubLObject inference_suid(SubLObject inference)

inference_problem_store

public static final SubLObject inference_problem_store(SubLObject inference)

inference_input_mt

public static final SubLObject inference_input_mt(SubLObject inference)

inference_input_el_query

public static final SubLObject inference_input_el_query(SubLObject inference)

inference_input_non_explanatory_el_query

public static final SubLObject inference_input_non_explanatory_el_query(SubLObject inference)

inference_input_query_properties

public static final SubLObject inference_input_query_properties(SubLObject inference)

Return query-properties-p; the input query properties for INFERENCE.

inference_mt

public static final SubLObject inference_mt(SubLObject inference)

inference_el_bindings

public static final SubLObject inference_el_bindings(SubLObject inference)

Returns bindings which map HL proven query wrt INFERENCE -> EL proven query wrt INFERENCE

inference_hl_query

public static final SubLObject inference_hl_query(SubLObject inference)

inference_explanatory_subquery

public static final SubLObject inference_explanatory_subquery(SubLObject inference)

inference_free_hl_vars

public static final SubLObject inference_free_hl_vars(SubLObject inference)

inference_answer_id_index

public static final SubLObject inference_answer_id_index(SubLObject inference)

inference_answer_bindings_index

public static final SubLObject inference_answer_bindings_index(SubLObject inference)

inference_new_answer_id_start

public static final SubLObject inference_new_answer_id_start(SubLObject inference)

inference_new_answer_justifications

public static final SubLObject inference_new_answer_justifications(SubLObject inference)

inference_status

public static final SubLObject inference_status(SubLObject inference)

inference_suspend_status

public static final SubLObject inference_suspend_status(SubLObject inference)

inference_root_link

public static final SubLObject inference_root_link(SubLObject inference)

inference_relevant_problems

public static final SubLObject inference_relevant_problems(SubLObject inference)

inference_strategy_set

public static final SubLObject inference_strategy_set(SubLObject inference)

inference_interrupting_processes

public static final SubLObject inference_interrupting_processes(SubLObject inference)

inference_max_transformation_depth_reached

public static final SubLObject inference_max_transformation_depth_reached(SubLObject inference)

inference_answer_language

public static final SubLObject inference_answer_language(SubLObject inference)

inference_cache_resultsP

public static final SubLObject inference_cache_resultsP(SubLObject inference)

inference_blockingP

public static final SubLObject inference_blockingP(SubLObject inference)

inference_disjunction_free_el_vars_policy

public static final SubLObject inference_disjunction_free_el_vars_policy(SubLObject inference)

inference_result_uniqueness_criterion

public static final SubLObject inference_result_uniqueness_criterion(SubLObject inference)

inference_allow_hl_predicate_transformationP

public static final SubLObject inference_allow_hl_predicate_transformationP(SubLObject inference)

inference_allow_unbound_predicate_transformationP

public static final SubLObject inference_allow_unbound_predicate_transformationP(SubLObject inference)

inference_allow_evaluatable_predicate_transformationP

public static final SubLObject inference_allow_evaluatable_predicate_transformationP(SubLObject inference)

inference_allow_indeterminate_resultsP

public static final SubLObject inference_allow_indeterminate_resultsP(SubLObject inference)

inference_allowed_rules

public static final SubLObject inference_allowed_rules(SubLObject inference)

inference_forbidden_rules

public static final SubLObject inference_forbidden_rules(SubLObject inference)

inference_allowed_modules

public static final SubLObject inference_allowed_modules(SubLObject inference)

inference_allow_abnormality_checkingP

public static final SubLObject inference_allow_abnormality_checkingP(SubLObject inference)

inference_transitive_closure_mode

public static final SubLObject inference_transitive_closure_mode(SubLObject inference)

inference_problem_store_privateP

public static final SubLObject inference_problem_store_privateP(SubLObject inference)

inference_continuableP

public static final SubLObject inference_continuableP(SubLObject inference)

Returns:: booleanp, whether INFERENCE was specified to be continuable.

inference_browsableP

public static final SubLObject inference_browsableP(SubLObject inference)

Returns:: booleanp, whether INFERENCE was specified to be browsable.

inference_return_type

public static final SubLObject inference_return_type(SubLObject inference)

Returns:: inference-return-type-p, the return type of inference stored in :return.

inference_max_time

public static final SubLObject inference_max_time(SubLObject inference)

Returns:: nil or universal-time-p NIL indicates there is no time cutoff

inference_max_step

public static final SubLObject inference_max_step(SubLObject inference)

Returns:: nil or non-negative-integer-p NIL indicates there is no step cutoff

inference_forward_max_time

public static final SubLObject inference_forward_max_time(SubLObject inference)

Returns:: nil or universal-time-p NIL indicates there is no time cutoff

inference_max_number

public static final SubLObject inference_max_number(SubLObject inference)

Returns:: nil or non-negative-integer-p NIL indicates there is no number limit

inference_max_proof_depth

public static final SubLObject inference_max_proof_depth(SubLObject inference)

Returns:: nil or non-negative-integer-p NIL indicates there is no limit on proof depth

inference_max_transformation_depth

public static final SubLObject inference_max_transformation_depth(SubLObject inference)

inference_probably_approximately_done

public static final SubLObject inference_probably_approximately_done(SubLObject inference)

Returns:: probability-p 1 means we must be 100% sure we are done before halting

inference_metrics_template

public static final SubLObject inference_metrics_template(SubLObject inference)

inference_start_internal_real_time

public static final SubLObject inference_start_internal_real_time(SubLObject inference)

inference_end_internal_real_time

public static final SubLObject inference_end_internal_real_time(SubLObject inference)

inference_pad_internal_real_time

public static final SubLObject inference_pad_internal_real_time(SubLObject inference)

inference_cumulative_time

public static final SubLObject inference_cumulative_time(SubLObject inference)

This is the total time spent in all of INFERENCE's previous continuations. Use @xref inference-cumulative-time-so-far if you want to include the time spent so far in the current continuation.

inference_cumulative_step_count

public static final SubLObject inference_cumulative_step_count(SubLObject inference)

The number of inference steps performed so far for this inference, summed over all continuations

inference_problem_working_time_data

public static final SubLObject inference_problem_working_time_data(SubLObject inference)

inference_type

public static final SubLObject inference_type(SubLObject inference)

inference_data

public static final SubLObject inference_data(SubLObject inference)

set_inference_input_mt

public static final SubLObject set_inference_input_mt(SubLObject inference,
                                                      SubLObject mt)

set_inference_input_el_query

public static final SubLObject set_inference_input_el_query(SubLObject inference,
                                                            SubLObject el_query)

set_inference_input_non_explanatory_el_query

public static final SubLObject set_inference_input_non_explanatory_el_query(SubLObject inference,
                                                                            SubLObject el_query)

set_inference_input_query_properties

public static final SubLObject set_inference_input_query_properties(SubLObject inference,
                                                                    SubLObject query_properties)

set_inference_mt

public static final SubLObject set_inference_mt(SubLObject inference,
                                                SubLObject mt)

set_inference_el_query

public static final SubLObject set_inference_el_query(SubLObject inference,
                                                      SubLObject el_query)

set_inference_el_bindings

public static final SubLObject set_inference_el_bindings(SubLObject inference,
                                                         SubLObject el_bindings)

set_inference_hl_query

public static final SubLObject set_inference_hl_query(SubLObject inference,
                                                      SubLObject hl_query)

set_inference_explanatory_subquery

public static final SubLObject set_inference_explanatory_subquery(SubLObject inference,
                                                                  SubLObject explanatory_subquery)

set_inference_non_explanatory_subquery

public static final SubLObject set_inference_non_explanatory_subquery(SubLObject inference,
                                                                      SubLObject non_explanatory_subquery)

set_inference_free_hl_vars

public static final SubLObject set_inference_free_hl_vars(SubLObject inference,
                                                          SubLObject free_hl_vars)

set_inference_hypothetical_bindings

public static final SubLObject set_inference_hypothetical_bindings(SubLObject inference,
                                                                   SubLObject hypothetical_bindings)

set_inference_status

public static final SubLObject set_inference_status(SubLObject inference,
                                                    SubLObject status)

set_inference_suspend_status

public static final SubLObject set_inference_suspend_status(SubLObject inference,
                                                            SubLObject suspend_status)

set_inference_root_link

public static final SubLObject set_inference_root_link(SubLObject inference,
                                                       SubLObject root_link)

set_inference_control_process

public static final SubLObject set_inference_control_process(SubLObject inference,
                                                             SubLObject process)

set_inference_max_transformation_depth_reached

public static final SubLObject set_inference_max_transformation_depth_reached(SubLObject inference,
                                                                              SubLObject depth)

set_inference_disjunction_free_el_vars_policy

public static final SubLObject set_inference_disjunction_free_el_vars_policy(SubLObject inference,
                                                                             SubLObject disjunction_free_el_vars_policy)

set_inference_result_uniqueness_criterion

public static final SubLObject set_inference_result_uniqueness_criterion(SubLObject inference,
                                                                         SubLObject criterion)

set_inference_allow_hl_predicate_transformation

public static final SubLObject set_inference_allow_hl_predicate_transformation(SubLObject inference,
                                                                               SubLObject allowP)

set_inference_allow_unbound_predicate_transformation

public static final SubLObject set_inference_allow_unbound_predicate_transformation(SubLObject inference,
                                                                                    SubLObject allowP)

set_inference_allow_evaluatable_predicate_transformation

public static final SubLObject set_inference_allow_evaluatable_predicate_transformation(SubLObject inference,
                                                                                        SubLObject allowP)

set_inference_allow_indeterminate_results

public static final SubLObject set_inference_allow_indeterminate_results(SubLObject inference,
                                                                         SubLObject allowP)

set_inference_allowed_rules

public static final SubLObject set_inference_allowed_rules(SubLObject inference,
                                                           SubLObject allowed_rules)

set_inference_forbidden_rules

public static final SubLObject set_inference_forbidden_rules(SubLObject inference,
                                                             SubLObject forbidden_rules)

set_inference_allowed_modules

public static final SubLObject set_inference_allowed_modules(SubLObject inference,
                                                             SubLObject allowed_modules)

set_inference_allow_abnormality_checking

public static final SubLObject set_inference_allow_abnormality_checking(SubLObject inference,
                                                                        SubLObject allowP)

set_inference_transitive_closure_mode

public static final SubLObject set_inference_transitive_closure_mode(SubLObject inference,
                                                                     SubLObject transitive_closure_mode)

set_inference_problem_store_private

public static final SubLObject set_inference_problem_store_private(SubLObject inference,
                                                                   SubLObject privateP)

set_inference_continuable

public static final SubLObject set_inference_continuable(SubLObject inference,
                                                         SubLObject continuableP)

set_inference_browsable

public static final SubLObject set_inference_browsable(SubLObject inference,
                                                       SubLObject browsableP)

set_inference_return_type

public static final SubLObject set_inference_return_type(SubLObject inference,
                                                         SubLObject return_type)

set_inference_answer_language

public static final SubLObject set_inference_answer_language(SubLObject inference,
                                                             SubLObject answer_language)

set_inference_cache_results

public static final SubLObject set_inference_cache_results(SubLObject inference,
                                                           SubLObject cache_resultsP)

clear_inference_blocking

public static final SubLObject clear_inference_blocking(SubLObject inference)

set_inference_max_number

public static final SubLObject set_inference_max_number(SubLObject inference,
                                                        SubLObject max_number)

set_inference_max_time

public static final SubLObject set_inference_max_time(SubLObject inference,
                                                      SubLObject max_time)

set_inference_max_step

public static final SubLObject set_inference_max_step(SubLObject inference,
                                                      SubLObject max_step)

set_inference_mode

public static final SubLObject set_inference_mode(SubLObject inference,
                                                  SubLObject mode)

set_inference_forward_max_time

public static final SubLObject set_inference_forward_max_time(SubLObject inference,
                                                              SubLObject forward_max_time)

set_inference_max_proof_depth

public static final SubLObject set_inference_max_proof_depth(SubLObject inference,
                                                             SubLObject max_proof_depth)

set_inference_max_transformation_depth

public static final SubLObject set_inference_max_transformation_depth(SubLObject inference,
                                                                      SubLObject max_transformation_depth)

set_inference_probably_approximately_done

public static final SubLObject set_inference_probably_approximately_done(SubLObject inference,
                                                                         SubLObject probability)

set_inference_metrics_template

public static final SubLObject set_inference_metrics_template(SubLObject inference,
                                                              SubLObject metrics_template)

set_inference_start_universal_time

public static final SubLObject set_inference_start_universal_time(SubLObject inference,
                                                                  SubLObject universal_time)

set_inference_start_internal_real_time

public static final SubLObject set_inference_start_internal_real_time(SubLObject inference,
                                                                      SubLObject internal_real_time)

set_inference_end_internal_real_time

public static final SubLObject set_inference_end_internal_real_time(SubLObject inference,
                                                                    SubLObject end_internal_real_time)

set_inference_pad_internal_real_time

public static final SubLObject set_inference_pad_internal_real_time(SubLObject inference,
                                                                    SubLObject pad_internal_real_time)

set_inference_cumulative_time

public static final SubLObject set_inference_cumulative_time(SubLObject inference,
                                                             SubLObject cumulative_time)

set_inference_step_count

public static final SubLObject set_inference_step_count(SubLObject inference,
                                                        SubLObject step_count)

increment_inference_step_count

public static final SubLObject increment_inference_step_count(SubLObject inference)

set_inference_cumulative_step_count

public static final SubLObject set_inference_cumulative_step_count(SubLObject inference,
                                                                   SubLObject cumulative_step_count)

increment_inference_cumulative_step_count

public static final SubLObject increment_inference_cumulative_step_count(SubLObject inference)

set_inference_events

public static final SubLObject set_inference_events(SubLObject inference,
                                                    SubLObject event_types)

set_inference_halt_conditions

public static final SubLObject set_inference_halt_conditions(SubLObject inference,
                                                             SubLObject halt_conditions)

set_inference_type

public static final SubLObject set_inference_type(SubLObject inference,
                                                  SubLObject type)

inference_ids

public static final SubLObject inference_ids(SubLObject inference)

inference_no_free_hl_varsP

public static final SubLObject inference_no_free_hl_varsP(SubLObject inference)

inference_free_el_vars

public static final SubLObject inference_free_el_vars(SubLObject inference)

inference_root_mapped_problem

public static final SubLObject inference_root_mapped_problem(SubLObject inference)

inference_root_problem

public static final SubLObject inference_root_problem(SubLObject inference)

inference_unique_wrt_bindingsP

public static final SubLObject inference_unique_wrt_bindingsP(SubLObject inference)

inference_compute_answer_justificationsP

public static final SubLObject inference_compute_answer_justificationsP(SubLObject inference)

inference_problem_store_private_wrt_dynamic_propertiesP

public static final SubLObject inference_problem_store_private_wrt_dynamic_propertiesP(SubLObject inference)

Return T iff INFERENCE not only has a private problem store, but the current set of dynamic properties will never be extended.

inference_allows_use_of_all_rulesP

public static final SubLObject inference_allows_use_of_all_rulesP(SubLObject inference)

inference_allows_use_of_ruleP

public static final SubLObject inference_allows_use_of_ruleP(SubLObject inference,
                                                             SubLObject rule)

inference_allows_use_of_all_modulesP

public static final SubLObject inference_allows_use_of_all_modulesP(SubLObject inference)

inference_allows_use_of_moduleP

public static final SubLObject inference_allows_use_of_moduleP(SubLObject inference,
                                                               SubLObject hl_module)

inference_forget_extra_resultsP

public static final SubLObject inference_forget_extra_resultsP(SubLObject inference)

find_inference_answer_by_id

public static final SubLObject find_inference_answer_by_id(SubLObject inference,
                                                           SubLObject id)

inference_maintain_term_working_setP

public static final SubLObject inference_maintain_term_working_setP(SubLObject inference)

inference_halt_condition_presentP

public static final SubLObject inference_halt_condition_presentP(SubLObject inference,
                                                                 SubLObject halt_condition)

compute_inference_pad_internal_real_time

public static final SubLObject compute_inference_pad_internal_real_time(SubLObject inference)

initialize_pad_table

public static final SubLObject initialize_pad_table(SubLObject filename)

probably_approximately_done_cutoff_time

public static final SubLObject probably_approximately_done_cutoff_time(SubLObject probability)

Returns:: positive-potentially-infinite-number-p (seconds or :positive-infinity)

inference_note_transformation_depth

public static final SubLObject inference_note_transformation_depth(SubLObject inference,
                                                                   SubLObject depth)

inference_note_new_transformation_depth_reached

public static final SubLObject inference_note_new_transformation_depth_reached(SubLObject inference,
                                                                               SubLObject depth)

find_inference_answer_by_bindings

public static final SubLObject find_inference_answer_by_bindings(SubLObject inference,
                                                                 SubLObject v_bindings)

new_inference_answer_id

public static final SubLObject new_inference_answer_id(SubLObject inference)

inference_all_answers

public static final SubLObject inference_all_answers(SubLObject inference)

inference_all_new_answers

public static final SubLObject inference_all_new_answers(SubLObject inference)

inference_interrupt_signaledP

public static final SubLObject inference_interrupt_signaledP(SubLObject inference)

inference_answer_count

public static final SubLObject inference_answer_count(SubLObject inference)

forward_inference_p

public static final SubLObject forward_inference_p(SubLObject inference)

abductive_inference_p

public static final SubLObject abductive_inference_p(SubLObject inference)

inference_set_static_properties

public static final SubLObject inference_set_static_properties(SubLObject inference,
                                                               SubLObject static_properties)

update_inference_input_query_properties

public static final SubLObject update_inference_input_query_properties(SubLObject inference,
                                                                       SubLObject input_dynamic_properties)

add_inference_relevant_problem

public static final SubLObject add_inference_relevant_problem(SubLObject inference,
                                                              SubLObject problem)

remove_inference_relevant_problem

public static final SubLObject remove_inference_relevant_problem(SubLObject inference,
                                                                 SubLObject problem)

clear_inference_relevant_problems

public static final SubLObject clear_inference_relevant_problems(SubLObject inference)

add_inference_strategy

public static final SubLObject add_inference_strategy(SubLObject inference,
                                                      SubLObject strategy)

clear_inference_strategy_set

public static final SubLObject clear_inference_strategy_set(SubLObject inference)

reset_inference_new_answer_id

public static final SubLObject reset_inference_new_answer_id(SubLObject inference)

inference_next_new_answer_id

public static final SubLObject inference_next_new_answer_id(SubLObject inference)

add_inference_new_answer_by_id

public static final SubLObject add_inference_new_answer_by_id(SubLObject inference,
                                                              SubLObject answer)

add_inference_new_answer_by_bindings

public static final SubLObject add_inference_new_answer_by_bindings(SubLObject inference,
                                                                    SubLObject answer)

reset_inference_new_answer_justifications

public static final SubLObject reset_inference_new_answer_justifications(SubLObject inference)

add_inference_new_answer_justification

public static final SubLObject add_inference_new_answer_justification(SubLObject inference,
                                                                      SubLObject answer_justification)

Does not check for duplication with existing new justifications

clear_inference_control_process

public static final SubLObject clear_inference_control_process(SubLObject inference)

set_inference_control_process_to_me

public static final SubLObject set_inference_control_process_to_me(SubLObject inference)

increment_inference_cumulative_time

public static final SubLObject increment_inference_cumulative_time(SubLObject inference,
                                                                   SubLObject time_delta)

reset_inference_new_answers

public static final SubLObject reset_inference_new_answers(SubLObject inference)

add_inference_new_answer

public static final SubLObject add_inference_new_answer(SubLObject inference,
                                                        SubLObject answer)

initialize_inference_time_properties

public static final SubLObject initialize_inference_time_properties(SubLObject inference)

finalize_inference_time_properties

public static final SubLObject finalize_inference_time_properties(SubLObject inference)

inference_elapsed_internal_real_time_since_start

public static final SubLObject inference_elapsed_internal_real_time_since_start(SubLObject inference)

inference_time_so_far

public static final SubLObject inference_time_so_far(SubLObject inference,
                                                     SubLObject seconds_granularityP)

Returns:: the time spent so far on the current continuation of this INFERENCE.

simplest_inference_p

public static final SubLObject simplest_inference_p(SubLObject object)

new_simplest_inference

public static final SubLObject new_simplest_inference(SubLObject store)

simplest_inference_strategy

public static final SubLObject simplest_inference_strategy(SubLObject inference)

set_simplest_inference_strategy

public static final SubLObject set_simplest_inference_strategy(SubLObject inference,
                                                               SubLObject strategy)

new_simplest_inference_of_type

public static final SubLObject new_simplest_inference_of_type(SubLObject store,
                                                              SubLObject strategy_type)

inf_answer_suid

public static final SubLObject inf_answer_suid(SubLObject object)

inf_answer_inference

public static final SubLObject inf_answer_inference(SubLObject object)

inf_answer_bindings

public static final SubLObject inf_answer_bindings(SubLObject object)

inf_answer_justifications

public static final SubLObject inf_answer_justifications(SubLObject object)

_csetf_inf_answer_suid

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

_csetf_inf_answer_inference

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

_csetf_inf_answer_bindings

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

_csetf_inf_answer_justifications

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

_csetf_inf_answer_elapsed_creation_time

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

_csetf_inf_answer_step_count

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

make_inference_answer

public static final SubLObject make_inference_answer(SubLObject arglist)

new_inference_answer

public static final SubLObject new_inference_answer(SubLObject inference,
                                                    SubLObject v_bindings)

find_or_create_inference_answer

public static final SubLObject find_or_create_inference_answer(SubLObject inference,
                                                               SubLObject v_bindings)

Returns:: 0 inference-answer-p

inference_answer_suid

public static final SubLObject inference_answer_suid(SubLObject inference_answer)

inference_answer_inference

public static final SubLObject inference_answer_inference(SubLObject inference_answer)

inference_answer_bindings

public static final SubLObject inference_answer_bindings(SubLObject inference_answer)

inference_answer_justifications

public static final SubLObject inference_answer_justifications(SubLObject inference_answer)

set_inference_answer_bindings

public static final SubLObject set_inference_answer_bindings(SubLObject inference_answer,
                                                             SubLObject v_bindings)

set_inference_answer_elapsed_creation_time

public static final SubLObject set_inference_answer_elapsed_creation_time(SubLObject inference_answer,
                                                                          SubLObject elapsed_creation_time)

set_inference_answer_step_count

public static final SubLObject set_inference_answer_step_count(SubLObject inference_answer,
                                                               SubLObject step_count)

find_inference_answer_justification

public static final SubLObject find_inference_answer_justification(SubLObject inference_answer,
                                                                   SubLObject hl_justification)

Returns:: nil or inference-answer-justification-p

inference_answer_result_bindings

public static final SubLObject inference_answer_result_bindings(SubLObject answer)

add_inference_answer_justification

public static final SubLObject add_inference_answer_justification(SubLObject inference_answer,
                                                                  SubLObject justification)

initialize_inference_answer_elapsed_creation_time

public static final SubLObject initialize_inference_answer_elapsed_creation_time(SubLObject inference_answer)

inf_ans_just_answer

public static final SubLObject inf_ans_just_answer(SubLObject object)

inf_ans_just_supports

public static final SubLObject inf_ans_just_supports(SubLObject object)

inf_ans_just_proofs

public static final SubLObject inf_ans_just_proofs(SubLObject object)

_csetf_inf_ans_just_answer

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

_csetf_inf_ans_just_supports

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

_csetf_inf_ans_just_proofs

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

make_inference_answer_justification

public static final SubLObject make_inference_answer_justification(SubLObject arglist)

new_inference_answer_justification

public static final SubLObject new_inference_answer_justification(SubLObject answer,
                                                                  SubLObject supports)

find_or_create_inference_answer_justification

public static final SubLObject find_or_create_inference_answer_justification(SubLObject inference,
                                                                             SubLObject v_bindings,
                                                                             SubLObject supports)

Returns:: 0 inference-answer-justification-p

inference_answer_justification_answer

public static final SubLObject inference_answer_justification_answer(SubLObject justification)

inference_answer_justification_supports

public static final SubLObject inference_answer_justification_supports(SubLObject justification)

add_inference_answer_justification_proof

public static final SubLObject add_inference_answer_justification_proof(SubLObject justification,
                                                                        SubLObject proof)

inference_compute_metrics

public static final SubLObject inference_compute_metrics(SubLObject inference)

inference_compute_metrics_alist

public static final SubLObject inference_compute_metrics_alist(SubLObject inference,
                                                               SubLObject metrics)

Return an alist of the form (METRIC . VALUE) where METRIC is a metric in METRICS and VALUE is the result of that metric when computed on INFERENCE.

inference_problem_working_time_lock

public static final SubLObject inference_problem_working_time_lock(SubLObject inference)

inference_note_tactic_executed

public static final SubLObject inference_note_tactic_executed(SubLObject inference,
                                                              SubLObject tactic)

inference_note_problem_pending

public static final SubLObject inference_note_problem_pending(SubLObject inference,
                                                              SubLObject problem)

possibly_signal_new_inference_answer

public static final SubLObject possibly_signal_new_inference_answer(SubLObject inference,
                                                                    SubLObject new_answer)

Called immediately after the creation of NEW-ANSWER

possibly_signal_inference_status_change

public static final SubLObject possibly_signal_inference_status_change(SubLObject inference)

Called immediately after the status change

possibly_signal_inference_new_transformation_depth_reached

public static final SubLObject possibly_signal_inference_new_transformation_depth_reached(SubLObject inference,
                                                                                          SubLObject new_depth)

declare_inference_datastructures_inference_file

public static final SubLObject declare_inference_datastructures_inference_file()

init_inference_datastructures_inference_file

public static final SubLObject init_inference_datastructures_inference_file()

setup_inference_datastructures_inference_file

public static final SubLObject setup_inference_datastructures_inference_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_inference

me

myName

$dtp_inference$

$dtp_inference_answer$

$dtp_inference_answer_justification$

$list0

$sym1$INFERENCE

$sym2$INFERENCE_P

$list3

$list4

$list5

$list6

$sym7$PRINT_INFERENCE

$int8$21

$int9$22

$int10$23

$int11$24

$int12$25

$int13$26

$int14$27

$int15$28

$int16$29

$int17$30

$int18$31

$int19$32

$int20$33

$int21$34

$int22$35

$int23$36

$int24$37

$int25$38

$int26$39

$int27$40

$int28$41

$int29$42

$int30$43

$int31$44

$int32$45

$int33$46

$int34$47

$int35$48

$int36$49

$int37$50

$int38$51

$int39$52

$int40$53

$int41$54

$int42$55

$int43$56

$int44$57

$int45$58

$int46$59

$int47$60

$int48$61

$int49$62

$int50$63

$int51$64

$int52$65

$int53$66

$int54$67

$int55$68

$int56$69

$sym57$INFERENCE_PRINT_FUNCTION_TRAMPOLINE

$sym58$INFRNC_SUID

$sym59$_CSETF_INFRNC_SUID

$sym60$INFRNC_PROBLEM_STORE

$sym61$_CSETF_INFRNC_PROBLEM_STORE

$sym62$INFRNC_FORWARD_PROPAGATE

$sym63$_CSETF_INFRNC_FORWARD_PROPAGATE

$sym64$INFRNC_INPUT_MT

$sym65$_CSETF_INFRNC_INPUT_MT

$sym66$INFRNC_INPUT_EL_QUERY

$sym67$_CSETF_INFRNC_INPUT_EL_QUERY

$sym68$INFRNC_INPUT_NON_EXPLANATORY_EL_QUERY

$sym69$_CSETF_INFRNC_INPUT_NON_EXPLANATORY_EL_QUERY

$sym70$INFRNC_INPUT_QUERY_PROPERTIES

$sym71$_CSETF_INFRNC_INPUT_QUERY_PROPERTIES

$sym72$INFRNC_MT

$sym73$_CSETF_INFRNC_MT

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