inference_metrics

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_metrics

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class inference_metrics
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`inference_metrics.$inference_metric_native`
`static class`	`inference_metrics.$inference_metric_p$UnaryFunction`

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

Field Summary
`static SubLSymbol`	$dtp_inference_metric$
`static SubLSymbol`	$gathering_forward_inference_metricsP$ Whether we are gathering metrics on the expense of forward inference.
`static SubLInteger`	`$int272$1000`
`static SubLInteger`	`$int381$100`
`static SubLSymbol`	`$kw100$GOOD_PROBLEM_COUNT`
`static SubLSymbol`	`$kw102$NEUTRAL_PROBLEM_COUNT`
`static SubLSymbol`	`$kw104$NO_GOOD_PROBLEM_COUNT`
`static SubLSymbol`	`$kw106$SINGLE_LITERAL_PROBLEM_COUNT`
`static SubLSymbol`	`$kw108$CONJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$kw110$JOIN_PROBLEM_COUNT`
`static SubLSymbol`	`$kw112$SPLIT_PROBLEM_COUNT`
`static SubLSymbol`	`$kw114$DISJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$kw116$UNEXAMINED_PROBLEM_COUNT`
`static SubLSymbol`	`$kw118$EXAMINED_PROBLEM_COUNT`
`static SubLSymbol`	`$kw120$POSSIBLE_PROBLEM_COUNT`
`static SubLSymbol`	`$kw122$PENDING_PROBLEM_COUNT`
`static SubLSymbol`	`$kw124$FINISHED_PROBLEM_COUNT`
`static SubLSymbol`	`$kw126$UNMANIFESTED_NON_FOCAL_COUNT`
`static SubLSymbol`	`$kw128$TRANSFORMATION_RULE_BINDINGS_TO_CLOSED`
`static SubLSymbol`	`$kw130$PROBLEM_QUERIES`
`static SubLSymbol`	`$kw132$ANSWER_TIMES`
`static SubLSymbol`	`$kw134$ANSWER_STEP_COUNTS`
`static SubLSymbol`	`$kw136$PROBLEMATIC_RESIDUAL_TRANSFORMATION_LINK_COUNT`
`static SubLSymbol`	`$kw138$ESTIMATED_EXHAUSTIVE_NEW_ROOT_COUNT`
`static SubLSymbol`	`$kw140$TOP_LEVEL_REMOVAL_FANOUT`
`static SubLSymbol`	`$kw142$NEW_ROOT_INITIAL_REMOVAL_FANOUTS`
`static SubLSymbol`	`$kw144$PROOF_QUERY_PROPERTIES`
`static SubLSymbol`	`$kw146$ANSWER_PROOF_SPECS`
`static SubLSymbol`	`$kw148$INFERENCE_PROOF_SPEC`
`static SubLSymbol`	`$kw150$EXECUTED_REMOVAL_TACTIC_PRODUCTIVITIES`
`static SubLSymbol`	`$kw152$UNEXAMINED_GOOD_PROBLEM_COUNT`
`static SubLSymbol`	`$kw154$EXAMINED_GOOD_PROBLEM_COUNT`
`static SubLSymbol`	`$kw156$POSSIBLE_GOOD_PROBLEM_COUNT`
`static SubLSymbol`	`$kw158$PENDING_GOOD_PROBLEM_COUNT`
`static SubLSymbol`	`$kw160$FINISHED_GOOD_PROBLEM_COUNT`
`static SubLSymbol`	`$kw162$UNEXAMINED_NEUTRAL_PROBLEM_COUNT`
`static SubLSymbol`	`$kw164$EXAMINED_NEUTRAL_PROBLEM_COUNT`
`static SubLSymbol`	`$kw166$POSSIBLE_NEUTRAL_PROBLEM_COUNT`
`static SubLSymbol`	`$kw168$PENDING_NEUTRAL_PROBLEM_COUNT`
`static SubLSymbol`	`$kw17$NAME`
`static SubLSymbol`	`$kw170$FINISHED_NEUTRAL_PROBLEM_COUNT`
`static SubLSymbol`	`$kw172$UNEXAMINED_NO_GOOD_PROBLEM_COUNT`
`static SubLSymbol`	`$kw174$EXAMINED_NO_GOOD_PROBLEM_COUNT`
`static SubLSymbol`	`$kw176$POSSIBLE_NO_GOOD_PROBLEM_COUNT`
`static SubLSymbol`	`$kw178$PENDING_NO_GOOD_PROBLEM_COUNT`
`static SubLSymbol`	`$kw18$EVALUATION_FUNC`
`static SubLSymbol`	`$kw180$FINISHED_NO_GOOD_PROBLEM_COUNT`
`static SubLSymbol`	`$kw182$GOOD_SINGLE_LITERAL_PROBLEM_COUNT`
`static SubLSymbol`	`$kw184$GOOD_CONJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$kw186$GOOD_JOIN_PROBLEM_COUNT`
`static SubLSymbol`	`$kw188$GOOD_SPLIT_PROBLEM_COUNT`
`static SubLSymbol`	`$kw19$EVALUATION_ARG1`
`static SubLSymbol`	`$kw190$GOOD_DISJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$kw192$NEUTRAL_SINGLE_LITERAL_PROBLEM_COUNT`
`static SubLSymbol`	`$kw194$NEUTRAL_CONJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$kw196$NEUTRAL_JOIN_PROBLEM_COUNT`
`static SubLSymbol`	`$kw198$NEUTRAL_SPLIT_PROBLEM_COUNT`
`static SubLSymbol`	`$kw20$CROSS_PRODUCT_`
`static SubLSymbol`	`$kw200$NEUTRAL_DISJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$kw202$NO_GOOD_SINGLE_LITERAL_PROBLEM_COUNT`
`static SubLSymbol`	`$kw204$NO_GOOD_CONJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$kw206$NO_GOOD_JOIN_PROBLEM_COUNT`
`static SubLSymbol`	`$kw208$NO_GOOD_SPLIT_PROBLEM_COUNT`
`static SubLSymbol`	`$kw210$NO_GOOD_DISJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$kw212$UNEXAMINED_SINGLE_LITERAL_PROBLEM_COUNT`
`static SubLSymbol`	`$kw214$UNEXAMINED_CONJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$kw216$UNEXAMINED_JOIN_PROBLEM_COUNT`
`static SubLSymbol`	`$kw218$UNEXAMINED_SPLIT_PROBLEM_COUNT`
`static SubLSymbol`	`$kw220$UNEXAMINED_DISJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$kw222$EXAMINED_SINGLE_LITERAL_PROBLEM_COUNT`
`static SubLSymbol`	`$kw224$EXAMINED_CONJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$kw226$EXAMINED_JOIN_PROBLEM_COUNT`
`static SubLSymbol`	`$kw228$EXAMINED_SPLIT_PROBLEM_COUNT`
`static SubLSymbol`	`$kw230$EXAMINED_DISJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$kw232$POSSIBLE_SINGLE_LITERAL_PROBLEM_COUNT`
`static SubLSymbol`	`$kw234$POSSIBLE_CONJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$kw236$POSSIBLE_JOIN_PROBLEM_COUNT`
`static SubLSymbol`	`$kw238$POSSIBLE_SPLIT_PROBLEM_COUNT`
`static SubLSymbol`	`$kw240$POSSIBLE_DISJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$kw242$PENDING_SINGLE_LITERAL_PROBLEM_COUNT`
`static SubLSymbol`	`$kw244$PENDING_CONJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$kw246$PENDING_JOIN_PROBLEM_COUNT`
`static SubLSymbol`	`$kw248$PENDING_SPLIT_PROBLEM_COUNT`
`static SubLSymbol`	`$kw250$PENDING_DISJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$kw252$FINISHED_SINGLE_LITERAL_PROBLEM_COUNT`
`static SubLSymbol`	`$kw254$FINISHED_CONJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$kw256$FINISHED_JOIN_PROBLEM_COUNT`
`static SubLSymbol`	`$kw258$FINISHED_SPLIT_PROBLEM_COUNT`
`static SubLSymbol`	`$kw260$FINISHED_DISJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$kw262$SKSI_QUERY_TOTAL_TIME`
`static SubLSymbol`	`$kw264$SKSI_QUERY_START_TIMES`
`static SubLSymbol`	`$kw266$SPARQL_QUERY_PROFILE`
`static SubLSymbol`	`$kw284$REMOVAL`
`static SubLSymbol`	`$kw285$TRANSFORMATION`
`static SubLSymbol`	`$kw286$REWRITE`
`static SubLSymbol`	`$kw29$STORE`
`static SubLSymbol`	`$kw30$INFERENCE`
`static SubLSymbol`	`$kw304$SKSI_QUERY_TOTAL_TIME_ACC`
`static SubLSymbol`	`$kw305$SKSI_QUERY_START_TIMES_ACC`
`static SubLSymbol`	`$kw306$SPARQL_QUERY_PROFILE_ACC`
`static SubLSymbol`	`$kw309$ALLOW_OTHER_KEYS`
`static SubLSymbol`	`$kw310$BROWSABLE_`
`static SubLSymbol`	`$kw317$THRESHOLD`
`static SubLSymbol`	`$kw331$RULE`
`static SubLSymbol`	`$kw332$TIME`
`static SubLSymbol`	`$kw333$TRIGGER_GAFS`
`static SubLSymbol`	`$kw334$INFERENCE_COUNT`
`static SubLSymbol`	`$kw335$INFERENCES`
`static SubLSymbol`	`$kw336$TOTAL_INFERENCES`
`static SubLSymbol`	`$kw337$TOTAL_RULES`
`static SubLSymbol`	`$kw338$AVERAGE_INFERENCES_PER_RULE`
`static SubLSymbol`	`$kw339$STDEV_INFERENCES_PER_RULE`
`static SubLSymbol`	`$kw34$ANSWER_COUNT`
`static SubLSymbol`	`$kw340$AVERAGE_TIME_PER_RULE`
`static SubLSymbol`	`$kw341$STDEV_TIME_PER_RULE`
`static SubLSymbol`	`$kw342$AVERAGE_TIME_PER_INFERENCE`
`static SubLSymbol`	`$kw343$STDEV_TIME_PER_INFERENCE`
`static SubLSymbol`	`$kw36$ANSWER_COUNT_AT_30_SECONDS`
`static SubLSymbol`	`$kw38$ANSWER_COUNT_AT_60_SECONDS`
`static SubLSymbol`	`$kw40$TIME_TO_FIRST_ANSWER`
`static SubLSymbol`	`$kw42$TIME_TO_LAST_ANSWER`
`static SubLSymbol`	`$kw44$TOTAL_TIME`
`static SubLSymbol`	`$kw46$TIME_PER_ANSWER`
`static SubLSymbol`	`$kw48$STEPS_TO_FIRST_ANSWER`
`static SubLSymbol`	`$kw50$STEPS_TO_LAST_ANSWER`
`static SubLSymbol`	`$kw52$TOTAL_STEPS`
`static SubLSymbol`	`$kw54$STEPS_PER_ANSWER`
`static SubLSymbol`	`$kw56$WASTED_TIME_AFTER_LAST_ANSWER`
`static SubLSymbol`	`$kw58$LATENCY_IMPROVEMENT_FROM_ITERATIVITY`
`static SubLSymbol`	`$kw60$PROBLEM_COUNT`
`static SubLSymbol`	`$kw62$PROBLEM_STORE_PROBLEM_COUNT`
`static SubLSymbol`	`$kw63$PROOF_COUNT`
`static SubLSymbol`	`$kw65$PROBLEM_STORE_PROOF_COUNT`
`static SubLSymbol`	`$kw66$LINK_COUNT`
`static SubLSymbol`	`$kw68$TACTIC_COUNT`
`static SubLSymbol`	`$kw70$POSSIBLE_TACTIC_COUNT`
`static SubLSymbol`	`$kw72$EXECUTED_TACTIC_COUNT`
`static SubLSymbol`	`$kw74$TACTIC_EXECUTION_COUNT`
`static SubLSymbol`	`$kw76$DISCARDED_TACTIC_COUNT`
`static SubLSymbol`	`$kw78$CONTENT_LINK_COUNT`
`static SubLSymbol`	`$kw80$REMOVAL_LINK_COUNT`
`static SubLSymbol`	`$kw82$REWRITE_LINK_COUNT`
`static SubLSymbol`	`$kw84$TRANSFORMATION_LINK_COUNT`
`static SubLSymbol`	`$kw86$STRUCTURAL_LINK_COUNT`
`static SubLSymbol`	`$kw88$JOIN_ORDERED_LINK_COUNT`
`static SubLSymbol`	`$kw90$JOIN_LINK_COUNT`
`static SubLSymbol`	`$kw92$SPLIT_LINK_COUNT`
`static SubLSymbol`	`$kw94$RESTRICTION_LINK_COUNT`
`static SubLSymbol`	`$kw96$RESIDUAL_TRANSFORMATION_LINK_COUNT`
`static SubLSymbol`	`$kw98$UNION_LINK_COUNT`
`static SubLList`	`$list0`
`static SubLList`	`$list3`
`static SubLList`	`$list307`
`static SubLList`	`$list308`
`static SubLList`	`$list312`
`static SubLList`	`$list314`
`static SubLList`	`$list315`
`static SubLList`	`$list316`
`static SubLList`	`$list321`
`static SubLList`	`$list33`
`static SubLList`	`$list330`
`static SubLList`	`$list344`
`static SubLList`	`$list345`
`static SubLList`	`$list4`
`static SubLList`	`$list5`
`static SubLList`	`$list6`
`static SubLString`	`$str21$Invalid_slot__S_for_construction_`
`static SubLString`	`$str22$_INFERENCE_METRIC___s_`
`static SubLString`	`$str273$Forward__S_contained__S_problems`
`static SubLString`	`$str31$Unhandled_inference_metric_evalua`
`static SubLString`	`$str346$___6F____S____S__a__S`
`static SubLString`	`$str347$___S`
`static SubLString`	`$str349$__Total_inferences_______________`
`static SubLString`	`$str350$___total_forward__data_directed__`
`static SubLString`	`$str351$____successful_forward___________`
`static SubLString`	`$str352$___total_backward__query_directed`
`static SubLString`	`$str353$____successful_backward__________`
`static SubLString`	`$str354$___avg_relevant_problem_count____`
`static SubLString`	`$str355$__Total_problem_stores___________`
`static SubLString`	`$str356$___total_forward___data_directed_`
`static SubLString`	`$str357$___max_problem_store_problem_coun`
`static SubLString`	`$str358$___avg_problem_store_problem_coun`
`static SubLString`	`$str359$___max_forward_problem_store_prob`
`static SubLString`	`$str360$___avg_forward_problem_store_prob`
`static SubLString`	`$str361$__Total_problems_____________6___`
`static SubLString`	`$str362$___total_good_problems_______6___`
`static SubLString`	`$str363$___total_no_good_problems____6___`
`static SubLString`	`$str364$___total_forward_problems____6___`
`static SubLString`	`$str365$___total_problem_reuses______6___`
`static SubLString`	`$str366$____problem_reuse_ratio______6___`
`static SubLString`	`$str367$__Total_problem_links________6___`
`static SubLString`	`$str368$___total_structural_links____6___`
`static SubLString`	`$str369$___total_content_links_______6___`
`static SubLString`	`$str370$____removal_links____________6___`
`static SubLString`	`$str371$____transformation_links_____6___`
`static SubLString`	`$str372$__Total_tactics_______6___D`
`static SubLString`	`$str373$___total_executed_____6___D`
`static SubLString`	`$str374$___total_discarded____6___D`
`static SubLString`	`$str375$__Total_SBHL_cache_calls______9__`
`static SubLString`	`$str376$___successful_________________9__`
`static SubLString`	`$str377$__Total_SBHL_graph_walks______9__`
`static SubLString`	`$str378$__Total_unification_attempts____6`
`static SubLString`	`$str379$___successful_unifications______6`
`static SubLString`	`$str380$__Total_proofs____6___D`
`static SubLString`	`$str382$___2___D___`
`static SubLString`	`$str383$___3___D___`
`static SubLString`	`$str384$___D___`
`static SubLSymbol`	`$sym1$INFERENCE_METRIC`
`static SubLSymbol`	`$sym10$_CSETF_INF_METRIC_NAME`
`static SubLSymbol`	`$sym101$PROBLEM_STORE_GOOD_PROBLEM_COUNT`
`static SubLSymbol`	`$sym103$PROBLEM_STORE_NEUTRAL_PROBLEM_COUNT`
`static SubLSymbol`	`$sym105$PROBLEM_STORE_NO_GOOD_PROBLEM_COUNT`
`static SubLSymbol`	`$sym107$PROBLEM_STORE_SINGLE_LITERAL_PROBLEM_COUNT`
`static SubLSymbol`	`$sym109$PROBLEM_STORE_CONJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$sym11$INF_METRIC_EVALUATION_FUNC`
`static SubLSymbol`	`$sym111$PROBLEM_STORE_JOIN_PROBLEM_COUNT`
`static SubLSymbol`	`$sym113$PROBLEM_STORE_SPLIT_PROBLEM_COUNT`
`static SubLSymbol`	`$sym115$PROBLEM_STORE_DISJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$sym117$PROBLEM_STORE_UNEXAMINED_PROBLEM_COUNT`
`static SubLSymbol`	`$sym119$PROBLEM_STORE_EXAMINED_PROBLEM_COUNT`
`static SubLSymbol`	`$sym12$_CSETF_INF_METRIC_EVALUATION_FUNC`
`static SubLSymbol`	`$sym121$PROBLEM_STORE_POSSIBLE_PROBLEM_COUNT`
`static SubLSymbol`	`$sym123$PROBLEM_STORE_PENDING_PROBLEM_COUNT`
`static SubLSymbol`	`$sym125$PROBLEM_STORE_FINISHED_PROBLEM_COUNT`
`static SubLSymbol`	`$sym127$PROBLEM_STORE_UNMANIFESTED_NON_FOCAL_COUNT`
`static SubLSymbol`	`$sym129$PROBLEM_STORE_TRANSFORMATION_RULE_BINDINGS_TO_CLOSED`
`static SubLSymbol`	`$sym13$INF_METRIC_EVALUATION_ARG1`
`static SubLSymbol`	`$sym131$PROBLEM_STORE_ALL_PROBLEM_QUERIES`
`static SubLSymbol`	`$sym133$INFERENCE_ANSWER_TIMES`
`static SubLSymbol`	`$sym135$INFERENCE_ANSWER_STEP_COUNTS`
`static SubLSymbol`	`$sym137$PROBLEM_STORE_PROBLEMATIC_RESIDUAL_TRANSFORMATION_LINK_COUNT`
`static SubLSymbol`	`$sym139$INFERENCE_TRANSFORMATION_FANOUT_ESTIMATE`
`static SubLSymbol`	`$sym14$_CSETF_INF_METRIC_EVALUATION_ARG1`
`static SubLSymbol`	`$sym141$INFERENCE_TOP_LEVEL_REMOVAL_FANOUT`
`static SubLSymbol`	`$sym143$INFERENCE_NEW_ROOT_INITIAL_REMOVAL_FANOUTS`
`static SubLSymbol`	`$sym145$INFERENCE_COMPUTE_PROOF_QUERY_PROPERTIES`
`static SubLSymbol`	`$sym147$INFERENCE_ALL_ANSWER_PROOF_SPECS`
`static SubLSymbol`	`$sym149$INFERENCE_PROOF_SPEC`
`static SubLSymbol`	`$sym15$INF_METRIC_CROSS_PRODUCT_`
`static SubLSymbol`	`$sym151$PROBLEM_STORE_EXECUTED_REMOVAL_TACTIC_PRODUCTIVITIES`
`static SubLSymbol`	`$sym153$PROBLEM_STORE_UNEXAMINED_GOOD_PROBLEM_COUNT`
`static SubLSymbol`	`$sym155$PROBLEM_STORE_EXAMINED_GOOD_PROBLEM_COUNT`
`static SubLSymbol`	`$sym157$PROBLEM_STORE_POSSIBLE_GOOD_PROBLEM_COUNT`
`static SubLSymbol`	`$sym159$PROBLEM_STORE_PENDING_GOOD_PROBLEM_COUNT`
`static SubLSymbol`	`$sym16$_CSETF_INF_METRIC_CROSS_PRODUCT_`
`static SubLSymbol`	`$sym161$PROBLEM_STORE_FINISHED_GOOD_PROBLEM_COUNT`
`static SubLSymbol`	`$sym163$PROBLEM_STORE_UNEXAMINED_NEUTRAL_PROBLEM_COUNT`
`static SubLSymbol`	`$sym165$PROBLEM_STORE_EXAMINED_NEUTRAL_PROBLEM_COUNT`
`static SubLSymbol`	`$sym167$PROBLEM_STORE_POSSIBLE_NEUTRAL_PROBLEM_COUNT`
`static SubLSymbol`	`$sym169$PROBLEM_STORE_PENDING_NEUTRAL_PROBLEM_COUNT`
`static SubLSymbol`	`$sym171$PROBLEM_STORE_FINISHED_NEUTRAL_PROBLEM_COUNT`
`static SubLSymbol`	`$sym173$PROBLEM_STORE_UNEXAMINED_NO_GOOD_PROBLEM_COUNT`
`static SubLSymbol`	`$sym175$PROBLEM_STORE_EXAMINED_NO_GOOD_PROBLEM_COUNT`
`static SubLSymbol`	`$sym177$PROBLEM_STORE_POSSIBLE_NO_GOOD_PROBLEM_COUNT`
`static SubLSymbol`	`$sym179$PROBLEM_STORE_PENDING_NO_GOOD_PROBLEM_COUNT`
`static SubLSymbol`	`$sym181$PROBLEM_STORE_FINISHED_NO_GOOD_PROBLEM_COUNT`
`static SubLSymbol`	`$sym183$PROBLEM_STORE_GOOD_SINGLE_LITERAL_PROBLEM_COUNT`
`static SubLSymbol`	`$sym185$PROBLEM_STORE_GOOD_CONJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$sym187$PROBLEM_STORE_GOOD_JOIN_PROBLEM_COUNT`
`static SubLSymbol`	`$sym189$PROBLEM_STORE_GOOD_SPLIT_PROBLEM_COUNT`
`static SubLSymbol`	`$sym191$PROBLEM_STORE_GOOD_DISJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$sym193$PROBLEM_STORE_NEUTRAL_SINGLE_LITERAL_PROBLEM_COUNT`
`static SubLSymbol`	`$sym195$PROBLEM_STORE_NEUTRAL_CONJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$sym197$PROBLEM_STORE_NEUTRAL_JOIN_PROBLEM_COUNT`
`static SubLSymbol`	`$sym199$PROBLEM_STORE_NEUTRAL_SPLIT_PROBLEM_COUNT`
`static SubLSymbol`	`$sym2$INFERENCE_METRIC_P`
`static SubLSymbol`	`$sym201$PROBLEM_STORE_NEUTRAL_DISJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$sym203$PROBLEM_STORE_NO_GOOD_SINGLE_LITERAL_PROBLEM_COUNT`
`static SubLSymbol`	`$sym205$PROBLEM_STORE_NO_GOOD_CONJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$sym207$PROBLEM_STORE_NO_GOOD_JOIN_PROBLEM_COUNT`
`static SubLSymbol`	`$sym209$PROBLEM_STORE_NO_GOOD_SPLIT_PROBLEM_COUNT`
`static SubLSymbol`	`$sym211$PROBLEM_STORE_NO_GOOD_DISJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$sym213$PROBLEM_STORE_UNEXAMINED_SINGLE_LITERAL_PROBLEM_COUNT`
`static SubLSymbol`	`$sym215$PROBLEM_STORE_UNEXAMINED_CONJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$sym217$PROBLEM_STORE_UNEXAMINED_JOIN_PROBLEM_COUNT`
`static SubLSymbol`	`$sym219$PROBLEM_STORE_UNEXAMINED_SPLIT_PROBLEM_COUNT`
`static SubLSymbol`	`$sym221$PROBLEM_STORE_UNEXAMINED_DISJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$sym223$PROBLEM_STORE_EXAMINED_SINGLE_LITERAL_PROBLEM_COUNT`
`static SubLSymbol`	`$sym225$PROBLEM_STORE_EXAMINED_CONJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$sym227$PROBLEM_STORE_EXAMINED_JOIN_PROBLEM_COUNT`
`static SubLSymbol`	`$sym229$PROBLEM_STORE_EXAMINED_SPLIT_PROBLEM_COUNT`
`static SubLSymbol`	`$sym23$KEYWORDP`
`static SubLSymbol`	`$sym231$PROBLEM_STORE_EXAMINED_DISJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$sym233$PROBLEM_STORE_POSSIBLE_SINGLE_LITERAL_PROBLEM_COUNT`
`static SubLSymbol`	`$sym235$PROBLEM_STORE_POSSIBLE_CONJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$sym237$PROBLEM_STORE_POSSIBLE_JOIN_PROBLEM_COUNT`
`static SubLSymbol`	`$sym239$PROBLEM_STORE_POSSIBLE_SPLIT_PROBLEM_COUNT`
`static SubLSymbol`	`$sym24$SYMBOLP`
`static SubLSymbol`	`$sym241$PROBLEM_STORE_POSSIBLE_DISJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$sym243$PROBLEM_STORE_PENDING_SINGLE_LITERAL_PROBLEM_COUNT`
`static SubLSymbol`	`$sym245$PROBLEM_STORE_PENDING_CONJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$sym247$PROBLEM_STORE_PENDING_JOIN_PROBLEM_COUNT`
`static SubLSymbol`	`$sym249$PROBLEM_STORE_PENDING_SPLIT_PROBLEM_COUNT`
`static SubLSymbol`	`$sym25$INFERENCE_METRIC_EVALUATION_ARG1_P`
`static SubLSymbol`	`$sym251$PROBLEM_STORE_PENDING_DISJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$sym253$PROBLEM_STORE_FINISHED_SINGLE_LITERAL_PROBLEM_COUNT`
`static SubLSymbol`	`$sym255$PROBLEM_STORE_FINISHED_CONJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$sym257$PROBLEM_STORE_FINISHED_JOIN_PROBLEM_COUNT`
`static SubLSymbol`	`$sym259$PROBLEM_STORE_FINISHED_SPLIT_PROBLEM_COUNT`
`static SubLSymbol`	`$sym26$BOOLEANP`
`static SubLSymbol`	`$sym261$PROBLEM_STORE_FINISHED_DISJUNCTIVE_PROBLEM_COUNT`
`static SubLSymbol`	`$sym263$SKSI_QUERY_TOTAL_TIME_ACCUMULATOR_LOOKUP`
`static SubLSymbol`	`$sym265$SKSI_QUERY_START_TIMES_ACCUMULATOR_LOOKUP`
`static SubLSymbol`	`$sym267$SPARQL_QUERY_PROFILE_ACCUMULATOR_LOOKUP`
`static SubLSymbol`	`$sym268$_PROBLEM_STORE_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym269$_FORWARD_PROBLEM_STORE_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym27$INFERENCE_P`
`static SubLSymbol`	`$sym270$_MAXIMUM_PROBLEM_STORE_HISTORICAL_PROBLEM_COUNT_`
`static SubLSymbol`	`$sym271$_MAXIMUM_FORWARD_PROBLEM_STORE_HISTORICAL_PROBLEM_COUNT_`
`static SubLSymbol`	`$sym274$_PROBLEM_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym275$_GOOD_PROBLEM_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym276$_NO_GOOD_PROBLEM_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym277$_FORWARD_PROBLEM_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym278$_SINGLE_LITERAL_PROBLEM_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym279$_PROBLEM_LINK_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym28$PROBLEM_STORE_P`
`static SubLSymbol`	`$sym280$_STRUCTURAL_LINK_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym281$_CONTENT_LINK_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym282$_REMOVAL_LINK_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym283$_TRANSFORMATION_LINK_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym287$_DEPENDENT_LINK_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym288$_SINGLE_LITERAL_PROBLEM_DEPENDENT_LINK_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym289$_TACTIC_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym290$_EXECUTED_TACTIC_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym291$_DISCARDED_TACTIC_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym292$_UNIFICATION_ATTEMPT_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym293$_UNIFICATION_SUCCESS_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym294$_SBHL_CACHE_ATTEMPT_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym295$_SBHL_CACHE_SUCCESS_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym296$_SBHL_GRAPH_ATTEMPT_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym297$_SBHL_GRAPH_SUCCESS_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym298$_SBHL_LINK_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym299$_PROOF_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym300$_INFERENCE_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym301$_SUCCESSFUL_INFERENCE_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym302$_FORWARD_INFERENCE_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym303$_SUCCESSFUL_FORWARD_INFERENCE_HISTORICAL_COUNT_`
`static SubLSymbol`	`$sym311$CLET`
`static SubLSymbol`	`$sym313$_BROWSE_FORWARD_INFERENCES__`
`static SubLSymbol`	`$sym318$GATHERING_FORWARD_INFERENCE_METRICS`
`static SubLSymbol`	`$sym319$SHOW_FORWARD_INFERENCE_METRICS`
`static SubLSymbol`	`$sym32$_INFERENCE_METRICS_STORE_`
`static SubLSymbol`	`$sym320$PROGN`
`static SubLSymbol`	`$sym322$SHOW_FORWARD_INFERENCE_METRICS_OF`
`static SubLSymbol`	`$sym323$_FORWARD_INFERENCE_METRICS_TIME_INDEX_`
`static SubLSymbol`	`$sym324$_FORWARD_INFERENCE_METRICS_COUNT_INDEX_`
`static SubLSymbol`	`$sym325$_FORWARD_INFERENCE_METRICS_INFERENCE_INDEX_`
`static SubLSymbol`	`$sym326$VALID_INFERENCE_P`
`static SubLSymbol`	`$sym327$_FORWARD_INFERENCE_METRICS_GAF_INDEX_`
`static SubLSymbol`	`$sym328$_`
`static SubLSymbol`	`$sym329$CDR`
`static SubLSymbol`	`$sym348$DOUBLE_FLOAT`
`static SubLSymbol`	`$sym35$INFERENCE_ANSWER_COUNT`
`static SubLSymbol`	`$sym37$INFERENCE_ANSWER_COUNT_AT_30_SECONDS`
`static SubLSymbol`	`$sym39$INFERENCE_ANSWER_COUNT_AT_60_SECONDS`
`static SubLSymbol`	`$sym41$INFERENCE_FIRST_ANSWER_ELAPSED_TIME`
`static SubLSymbol`	`$sym43$INFERENCE_LAST_ANSWER_ELAPSED_TIME`
`static SubLSymbol`	`$sym45$INFERENCE_CUMULATIVE_TIME`
`static SubLSymbol`	`$sym47$INFERENCE_TIME_PER_ANSWER`
`static SubLSymbol`	`$sym49$INFERENCE_FIRST_ANSWER_STEP_COUNT`
`static SubLSymbol`	`$sym51$INFERENCE_LAST_ANSWER_STEP_COUNT`
`static SubLSymbol`	`$sym53$INFERENCE_CUMULATIVE_STEP_COUNT`
`static SubLSymbol`	`$sym55$INFERENCE_STEPS_PER_ANSWER`
`static SubLSymbol`	`$sym57$INFERENCE_WASTED_TIME_AFTER_LAST_ANSWER`
`static SubLSymbol`	`$sym59$INFERENCE_LATENCY_IMPROVEMENT_FROM_ITERATIVITY`
`static SubLSymbol`	`$sym61$PROBLEM_STORE_PROBLEM_COUNT`
`static SubLSymbol`	`$sym64$PROBLEM_STORE_PROOF_COUNT`
`static SubLSymbol`	`$sym67$PROBLEM_STORE_LINK_COUNT`
`static SubLSymbol`	`$sym69$PROBLEM_STORE_TACTIC_COUNT`
`static SubLSymbol`	`$sym7$PRINT_INFERENCE_METRIC`
`static SubLSymbol`	`$sym71$PROBLEM_STORE_POSSIBLE_TACTIC_COUNT`
`static SubLSymbol`	`$sym73$PROBLEM_STORE_EXECUTED_TACTIC_COUNT`
`static SubLSymbol`	`$sym75$PROBLEM_STORE_TACTIC_EXECUTION_COUNT`
`static SubLSymbol`	`$sym77$PROBLEM_STORE_DISCARDED_TACTIC_COUNT`
`static SubLSymbol`	`$sym79$PROBLEM_STORE_CONTENT_LINK_COUNT`
`static SubLSymbol`	`$sym8$INFERENCE_METRIC_PRINT_FUNCTION_TRAMPOLINE`
`static SubLSymbol`	`$sym81$PROBLEM_STORE_REMOVAL_LINK_COUNT`
`static SubLSymbol`	`$sym83$PROBLEM_STORE_REWRITE_LINK_COUNT`
`static SubLSymbol`	`$sym85$PROBLEM_STORE_TRANSFORMATION_LINK_COUNT`
`static SubLSymbol`	`$sym87$PROBLEM_STORE_STRUCTURAL_LINK_COUNT`
`static SubLSymbol`	`$sym89$PROBLEM_STORE_JOIN_ORDERED_LINK_COUNT`
`static SubLSymbol`	`$sym9$INF_METRIC_NAME`
`static SubLSymbol`	`$sym91$PROBLEM_STORE_JOIN_LINK_COUNT`
`static SubLSymbol`	`$sym93$PROBLEM_STORE_SPLIT_LINK_COUNT`
`static SubLSymbol`	`$sym95$PROBLEM_STORE_RESTRICTION_LINK_COUNT`
`static SubLSymbol`	`$sym97$PROBLEM_STORE_RESIDUAL_TRANSFORMATION_LINK_COUNT`
`static SubLSymbol`	`$sym99$PROBLEM_STORE_UNION_LINK_COUNT`
`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_metric_cross_productP(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_inf_metric_evaluation_arg1(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_inf_metric_evaluation_func(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_inf_metric_name(SubLObject object, SubLObject value)`
`static SubLObject`	`declare_inference_metric(SubLObject name, SubLObject evaluation_func, SubLObject evaluation_arg1, SubLObject cross_productP)`
`static SubLObject`	`declare_inference_metrics_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`increment_dependent_link_historical_count()`
`static SubLObject`	`increment_discarded_tactic_historical_count()`
`static SubLObject`	`increment_executed_tactic_historical_count()`
`static SubLObject`	`increment_forward_inference_historical_count()`
`static SubLObject`	`increment_forward_inference_metrics(SubLObject rule, SubLObject rule_time, SubLObject inference)`
`static SubLObject`	`increment_forward_problem_store_historical_count()`
`static SubLObject`	`increment_good_problem_historical_count()`
`static SubLObject`	`increment_inference_historical_count()`
`static SubLObject`	`increment_no_good_problem_historical_count()`
`static SubLObject`	`increment_problem_historical_count()`
`static SubLObject`	`increment_problem_link_type_historical_counts(SubLObject link_type)`
`static SubLObject`	`increment_problem_store_historical_count()`
`static SubLObject`	`increment_proof_historical_count()`
`static SubLObject`	`increment_sbhl_cache_attempt_historical_count()`
`static SubLObject`	`increment_sbhl_cache_success_historical_count()`
`static SubLObject`	`increment_sbhl_graph_attempt_historical_count()`
`static SubLObject`	`increment_sbhl_graph_success_historical_count()`
`static SubLObject`	`increment_single_literal_problem_dependent_link_historical_count()`
`static SubLObject`	`increment_single_literal_problem_historical_count()`
`static SubLObject`	`increment_successful_forward_inference_historical_count()`
`static SubLObject`	`increment_successful_inference_historical_count()`
`static SubLObject`	`increment_tactic_historical_count()`
`static SubLObject`	`increment_unification_attempt_historical_count()`
`static SubLObject`	`increment_unification_success_historical_count()`
`static SubLObject`	`inference_metric_print_function_trampoline(SubLObject object, SubLObject stream)`
`static SubLObject`	`init_inference_metrics_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`make_inference_metric(SubLObject arglist)`
`static SubLObject`	`new_inference_metric(SubLObject name, SubLObject evaluation_func, SubLObject evaluation_arg1, SubLObject cross_productP)`
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_inference_metrics_file()`
`static SubLObject`	`update_forward_problem_historical_count(SubLObject problem_store)`
`static SubLObject`	`update_maximum_forward_problem_store_historical_problem_count(SubLObject problem_store)`
`static SubLObject`	`update_maximum_problem_store_historical_problem_count(SubLObject problem_store)`

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_metric$

public static SubLSymbol $dtp_inference_metric$

$gathering_forward_inference_metricsP$

public static SubLSymbol $gathering_forward_inference_metricsP$

Whether we are gathering metrics on the expense of forward inference.

$list0

public static final SubLList $list0

$sym1$INFERENCE_METRIC

public static final SubLSymbol $sym1$INFERENCE_METRIC

$sym2$INFERENCE_METRIC_P

public static final SubLSymbol $sym2$INFERENCE_METRIC_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_METRIC

public static final SubLSymbol $sym7$PRINT_INFERENCE_METRIC

$sym8$INFERENCE_METRIC_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym8$INFERENCE_METRIC_PRINT_FUNCTION_TRAMPOLINE

$sym9$INF_METRIC_NAME

public static final SubLSymbol $sym9$INF_METRIC_NAME

$sym10$_CSETF_INF_METRIC_NAME

public static final SubLSymbol $sym10$_CSETF_INF_METRIC_NAME

$sym11$INF_METRIC_EVALUATION_FUNC

public static final SubLSymbol $sym11$INF_METRIC_EVALUATION_FUNC

$sym12$_CSETF_INF_METRIC_EVALUATION_FUNC

public static final SubLSymbol $sym12$_CSETF_INF_METRIC_EVALUATION_FUNC

$sym13$INF_METRIC_EVALUATION_ARG1

public static final SubLSymbol $sym13$INF_METRIC_EVALUATION_ARG1

$sym14$_CSETF_INF_METRIC_EVALUATION_ARG1

public static final SubLSymbol $sym14$_CSETF_INF_METRIC_EVALUATION_ARG1

$sym15$INF_METRIC_CROSS_PRODUCT_

public static final SubLSymbol $sym15$INF_METRIC_CROSS_PRODUCT_

$sym16$_CSETF_INF_METRIC_CROSS_PRODUCT_

public static final SubLSymbol $sym16$_CSETF_INF_METRIC_CROSS_PRODUCT_

$kw17$NAME

public static final SubLSymbol $kw17$NAME

$kw18$EVALUATION_FUNC

public static final SubLSymbol $kw18$EVALUATION_FUNC

$kw19$EVALUATION_ARG1

public static final SubLSymbol $kw19$EVALUATION_ARG1

$kw20$CROSS_PRODUCT_

public static final SubLSymbol $kw20$CROSS_PRODUCT_

$str21$Invalid_slot__S_for_construction_

public static final SubLString $str21$Invalid_slot__S_for_construction_

$str22$_INFERENCE_METRIC___s_

public static final SubLString $str22$_INFERENCE_METRIC___s_

$sym23$KEYWORDP

public static final SubLSymbol $sym23$KEYWORDP

$sym24$SYMBOLP

public static final SubLSymbol $sym24$SYMBOLP

$sym25$INFERENCE_METRIC_EVALUATION_ARG1_P

public static final SubLSymbol $sym25$INFERENCE_METRIC_EVALUATION_ARG1_P

$sym26$BOOLEANP

public static final SubLSymbol $sym26$BOOLEANP

$sym27$INFERENCE_P

public static final SubLSymbol $sym27$INFERENCE_P

$sym28$PROBLEM_STORE_P

public static final SubLSymbol $sym28$PROBLEM_STORE_P

$kw29$STORE

public static final SubLSymbol $kw29$STORE

$kw30$INFERENCE

public static final SubLSymbol $kw30$INFERENCE

$str31$Unhandled_inference_metric_evalua

public static final SubLString $str31$Unhandled_inference_metric_evalua

$sym32$_INFERENCE_METRICS_STORE_

public static final SubLSymbol $sym32$_INFERENCE_METRICS_STORE_

$list33

public static final SubLList $list33

$kw34$ANSWER_COUNT

public static final SubLSymbol $kw34$ANSWER_COUNT

$sym35$INFERENCE_ANSWER_COUNT

public static final SubLSymbol $sym35$INFERENCE_ANSWER_COUNT

$kw36$ANSWER_COUNT_AT_30_SECONDS

public static final SubLSymbol $kw36$ANSWER_COUNT_AT_30_SECONDS

$sym37$INFERENCE_ANSWER_COUNT_AT_30_SECONDS

public static final SubLSymbol $sym37$INFERENCE_ANSWER_COUNT_AT_30_SECONDS

$kw38$ANSWER_COUNT_AT_60_SECONDS

public static final SubLSymbol $kw38$ANSWER_COUNT_AT_60_SECONDS

$sym39$INFERENCE_ANSWER_COUNT_AT_60_SECONDS

public static final SubLSymbol $sym39$INFERENCE_ANSWER_COUNT_AT_60_SECONDS

$kw40$TIME_TO_FIRST_ANSWER

public static final SubLSymbol $kw40$TIME_TO_FIRST_ANSWER

$sym41$INFERENCE_FIRST_ANSWER_ELAPSED_TIME

public static final SubLSymbol $sym41$INFERENCE_FIRST_ANSWER_ELAPSED_TIME

$kw42$TIME_TO_LAST_ANSWER

public static final SubLSymbol $kw42$TIME_TO_LAST_ANSWER

$sym43$INFERENCE_LAST_ANSWER_ELAPSED_TIME

public static final SubLSymbol $sym43$INFERENCE_LAST_ANSWER_ELAPSED_TIME

$kw44$TOTAL_TIME

public static final SubLSymbol $kw44$TOTAL_TIME

$sym45$INFERENCE_CUMULATIVE_TIME

public static final SubLSymbol $sym45$INFERENCE_CUMULATIVE_TIME

$kw46$TIME_PER_ANSWER

public static final SubLSymbol $kw46$TIME_PER_ANSWER

$sym47$INFERENCE_TIME_PER_ANSWER

public static final SubLSymbol $sym47$INFERENCE_TIME_PER_ANSWER

$kw48$STEPS_TO_FIRST_ANSWER

public static final SubLSymbol $kw48$STEPS_TO_FIRST_ANSWER

$sym49$INFERENCE_FIRST_ANSWER_STEP_COUNT

public static final SubLSymbol $sym49$INFERENCE_FIRST_ANSWER_STEP_COUNT

$kw50$STEPS_TO_LAST_ANSWER

public static final SubLSymbol $kw50$STEPS_TO_LAST_ANSWER

$sym51$INFERENCE_LAST_ANSWER_STEP_COUNT

public static final SubLSymbol $sym51$INFERENCE_LAST_ANSWER_STEP_COUNT

$kw52$TOTAL_STEPS

public static final SubLSymbol $kw52$TOTAL_STEPS

$sym53$INFERENCE_CUMULATIVE_STEP_COUNT

public static final SubLSymbol $sym53$INFERENCE_CUMULATIVE_STEP_COUNT

$kw54$STEPS_PER_ANSWER

public static final SubLSymbol $kw54$STEPS_PER_ANSWER

$sym55$INFERENCE_STEPS_PER_ANSWER

public static final SubLSymbol $sym55$INFERENCE_STEPS_PER_ANSWER

$kw56$WASTED_TIME_AFTER_LAST_ANSWER

public static final SubLSymbol $kw56$WASTED_TIME_AFTER_LAST_ANSWER

$sym57$INFERENCE_WASTED_TIME_AFTER_LAST_ANSWER

public static final SubLSymbol $sym57$INFERENCE_WASTED_TIME_AFTER_LAST_ANSWER

$kw58$LATENCY_IMPROVEMENT_FROM_ITERATIVITY

public static final SubLSymbol $kw58$LATENCY_IMPROVEMENT_FROM_ITERATIVITY

$sym59$INFERENCE_LATENCY_IMPROVEMENT_FROM_ITERATIVITY

public static final SubLSymbol $sym59$INFERENCE_LATENCY_IMPROVEMENT_FROM_ITERATIVITY

$kw60$PROBLEM_COUNT

public static final SubLSymbol $kw60$PROBLEM_COUNT

$sym61$PROBLEM_STORE_PROBLEM_COUNT

public static final SubLSymbol $sym61$PROBLEM_STORE_PROBLEM_COUNT

$kw62$PROBLEM_STORE_PROBLEM_COUNT

public static final SubLSymbol $kw62$PROBLEM_STORE_PROBLEM_COUNT

$kw63$PROOF_COUNT

public static final SubLSymbol $kw63$PROOF_COUNT

$sym64$PROBLEM_STORE_PROOF_COUNT

public static final SubLSymbol $sym64$PROBLEM_STORE_PROOF_COUNT

$kw65$PROBLEM_STORE_PROOF_COUNT

public static final SubLSymbol $kw65$PROBLEM_STORE_PROOF_COUNT

$kw66$LINK_COUNT

public static final SubLSymbol $kw66$LINK_COUNT

$sym67$PROBLEM_STORE_LINK_COUNT

public static final SubLSymbol $sym67$PROBLEM_STORE_LINK_COUNT

$kw68$TACTIC_COUNT

public static final SubLSymbol $kw68$TACTIC_COUNT

$sym69$PROBLEM_STORE_TACTIC_COUNT

public static final SubLSymbol $sym69$PROBLEM_STORE_TACTIC_COUNT

$kw70$POSSIBLE_TACTIC_COUNT

public static final SubLSymbol $kw70$POSSIBLE_TACTIC_COUNT

$sym71$PROBLEM_STORE_POSSIBLE_TACTIC_COUNT

public static final SubLSymbol $sym71$PROBLEM_STORE_POSSIBLE_TACTIC_COUNT

$kw72$EXECUTED_TACTIC_COUNT

public static final SubLSymbol $kw72$EXECUTED_TACTIC_COUNT

$sym73$PROBLEM_STORE_EXECUTED_TACTIC_COUNT

public static final SubLSymbol $sym73$PROBLEM_STORE_EXECUTED_TACTIC_COUNT

$kw74$TACTIC_EXECUTION_COUNT

public static final SubLSymbol $kw74$TACTIC_EXECUTION_COUNT

$sym75$PROBLEM_STORE_TACTIC_EXECUTION_COUNT

public static final SubLSymbol $sym75$PROBLEM_STORE_TACTIC_EXECUTION_COUNT

$kw76$DISCARDED_TACTIC_COUNT

public static final SubLSymbol $kw76$DISCARDED_TACTIC_COUNT

$sym77$PROBLEM_STORE_DISCARDED_TACTIC_COUNT

public static final SubLSymbol $sym77$PROBLEM_STORE_DISCARDED_TACTIC_COUNT

$kw78$CONTENT_LINK_COUNT

public static final SubLSymbol $kw78$CONTENT_LINK_COUNT

$sym79$PROBLEM_STORE_CONTENT_LINK_COUNT

public static final SubLSymbol $sym79$PROBLEM_STORE_CONTENT_LINK_COUNT

$kw80$REMOVAL_LINK_COUNT

public static final SubLSymbol $kw80$REMOVAL_LINK_COUNT

$sym81$PROBLEM_STORE_REMOVAL_LINK_COUNT

public static final SubLSymbol $sym81$PROBLEM_STORE_REMOVAL_LINK_COUNT

$kw82$REWRITE_LINK_COUNT

public static final SubLSymbol $kw82$REWRITE_LINK_COUNT

$sym83$PROBLEM_STORE_REWRITE_LINK_COUNT

public static final SubLSymbol $sym83$PROBLEM_STORE_REWRITE_LINK_COUNT

$kw84$TRANSFORMATION_LINK_COUNT

public static final SubLSymbol $kw84$TRANSFORMATION_LINK_COUNT

$sym85$PROBLEM_STORE_TRANSFORMATION_LINK_COUNT

public static final SubLSymbol $sym85$PROBLEM_STORE_TRANSFORMATION_LINK_COUNT

$kw86$STRUCTURAL_LINK_COUNT

public static final SubLSymbol $kw86$STRUCTURAL_LINK_COUNT

$sym87$PROBLEM_STORE_STRUCTURAL_LINK_COUNT

public static final SubLSymbol $sym87$PROBLEM_STORE_STRUCTURAL_LINK_COUNT

$kw88$JOIN_ORDERED_LINK_COUNT

public static final SubLSymbol $kw88$JOIN_ORDERED_LINK_COUNT

$sym89$PROBLEM_STORE_JOIN_ORDERED_LINK_COUNT

public static final SubLSymbol $sym89$PROBLEM_STORE_JOIN_ORDERED_LINK_COUNT

$kw90$JOIN_LINK_COUNT

public static final SubLSymbol $kw90$JOIN_LINK_COUNT

$sym91$PROBLEM_STORE_JOIN_LINK_COUNT

public static final SubLSymbol $sym91$PROBLEM_STORE_JOIN_LINK_COUNT

$kw92$SPLIT_LINK_COUNT

public static final SubLSymbol $kw92$SPLIT_LINK_COUNT

$sym93$PROBLEM_STORE_SPLIT_LINK_COUNT

public static final SubLSymbol $sym93$PROBLEM_STORE_SPLIT_LINK_COUNT

$kw94$RESTRICTION_LINK_COUNT

public static final SubLSymbol $kw94$RESTRICTION_LINK_COUNT

$sym95$PROBLEM_STORE_RESTRICTION_LINK_COUNT

public static final SubLSymbol $sym95$PROBLEM_STORE_RESTRICTION_LINK_COUNT

$kw96$RESIDUAL_TRANSFORMATION_LINK_COUNT

public static final SubLSymbol $kw96$RESIDUAL_TRANSFORMATION_LINK_COUNT

$sym97$PROBLEM_STORE_RESIDUAL_TRANSFORMATION_LINK_COUNT

public static final SubLSymbol $sym97$PROBLEM_STORE_RESIDUAL_TRANSFORMATION_LINK_COUNT

$kw98$UNION_LINK_COUNT

public static final SubLSymbol $kw98$UNION_LINK_COUNT

$sym99$PROBLEM_STORE_UNION_LINK_COUNT

public static final SubLSymbol $sym99$PROBLEM_STORE_UNION_LINK_COUNT

$kw100$GOOD_PROBLEM_COUNT

public static final SubLSymbol $kw100$GOOD_PROBLEM_COUNT

$sym101$PROBLEM_STORE_GOOD_PROBLEM_COUNT

public static final SubLSymbol $sym101$PROBLEM_STORE_GOOD_PROBLEM_COUNT

$kw102$NEUTRAL_PROBLEM_COUNT

public static final SubLSymbol $kw102$NEUTRAL_PROBLEM_COUNT

$sym103$PROBLEM_STORE_NEUTRAL_PROBLEM_COUNT

public static final SubLSymbol $sym103$PROBLEM_STORE_NEUTRAL_PROBLEM_COUNT

$kw104$NO_GOOD_PROBLEM_COUNT

public static final SubLSymbol $kw104$NO_GOOD_PROBLEM_COUNT

$sym105$PROBLEM_STORE_NO_GOOD_PROBLEM_COUNT

public static final SubLSymbol $sym105$PROBLEM_STORE_NO_GOOD_PROBLEM_COUNT

$kw106$SINGLE_LITERAL_PROBLEM_COUNT

public static final SubLSymbol $kw106$SINGLE_LITERAL_PROBLEM_COUNT

$sym107$PROBLEM_STORE_SINGLE_LITERAL_PROBLEM_COUNT

public static final SubLSymbol $sym107$PROBLEM_STORE_SINGLE_LITERAL_PROBLEM_COUNT

$kw108$CONJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $kw108$CONJUNCTIVE_PROBLEM_COUNT

$sym109$PROBLEM_STORE_CONJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $sym109$PROBLEM_STORE_CONJUNCTIVE_PROBLEM_COUNT

$kw110$JOIN_PROBLEM_COUNT

public static final SubLSymbol $kw110$JOIN_PROBLEM_COUNT

$sym111$PROBLEM_STORE_JOIN_PROBLEM_COUNT

public static final SubLSymbol $sym111$PROBLEM_STORE_JOIN_PROBLEM_COUNT

$kw112$SPLIT_PROBLEM_COUNT

public static final SubLSymbol $kw112$SPLIT_PROBLEM_COUNT

$sym113$PROBLEM_STORE_SPLIT_PROBLEM_COUNT

public static final SubLSymbol $sym113$PROBLEM_STORE_SPLIT_PROBLEM_COUNT

$kw114$DISJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $kw114$DISJUNCTIVE_PROBLEM_COUNT

$sym115$PROBLEM_STORE_DISJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $sym115$PROBLEM_STORE_DISJUNCTIVE_PROBLEM_COUNT

$kw116$UNEXAMINED_PROBLEM_COUNT

public static final SubLSymbol $kw116$UNEXAMINED_PROBLEM_COUNT

$sym117$PROBLEM_STORE_UNEXAMINED_PROBLEM_COUNT

public static final SubLSymbol $sym117$PROBLEM_STORE_UNEXAMINED_PROBLEM_COUNT

$kw118$EXAMINED_PROBLEM_COUNT

public static final SubLSymbol $kw118$EXAMINED_PROBLEM_COUNT

$sym119$PROBLEM_STORE_EXAMINED_PROBLEM_COUNT

public static final SubLSymbol $sym119$PROBLEM_STORE_EXAMINED_PROBLEM_COUNT

$kw120$POSSIBLE_PROBLEM_COUNT

public static final SubLSymbol $kw120$POSSIBLE_PROBLEM_COUNT

$sym121$PROBLEM_STORE_POSSIBLE_PROBLEM_COUNT

public static final SubLSymbol $sym121$PROBLEM_STORE_POSSIBLE_PROBLEM_COUNT

$kw122$PENDING_PROBLEM_COUNT

public static final SubLSymbol $kw122$PENDING_PROBLEM_COUNT

$sym123$PROBLEM_STORE_PENDING_PROBLEM_COUNT

public static final SubLSymbol $sym123$PROBLEM_STORE_PENDING_PROBLEM_COUNT

$kw124$FINISHED_PROBLEM_COUNT

public static final SubLSymbol $kw124$FINISHED_PROBLEM_COUNT

$sym125$PROBLEM_STORE_FINISHED_PROBLEM_COUNT

public static final SubLSymbol $sym125$PROBLEM_STORE_FINISHED_PROBLEM_COUNT

$kw126$UNMANIFESTED_NON_FOCAL_COUNT

public static final SubLSymbol $kw126$UNMANIFESTED_NON_FOCAL_COUNT

$sym127$PROBLEM_STORE_UNMANIFESTED_NON_FOCAL_COUNT

public static final SubLSymbol $sym127$PROBLEM_STORE_UNMANIFESTED_NON_FOCAL_COUNT

$kw128$TRANSFORMATION_RULE_BINDINGS_TO_CLOSED

public static final SubLSymbol $kw128$TRANSFORMATION_RULE_BINDINGS_TO_CLOSED

$sym129$PROBLEM_STORE_TRANSFORMATION_RULE_BINDINGS_TO_CLOSED

public static final SubLSymbol $sym129$PROBLEM_STORE_TRANSFORMATION_RULE_BINDINGS_TO_CLOSED

$kw130$PROBLEM_QUERIES

public static final SubLSymbol $kw130$PROBLEM_QUERIES

$sym131$PROBLEM_STORE_ALL_PROBLEM_QUERIES

public static final SubLSymbol $sym131$PROBLEM_STORE_ALL_PROBLEM_QUERIES

$kw132$ANSWER_TIMES

public static final SubLSymbol $kw132$ANSWER_TIMES

$sym133$INFERENCE_ANSWER_TIMES

public static final SubLSymbol $sym133$INFERENCE_ANSWER_TIMES

$kw134$ANSWER_STEP_COUNTS

public static final SubLSymbol $kw134$ANSWER_STEP_COUNTS

$sym135$INFERENCE_ANSWER_STEP_COUNTS

public static final SubLSymbol $sym135$INFERENCE_ANSWER_STEP_COUNTS

$kw136$PROBLEMATIC_RESIDUAL_TRANSFORMATION_LINK_COUNT

public static final SubLSymbol $kw136$PROBLEMATIC_RESIDUAL_TRANSFORMATION_LINK_COUNT

$sym137$PROBLEM_STORE_PROBLEMATIC_RESIDUAL_TRANSFORMATION_LINK_COUNT

public static final SubLSymbol $sym137$PROBLEM_STORE_PROBLEMATIC_RESIDUAL_TRANSFORMATION_LINK_COUNT

$kw138$ESTIMATED_EXHAUSTIVE_NEW_ROOT_COUNT

public static final SubLSymbol $kw138$ESTIMATED_EXHAUSTIVE_NEW_ROOT_COUNT

$sym139$INFERENCE_TRANSFORMATION_FANOUT_ESTIMATE

public static final SubLSymbol $sym139$INFERENCE_TRANSFORMATION_FANOUT_ESTIMATE

$kw140$TOP_LEVEL_REMOVAL_FANOUT

public static final SubLSymbol $kw140$TOP_LEVEL_REMOVAL_FANOUT

$sym141$INFERENCE_TOP_LEVEL_REMOVAL_FANOUT

public static final SubLSymbol $sym141$INFERENCE_TOP_LEVEL_REMOVAL_FANOUT

$kw142$NEW_ROOT_INITIAL_REMOVAL_FANOUTS

public static final SubLSymbol $kw142$NEW_ROOT_INITIAL_REMOVAL_FANOUTS

$sym143$INFERENCE_NEW_ROOT_INITIAL_REMOVAL_FANOUTS

public static final SubLSymbol $sym143$INFERENCE_NEW_ROOT_INITIAL_REMOVAL_FANOUTS

$kw144$PROOF_QUERY_PROPERTIES

public static final SubLSymbol $kw144$PROOF_QUERY_PROPERTIES

$sym145$INFERENCE_COMPUTE_PROOF_QUERY_PROPERTIES

public static final SubLSymbol $sym145$INFERENCE_COMPUTE_PROOF_QUERY_PROPERTIES

$kw146$ANSWER_PROOF_SPECS

public static final SubLSymbol $kw146$ANSWER_PROOF_SPECS

$sym147$INFERENCE_ALL_ANSWER_PROOF_SPECS

public static final SubLSymbol $sym147$INFERENCE_ALL_ANSWER_PROOF_SPECS

$kw148$INFERENCE_PROOF_SPEC

public static final SubLSymbol $kw148$INFERENCE_PROOF_SPEC

$sym149$INFERENCE_PROOF_SPEC

public static final SubLSymbol $sym149$INFERENCE_PROOF_SPEC

$kw150$EXECUTED_REMOVAL_TACTIC_PRODUCTIVITIES

public static final SubLSymbol $kw150$EXECUTED_REMOVAL_TACTIC_PRODUCTIVITIES

$sym151$PROBLEM_STORE_EXECUTED_REMOVAL_TACTIC_PRODUCTIVITIES

public static final SubLSymbol $sym151$PROBLEM_STORE_EXECUTED_REMOVAL_TACTIC_PRODUCTIVITIES

$kw152$UNEXAMINED_GOOD_PROBLEM_COUNT

public static final SubLSymbol $kw152$UNEXAMINED_GOOD_PROBLEM_COUNT

$sym153$PROBLEM_STORE_UNEXAMINED_GOOD_PROBLEM_COUNT

public static final SubLSymbol $sym153$PROBLEM_STORE_UNEXAMINED_GOOD_PROBLEM_COUNT

$kw154$EXAMINED_GOOD_PROBLEM_COUNT

public static final SubLSymbol $kw154$EXAMINED_GOOD_PROBLEM_COUNT

$sym155$PROBLEM_STORE_EXAMINED_GOOD_PROBLEM_COUNT

public static final SubLSymbol $sym155$PROBLEM_STORE_EXAMINED_GOOD_PROBLEM_COUNT

$kw156$POSSIBLE_GOOD_PROBLEM_COUNT

public static final SubLSymbol $kw156$POSSIBLE_GOOD_PROBLEM_COUNT

$sym157$PROBLEM_STORE_POSSIBLE_GOOD_PROBLEM_COUNT

public static final SubLSymbol $sym157$PROBLEM_STORE_POSSIBLE_GOOD_PROBLEM_COUNT

$kw158$PENDING_GOOD_PROBLEM_COUNT

public static final SubLSymbol $kw158$PENDING_GOOD_PROBLEM_COUNT

$sym159$PROBLEM_STORE_PENDING_GOOD_PROBLEM_COUNT

public static final SubLSymbol $sym159$PROBLEM_STORE_PENDING_GOOD_PROBLEM_COUNT

$kw160$FINISHED_GOOD_PROBLEM_COUNT

public static final SubLSymbol $kw160$FINISHED_GOOD_PROBLEM_COUNT

$sym161$PROBLEM_STORE_FINISHED_GOOD_PROBLEM_COUNT

public static final SubLSymbol $sym161$PROBLEM_STORE_FINISHED_GOOD_PROBLEM_COUNT

$kw162$UNEXAMINED_NEUTRAL_PROBLEM_COUNT

public static final SubLSymbol $kw162$UNEXAMINED_NEUTRAL_PROBLEM_COUNT

$sym163$PROBLEM_STORE_UNEXAMINED_NEUTRAL_PROBLEM_COUNT

public static final SubLSymbol $sym163$PROBLEM_STORE_UNEXAMINED_NEUTRAL_PROBLEM_COUNT

$kw164$EXAMINED_NEUTRAL_PROBLEM_COUNT

public static final SubLSymbol $kw164$EXAMINED_NEUTRAL_PROBLEM_COUNT

$sym165$PROBLEM_STORE_EXAMINED_NEUTRAL_PROBLEM_COUNT

public static final SubLSymbol $sym165$PROBLEM_STORE_EXAMINED_NEUTRAL_PROBLEM_COUNT

$kw166$POSSIBLE_NEUTRAL_PROBLEM_COUNT

public static final SubLSymbol $kw166$POSSIBLE_NEUTRAL_PROBLEM_COUNT

$sym167$PROBLEM_STORE_POSSIBLE_NEUTRAL_PROBLEM_COUNT

public static final SubLSymbol $sym167$PROBLEM_STORE_POSSIBLE_NEUTRAL_PROBLEM_COUNT

$kw168$PENDING_NEUTRAL_PROBLEM_COUNT

public static final SubLSymbol $kw168$PENDING_NEUTRAL_PROBLEM_COUNT

$sym169$PROBLEM_STORE_PENDING_NEUTRAL_PROBLEM_COUNT

public static final SubLSymbol $sym169$PROBLEM_STORE_PENDING_NEUTRAL_PROBLEM_COUNT

$kw170$FINISHED_NEUTRAL_PROBLEM_COUNT

public static final SubLSymbol $kw170$FINISHED_NEUTRAL_PROBLEM_COUNT

$sym171$PROBLEM_STORE_FINISHED_NEUTRAL_PROBLEM_COUNT

public static final SubLSymbol $sym171$PROBLEM_STORE_FINISHED_NEUTRAL_PROBLEM_COUNT

$kw172$UNEXAMINED_NO_GOOD_PROBLEM_COUNT

public static final SubLSymbol $kw172$UNEXAMINED_NO_GOOD_PROBLEM_COUNT

$sym173$PROBLEM_STORE_UNEXAMINED_NO_GOOD_PROBLEM_COUNT

public static final SubLSymbol $sym173$PROBLEM_STORE_UNEXAMINED_NO_GOOD_PROBLEM_COUNT

$kw174$EXAMINED_NO_GOOD_PROBLEM_COUNT

public static final SubLSymbol $kw174$EXAMINED_NO_GOOD_PROBLEM_COUNT

$sym175$PROBLEM_STORE_EXAMINED_NO_GOOD_PROBLEM_COUNT

public static final SubLSymbol $sym175$PROBLEM_STORE_EXAMINED_NO_GOOD_PROBLEM_COUNT

$kw176$POSSIBLE_NO_GOOD_PROBLEM_COUNT

public static final SubLSymbol $kw176$POSSIBLE_NO_GOOD_PROBLEM_COUNT

$sym177$PROBLEM_STORE_POSSIBLE_NO_GOOD_PROBLEM_COUNT

public static final SubLSymbol $sym177$PROBLEM_STORE_POSSIBLE_NO_GOOD_PROBLEM_COUNT

$kw178$PENDING_NO_GOOD_PROBLEM_COUNT

public static final SubLSymbol $kw178$PENDING_NO_GOOD_PROBLEM_COUNT

$sym179$PROBLEM_STORE_PENDING_NO_GOOD_PROBLEM_COUNT

public static final SubLSymbol $sym179$PROBLEM_STORE_PENDING_NO_GOOD_PROBLEM_COUNT

$kw180$FINISHED_NO_GOOD_PROBLEM_COUNT

public static final SubLSymbol $kw180$FINISHED_NO_GOOD_PROBLEM_COUNT

$sym181$PROBLEM_STORE_FINISHED_NO_GOOD_PROBLEM_COUNT

public static final SubLSymbol $sym181$PROBLEM_STORE_FINISHED_NO_GOOD_PROBLEM_COUNT

$kw182$GOOD_SINGLE_LITERAL_PROBLEM_COUNT

public static final SubLSymbol $kw182$GOOD_SINGLE_LITERAL_PROBLEM_COUNT

$sym183$PROBLEM_STORE_GOOD_SINGLE_LITERAL_PROBLEM_COUNT

public static final SubLSymbol $sym183$PROBLEM_STORE_GOOD_SINGLE_LITERAL_PROBLEM_COUNT

$kw184$GOOD_CONJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $kw184$GOOD_CONJUNCTIVE_PROBLEM_COUNT

$sym185$PROBLEM_STORE_GOOD_CONJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $sym185$PROBLEM_STORE_GOOD_CONJUNCTIVE_PROBLEM_COUNT

$kw186$GOOD_JOIN_PROBLEM_COUNT

public static final SubLSymbol $kw186$GOOD_JOIN_PROBLEM_COUNT

$sym187$PROBLEM_STORE_GOOD_JOIN_PROBLEM_COUNT

public static final SubLSymbol $sym187$PROBLEM_STORE_GOOD_JOIN_PROBLEM_COUNT

$kw188$GOOD_SPLIT_PROBLEM_COUNT

public static final SubLSymbol $kw188$GOOD_SPLIT_PROBLEM_COUNT

$sym189$PROBLEM_STORE_GOOD_SPLIT_PROBLEM_COUNT

public static final SubLSymbol $sym189$PROBLEM_STORE_GOOD_SPLIT_PROBLEM_COUNT

$kw190$GOOD_DISJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $kw190$GOOD_DISJUNCTIVE_PROBLEM_COUNT

$sym191$PROBLEM_STORE_GOOD_DISJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $sym191$PROBLEM_STORE_GOOD_DISJUNCTIVE_PROBLEM_COUNT

$kw192$NEUTRAL_SINGLE_LITERAL_PROBLEM_COUNT

public static final SubLSymbol $kw192$NEUTRAL_SINGLE_LITERAL_PROBLEM_COUNT

$sym193$PROBLEM_STORE_NEUTRAL_SINGLE_LITERAL_PROBLEM_COUNT

public static final SubLSymbol $sym193$PROBLEM_STORE_NEUTRAL_SINGLE_LITERAL_PROBLEM_COUNT

$kw194$NEUTRAL_CONJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $kw194$NEUTRAL_CONJUNCTIVE_PROBLEM_COUNT

$sym195$PROBLEM_STORE_NEUTRAL_CONJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $sym195$PROBLEM_STORE_NEUTRAL_CONJUNCTIVE_PROBLEM_COUNT

$kw196$NEUTRAL_JOIN_PROBLEM_COUNT

public static final SubLSymbol $kw196$NEUTRAL_JOIN_PROBLEM_COUNT

$sym197$PROBLEM_STORE_NEUTRAL_JOIN_PROBLEM_COUNT

public static final SubLSymbol $sym197$PROBLEM_STORE_NEUTRAL_JOIN_PROBLEM_COUNT

$kw198$NEUTRAL_SPLIT_PROBLEM_COUNT

public static final SubLSymbol $kw198$NEUTRAL_SPLIT_PROBLEM_COUNT

$sym199$PROBLEM_STORE_NEUTRAL_SPLIT_PROBLEM_COUNT

public static final SubLSymbol $sym199$PROBLEM_STORE_NEUTRAL_SPLIT_PROBLEM_COUNT

$kw200$NEUTRAL_DISJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $kw200$NEUTRAL_DISJUNCTIVE_PROBLEM_COUNT

$sym201$PROBLEM_STORE_NEUTRAL_DISJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $sym201$PROBLEM_STORE_NEUTRAL_DISJUNCTIVE_PROBLEM_COUNT

$kw202$NO_GOOD_SINGLE_LITERAL_PROBLEM_COUNT

public static final SubLSymbol $kw202$NO_GOOD_SINGLE_LITERAL_PROBLEM_COUNT

$sym203$PROBLEM_STORE_NO_GOOD_SINGLE_LITERAL_PROBLEM_COUNT

public static final SubLSymbol $sym203$PROBLEM_STORE_NO_GOOD_SINGLE_LITERAL_PROBLEM_COUNT

$kw204$NO_GOOD_CONJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $kw204$NO_GOOD_CONJUNCTIVE_PROBLEM_COUNT

$sym205$PROBLEM_STORE_NO_GOOD_CONJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $sym205$PROBLEM_STORE_NO_GOOD_CONJUNCTIVE_PROBLEM_COUNT

$kw206$NO_GOOD_JOIN_PROBLEM_COUNT

public static final SubLSymbol $kw206$NO_GOOD_JOIN_PROBLEM_COUNT

$sym207$PROBLEM_STORE_NO_GOOD_JOIN_PROBLEM_COUNT

public static final SubLSymbol $sym207$PROBLEM_STORE_NO_GOOD_JOIN_PROBLEM_COUNT

$kw208$NO_GOOD_SPLIT_PROBLEM_COUNT

public static final SubLSymbol $kw208$NO_GOOD_SPLIT_PROBLEM_COUNT

$sym209$PROBLEM_STORE_NO_GOOD_SPLIT_PROBLEM_COUNT

public static final SubLSymbol $sym209$PROBLEM_STORE_NO_GOOD_SPLIT_PROBLEM_COUNT

$kw210$NO_GOOD_DISJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $kw210$NO_GOOD_DISJUNCTIVE_PROBLEM_COUNT

$sym211$PROBLEM_STORE_NO_GOOD_DISJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $sym211$PROBLEM_STORE_NO_GOOD_DISJUNCTIVE_PROBLEM_COUNT

$kw212$UNEXAMINED_SINGLE_LITERAL_PROBLEM_COUNT

public static final SubLSymbol $kw212$UNEXAMINED_SINGLE_LITERAL_PROBLEM_COUNT

$sym213$PROBLEM_STORE_UNEXAMINED_SINGLE_LITERAL_PROBLEM_COUNT

public static final SubLSymbol $sym213$PROBLEM_STORE_UNEXAMINED_SINGLE_LITERAL_PROBLEM_COUNT

$kw214$UNEXAMINED_CONJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $kw214$UNEXAMINED_CONJUNCTIVE_PROBLEM_COUNT

$sym215$PROBLEM_STORE_UNEXAMINED_CONJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $sym215$PROBLEM_STORE_UNEXAMINED_CONJUNCTIVE_PROBLEM_COUNT

$kw216$UNEXAMINED_JOIN_PROBLEM_COUNT

public static final SubLSymbol $kw216$UNEXAMINED_JOIN_PROBLEM_COUNT

$sym217$PROBLEM_STORE_UNEXAMINED_JOIN_PROBLEM_COUNT

public static final SubLSymbol $sym217$PROBLEM_STORE_UNEXAMINED_JOIN_PROBLEM_COUNT

$kw218$UNEXAMINED_SPLIT_PROBLEM_COUNT

public static final SubLSymbol $kw218$UNEXAMINED_SPLIT_PROBLEM_COUNT

$sym219$PROBLEM_STORE_UNEXAMINED_SPLIT_PROBLEM_COUNT

public static final SubLSymbol $sym219$PROBLEM_STORE_UNEXAMINED_SPLIT_PROBLEM_COUNT

$kw220$UNEXAMINED_DISJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $kw220$UNEXAMINED_DISJUNCTIVE_PROBLEM_COUNT

$sym221$PROBLEM_STORE_UNEXAMINED_DISJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $sym221$PROBLEM_STORE_UNEXAMINED_DISJUNCTIVE_PROBLEM_COUNT

$kw222$EXAMINED_SINGLE_LITERAL_PROBLEM_COUNT

public static final SubLSymbol $kw222$EXAMINED_SINGLE_LITERAL_PROBLEM_COUNT

$sym223$PROBLEM_STORE_EXAMINED_SINGLE_LITERAL_PROBLEM_COUNT

public static final SubLSymbol $sym223$PROBLEM_STORE_EXAMINED_SINGLE_LITERAL_PROBLEM_COUNT

$kw224$EXAMINED_CONJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $kw224$EXAMINED_CONJUNCTIVE_PROBLEM_COUNT

$sym225$PROBLEM_STORE_EXAMINED_CONJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $sym225$PROBLEM_STORE_EXAMINED_CONJUNCTIVE_PROBLEM_COUNT

$kw226$EXAMINED_JOIN_PROBLEM_COUNT

public static final SubLSymbol $kw226$EXAMINED_JOIN_PROBLEM_COUNT

$sym227$PROBLEM_STORE_EXAMINED_JOIN_PROBLEM_COUNT

public static final SubLSymbol $sym227$PROBLEM_STORE_EXAMINED_JOIN_PROBLEM_COUNT

$kw228$EXAMINED_SPLIT_PROBLEM_COUNT

public static final SubLSymbol $kw228$EXAMINED_SPLIT_PROBLEM_COUNT

$sym229$PROBLEM_STORE_EXAMINED_SPLIT_PROBLEM_COUNT

public static final SubLSymbol $sym229$PROBLEM_STORE_EXAMINED_SPLIT_PROBLEM_COUNT

$kw230$EXAMINED_DISJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $kw230$EXAMINED_DISJUNCTIVE_PROBLEM_COUNT

$sym231$PROBLEM_STORE_EXAMINED_DISJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $sym231$PROBLEM_STORE_EXAMINED_DISJUNCTIVE_PROBLEM_COUNT

$kw232$POSSIBLE_SINGLE_LITERAL_PROBLEM_COUNT

public static final SubLSymbol $kw232$POSSIBLE_SINGLE_LITERAL_PROBLEM_COUNT

$sym233$PROBLEM_STORE_POSSIBLE_SINGLE_LITERAL_PROBLEM_COUNT

public static final SubLSymbol $sym233$PROBLEM_STORE_POSSIBLE_SINGLE_LITERAL_PROBLEM_COUNT

$kw234$POSSIBLE_CONJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $kw234$POSSIBLE_CONJUNCTIVE_PROBLEM_COUNT

$sym235$PROBLEM_STORE_POSSIBLE_CONJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $sym235$PROBLEM_STORE_POSSIBLE_CONJUNCTIVE_PROBLEM_COUNT

$kw236$POSSIBLE_JOIN_PROBLEM_COUNT

public static final SubLSymbol $kw236$POSSIBLE_JOIN_PROBLEM_COUNT

$sym237$PROBLEM_STORE_POSSIBLE_JOIN_PROBLEM_COUNT

public static final SubLSymbol $sym237$PROBLEM_STORE_POSSIBLE_JOIN_PROBLEM_COUNT

$kw238$POSSIBLE_SPLIT_PROBLEM_COUNT

public static final SubLSymbol $kw238$POSSIBLE_SPLIT_PROBLEM_COUNT

$sym239$PROBLEM_STORE_POSSIBLE_SPLIT_PROBLEM_COUNT

public static final SubLSymbol $sym239$PROBLEM_STORE_POSSIBLE_SPLIT_PROBLEM_COUNT

$kw240$POSSIBLE_DISJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $kw240$POSSIBLE_DISJUNCTIVE_PROBLEM_COUNT

$sym241$PROBLEM_STORE_POSSIBLE_DISJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $sym241$PROBLEM_STORE_POSSIBLE_DISJUNCTIVE_PROBLEM_COUNT

$kw242$PENDING_SINGLE_LITERAL_PROBLEM_COUNT

public static final SubLSymbol $kw242$PENDING_SINGLE_LITERAL_PROBLEM_COUNT

$sym243$PROBLEM_STORE_PENDING_SINGLE_LITERAL_PROBLEM_COUNT

public static final SubLSymbol $sym243$PROBLEM_STORE_PENDING_SINGLE_LITERAL_PROBLEM_COUNT

$kw244$PENDING_CONJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $kw244$PENDING_CONJUNCTIVE_PROBLEM_COUNT

$sym245$PROBLEM_STORE_PENDING_CONJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $sym245$PROBLEM_STORE_PENDING_CONJUNCTIVE_PROBLEM_COUNT

$kw246$PENDING_JOIN_PROBLEM_COUNT

public static final SubLSymbol $kw246$PENDING_JOIN_PROBLEM_COUNT

$sym247$PROBLEM_STORE_PENDING_JOIN_PROBLEM_COUNT

public static final SubLSymbol $sym247$PROBLEM_STORE_PENDING_JOIN_PROBLEM_COUNT

$kw248$PENDING_SPLIT_PROBLEM_COUNT

public static final SubLSymbol $kw248$PENDING_SPLIT_PROBLEM_COUNT

$sym249$PROBLEM_STORE_PENDING_SPLIT_PROBLEM_COUNT

public static final SubLSymbol $sym249$PROBLEM_STORE_PENDING_SPLIT_PROBLEM_COUNT

$kw250$PENDING_DISJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $kw250$PENDING_DISJUNCTIVE_PROBLEM_COUNT

$sym251$PROBLEM_STORE_PENDING_DISJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $sym251$PROBLEM_STORE_PENDING_DISJUNCTIVE_PROBLEM_COUNT

$kw252$FINISHED_SINGLE_LITERAL_PROBLEM_COUNT

public static final SubLSymbol $kw252$FINISHED_SINGLE_LITERAL_PROBLEM_COUNT

$sym253$PROBLEM_STORE_FINISHED_SINGLE_LITERAL_PROBLEM_COUNT

public static final SubLSymbol $sym253$PROBLEM_STORE_FINISHED_SINGLE_LITERAL_PROBLEM_COUNT

$kw254$FINISHED_CONJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $kw254$FINISHED_CONJUNCTIVE_PROBLEM_COUNT

$sym255$PROBLEM_STORE_FINISHED_CONJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $sym255$PROBLEM_STORE_FINISHED_CONJUNCTIVE_PROBLEM_COUNT

$kw256$FINISHED_JOIN_PROBLEM_COUNT

public static final SubLSymbol $kw256$FINISHED_JOIN_PROBLEM_COUNT

$sym257$PROBLEM_STORE_FINISHED_JOIN_PROBLEM_COUNT

public static final SubLSymbol $sym257$PROBLEM_STORE_FINISHED_JOIN_PROBLEM_COUNT

$kw258$FINISHED_SPLIT_PROBLEM_COUNT

public static final SubLSymbol $kw258$FINISHED_SPLIT_PROBLEM_COUNT

$sym259$PROBLEM_STORE_FINISHED_SPLIT_PROBLEM_COUNT

public static final SubLSymbol $sym259$PROBLEM_STORE_FINISHED_SPLIT_PROBLEM_COUNT

$kw260$FINISHED_DISJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $kw260$FINISHED_DISJUNCTIVE_PROBLEM_COUNT

$sym261$PROBLEM_STORE_FINISHED_DISJUNCTIVE_PROBLEM_COUNT

public static final SubLSymbol $sym261$PROBLEM_STORE_FINISHED_DISJUNCTIVE_PROBLEM_COUNT

$kw262$SKSI_QUERY_TOTAL_TIME

public static final SubLSymbol $kw262$SKSI_QUERY_TOTAL_TIME

$sym263$SKSI_QUERY_TOTAL_TIME_ACCUMULATOR_LOOKUP

public static final SubLSymbol $sym263$SKSI_QUERY_TOTAL_TIME_ACCUMULATOR_LOOKUP

$kw264$SKSI_QUERY_START_TIMES

public static final SubLSymbol $kw264$SKSI_QUERY_START_TIMES

$sym265$SKSI_QUERY_START_TIMES_ACCUMULATOR_LOOKUP

public static final SubLSymbol $sym265$SKSI_QUERY_START_TIMES_ACCUMULATOR_LOOKUP

$kw266$SPARQL_QUERY_PROFILE

public static final SubLSymbol $kw266$SPARQL_QUERY_PROFILE

$sym267$SPARQL_QUERY_PROFILE_ACCUMULATOR_LOOKUP

public static final SubLSymbol $sym267$SPARQL_QUERY_PROFILE_ACCUMULATOR_LOOKUP

$sym268$_PROBLEM_STORE_HISTORICAL_COUNT_

public static final SubLSymbol $sym268$_PROBLEM_STORE_HISTORICAL_COUNT_

$sym269$_FORWARD_PROBLEM_STORE_HISTORICAL_COUNT_

public static final SubLSymbol $sym269$_FORWARD_PROBLEM_STORE_HISTORICAL_COUNT_

$sym270$_MAXIMUM_PROBLEM_STORE_HISTORICAL_PROBLEM_COUNT_

public static final SubLSymbol $sym270$_MAXIMUM_PROBLEM_STORE_HISTORICAL_PROBLEM_COUNT_

$sym271$_MAXIMUM_FORWARD_PROBLEM_STORE_HISTORICAL_PROBLEM_COUNT_

public static final SubLSymbol $sym271$_MAXIMUM_FORWARD_PROBLEM_STORE_HISTORICAL_PROBLEM_COUNT_

$int272$1000

public static final SubLInteger $int272$1000

$str273$Forward__S_contained__S_problems

public static final SubLString $str273$Forward__S_contained__S_problems

$sym274$_PROBLEM_HISTORICAL_COUNT_

public static final SubLSymbol $sym274$_PROBLEM_HISTORICAL_COUNT_

$sym275$_GOOD_PROBLEM_HISTORICAL_COUNT_

public static final SubLSymbol $sym275$_GOOD_PROBLEM_HISTORICAL_COUNT_

$sym276$_NO_GOOD_PROBLEM_HISTORICAL_COUNT_

public static final SubLSymbol $sym276$_NO_GOOD_PROBLEM_HISTORICAL_COUNT_

$sym277$_FORWARD_PROBLEM_HISTORICAL_COUNT_

public static final SubLSymbol $sym277$_FORWARD_PROBLEM_HISTORICAL_COUNT_

$sym278$_SINGLE_LITERAL_PROBLEM_HISTORICAL_COUNT_

public static final SubLSymbol $sym278$_SINGLE_LITERAL_PROBLEM_HISTORICAL_COUNT_

$sym279$_PROBLEM_LINK_HISTORICAL_COUNT_

public static final SubLSymbol $sym279$_PROBLEM_LINK_HISTORICAL_COUNT_

$sym280$_STRUCTURAL_LINK_HISTORICAL_COUNT_

public static final SubLSymbol $sym280$_STRUCTURAL_LINK_HISTORICAL_COUNT_

$sym281$_CONTENT_LINK_HISTORICAL_COUNT_

public static final SubLSymbol $sym281$_CONTENT_LINK_HISTORICAL_COUNT_

$sym282$_REMOVAL_LINK_HISTORICAL_COUNT_

public static final SubLSymbol $sym282$_REMOVAL_LINK_HISTORICAL_COUNT_

$sym283$_TRANSFORMATION_LINK_HISTORICAL_COUNT_

public static final SubLSymbol $sym283$_TRANSFORMATION_LINK_HISTORICAL_COUNT_

$kw284$REMOVAL

public static final SubLSymbol $kw284$REMOVAL

$kw285$TRANSFORMATION

public static final SubLSymbol $kw285$TRANSFORMATION

$kw286$REWRITE

public static final SubLSymbol $kw286$REWRITE

$sym287$_DEPENDENT_LINK_HISTORICAL_COUNT_

public static final SubLSymbol $sym287$_DEPENDENT_LINK_HISTORICAL_COUNT_

$sym288$_SINGLE_LITERAL_PROBLEM_DEPENDENT_LINK_HISTORICAL_COUNT_

public static final SubLSymbol $sym288$_SINGLE_LITERAL_PROBLEM_DEPENDENT_LINK_HISTORICAL_COUNT_

$sym289$_TACTIC_HISTORICAL_COUNT_

public static final SubLSymbol $sym289$_TACTIC_HISTORICAL_COUNT_

$sym290$_EXECUTED_TACTIC_HISTORICAL_COUNT_

public static final SubLSymbol $sym290$_EXECUTED_TACTIC_HISTORICAL_COUNT_

$sym291$_DISCARDED_TACTIC_HISTORICAL_COUNT_

public static final SubLSymbol $sym291$_DISCARDED_TACTIC_HISTORICAL_COUNT_

$sym292$_UNIFICATION_ATTEMPT_HISTORICAL_COUNT_

public static final SubLSymbol $sym292$_UNIFICATION_ATTEMPT_HISTORICAL_COUNT_

$sym293$_UNIFICATION_SUCCESS_HISTORICAL_COUNT_

public static final SubLSymbol $sym293$_UNIFICATION_SUCCESS_HISTORICAL_COUNT_

$sym294$_SBHL_CACHE_ATTEMPT_HISTORICAL_COUNT_

public static final SubLSymbol $sym294$_SBHL_CACHE_ATTEMPT_HISTORICAL_COUNT_

$sym295$_SBHL_CACHE_SUCCESS_HISTORICAL_COUNT_

public static final SubLSymbol $sym295$_SBHL_CACHE_SUCCESS_HISTORICAL_COUNT_

$sym296$_SBHL_GRAPH_ATTEMPT_HISTORICAL_COUNT_

public static final SubLSymbol $sym296$_SBHL_GRAPH_ATTEMPT_HISTORICAL_COUNT_

$sym297$_SBHL_GRAPH_SUCCESS_HISTORICAL_COUNT_

public static final SubLSymbol $sym297$_SBHL_GRAPH_SUCCESS_HISTORICAL_COUNT_

$sym298$_SBHL_LINK_HISTORICAL_COUNT_

public static final SubLSymbol $sym298$_SBHL_LINK_HISTORICAL_COUNT_

$sym299$_PROOF_HISTORICAL_COUNT_

public static final SubLSymbol $sym299$_PROOF_HISTORICAL_COUNT_

$sym300$_INFERENCE_HISTORICAL_COUNT_

public static final SubLSymbol $sym300$_INFERENCE_HISTORICAL_COUNT_

$sym301$_SUCCESSFUL_INFERENCE_HISTORICAL_COUNT_

public static final SubLSymbol $sym301$_SUCCESSFUL_INFERENCE_HISTORICAL_COUNT_

$sym302$_FORWARD_INFERENCE_HISTORICAL_COUNT_

public static final SubLSymbol $sym302$_FORWARD_INFERENCE_HISTORICAL_COUNT_

$sym303$_SUCCESSFUL_FORWARD_INFERENCE_HISTORICAL_COUNT_

public static final SubLSymbol $sym303$_SUCCESSFUL_FORWARD_INFERENCE_HISTORICAL_COUNT_

$kw304$SKSI_QUERY_TOTAL_TIME_ACC

public static final SubLSymbol $kw304$SKSI_QUERY_TOTAL_TIME_ACC

$kw305$SKSI_QUERY_START_TIMES_ACC

public static final SubLSymbol $kw305$SKSI_QUERY_START_TIMES_ACC

$kw306$SPARQL_QUERY_PROFILE_ACC

public static final SubLSymbol $kw306$SPARQL_QUERY_PROFILE_ACC

$list307

public static final SubLList $list307

$list308

public static final SubLList $list308

$kw309$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw309$ALLOW_OTHER_KEYS

$kw310$BROWSABLE_

public static final SubLSymbol $kw310$BROWSABLE_

$sym311$CLET

public static final SubLSymbol $sym311$CLET

$list312

public static final SubLList $list312

$sym313$_BROWSE_FORWARD_INFERENCES__

public static final SubLSymbol $sym313$_BROWSE_FORWARD_INFERENCES__

$list314

public static final SubLList $list314

$list315

public static final SubLList $list315

$list316

public static final SubLList $list316

$kw317$THRESHOLD

public static final SubLSymbol $kw317$THRESHOLD

$sym318$GATHERING_FORWARD_INFERENCE_METRICS

public static final SubLSymbol $sym318$GATHERING_FORWARD_INFERENCE_METRICS

$sym319$SHOW_FORWARD_INFERENCE_METRICS

public static final SubLSymbol $sym319$SHOW_FORWARD_INFERENCE_METRICS

$sym320$PROGN

public static final SubLSymbol $sym320$PROGN

$list321

public static final SubLList $list321

$sym322$SHOW_FORWARD_INFERENCE_METRICS_OF

public static final SubLSymbol $sym322$SHOW_FORWARD_INFERENCE_METRICS_OF

$sym323$_FORWARD_INFERENCE_METRICS_TIME_INDEX_

public static final SubLSymbol $sym323$_FORWARD_INFERENCE_METRICS_TIME_INDEX_

$sym324$_FORWARD_INFERENCE_METRICS_COUNT_INDEX_

public static final SubLSymbol $sym324$_FORWARD_INFERENCE_METRICS_COUNT_INDEX_

$sym325$_FORWARD_INFERENCE_METRICS_INFERENCE_INDEX_

public static final SubLSymbol $sym325$_FORWARD_INFERENCE_METRICS_INFERENCE_INDEX_

$sym326$VALID_INFERENCE_P

public static final SubLSymbol $sym326$VALID_INFERENCE_P

$sym327$_FORWARD_INFERENCE_METRICS_GAF_INDEX_

public static final SubLSymbol $sym327$_FORWARD_INFERENCE_METRICS_GAF_INDEX_

$sym328$_

public static final SubLSymbol $sym328$_

$sym329$CDR

public static final SubLSymbol $sym329$CDR

$list330

public static final SubLList $list330

$kw331$RULE

public static final SubLSymbol $kw331$RULE

$kw332$TIME

public static final SubLSymbol $kw332$TIME

$kw333$TRIGGER_GAFS

public static final SubLSymbol $kw333$TRIGGER_GAFS

$kw334$INFERENCE_COUNT

public static final SubLSymbol $kw334$INFERENCE_COUNT

$kw335$INFERENCES

public static final SubLSymbol $kw335$INFERENCES

$kw336$TOTAL_INFERENCES

public static final SubLSymbol $kw336$TOTAL_INFERENCES

$kw337$TOTAL_RULES

public static final SubLSymbol $kw337$TOTAL_RULES

$kw338$AVERAGE_INFERENCES_PER_RULE

public static final SubLSymbol $kw338$AVERAGE_INFERENCES_PER_RULE

$kw339$STDEV_INFERENCES_PER_RULE

public static final SubLSymbol $kw339$STDEV_INFERENCES_PER_RULE

$kw340$AVERAGE_TIME_PER_RULE

public static final SubLSymbol $kw340$AVERAGE_TIME_PER_RULE

$kw341$STDEV_TIME_PER_RULE

public static final SubLSymbol $kw341$STDEV_TIME_PER_RULE

$kw342$AVERAGE_TIME_PER_INFERENCE

public static final SubLSymbol $kw342$AVERAGE_TIME_PER_INFERENCE

$kw343$STDEV_TIME_PER_INFERENCE

public static final SubLSymbol $kw343$STDEV_TIME_PER_INFERENCE

$list344

public static final SubLList $list344

$list345

public static final SubLList $list345

$str346$_6FSSa__S

public static final SubLString $str346$___6F____S____S__a__S

$str347$___S

public static final SubLString $str347$___S

$sym348$DOUBLE_FLOAT

public static final SubLSymbol $sym348$DOUBLE_FLOAT

$str349$__Total_inferences_______________

public static final SubLString $str349$__Total_inferences_______________

$str350$___total_forward__data_directed__

public static final SubLString $str350$___total_forward__data_directed__

$str351$____successful_forward___________

public static final SubLString $str351$____successful_forward___________

$str352$___total_backward__query_directed

public static final SubLString $str352$___total_backward__query_directed

$str353$____successful_backward__________

public static final SubLString $str353$____successful_backward__________

$str354$___avg_relevant_problem_count____

public static final SubLString $str354$___avg_relevant_problem_count____

$str355$__Total_problem_stores___________

public static final SubLString $str355$__Total_problem_stores___________

$str356$___total_forward___data_directed_

public static final SubLString $str356$___total_forward___data_directed_

$str357$___max_problem_store_problem_coun

public static final SubLString $str357$___max_problem_store_problem_coun

$str358$___avg_problem_store_problem_coun

public static final SubLString $str358$___avg_problem_store_problem_coun

$str359$___max_forward_problem_store_prob

public static final SubLString $str359$___max_forward_problem_store_prob

$str360$___avg_forward_problem_store_prob

public static final SubLString $str360$___avg_forward_problem_store_prob

$str361$__Total_problems___________6_

public static final SubLString $str361$__Total_problems_____________6___

$str362$___total_good_problems_____6_

public static final SubLString $str362$___total_good_problems_______6___

$str363$___total_no_good_problems__6_

public static final SubLString $str363$___total_no_good_problems____6___

$str364$___total_forward_problems__6_

public static final SubLString $str364$___total_forward_problems____6___

$str365$___total_problem_reuses____6_

public static final SubLString $str365$___total_problem_reuses______6___

$str366$____problem_reuse_ratio____6_

public static final SubLString $str366$____problem_reuse_ratio______6___

$str367$__Total_problem_links______6_

public static final SubLString $str367$__Total_problem_links________6___

$str368$___total_structural_links__6_

public static final SubLString $str368$___total_structural_links____6___

$str369$___total_content_links_____6_

public static final SubLString $str369$___total_content_links_______6___

$str370$____removal_links__________6_

public static final SubLString $str370$____removal_links____________6___

$str371$____transformation_links___6_

public static final SubLString $str371$____transformation_links_____6___

$str372$__Total_tactics_____6_D

public static final SubLString $str372$__Total_tactics_______6___D

$str373$___total_executed___6_D

public static final SubLString $str373$___total_executed_____6___D

$str374$___total_discarded__6_D

public static final SubLString $str374$___total_discarded____6___D

$str375$__Total_SBHL_cache_calls____9

public static final SubLString $str375$__Total_SBHL_cache_calls______9__

$str376$_successful_____________9

public static final SubLString $str376$___successful_________________9__

$str377$__Total_SBHL_graph_walks____9

public static final SubLString $str377$__Total_SBHL_graph_walks______9__

$str378$__Total_unification_attempts____6

public static final SubLString $str378$__Total_unification_attempts____6

$str379$___successful_unifications______6

public static final SubLString $str379$___successful_unifications______6

$str380$__Total_proofs__6_D

public static final SubLString $str380$__Total_proofs____6___D

$int381$100

public static final SubLInteger $int381$100

$str382$_2_D___

public static final SubLString $str382$___2___D___

$str383$_3_D___

public static final SubLString $str383$___3___D___

$str384$_D_

public static final SubLString $str384$___D___

Method Detail

inference_metric_print_function_trampoline

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

_csetf_inf_metric_name

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

_csetf_inf_metric_evaluation_func

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

_csetf_inf_metric_evaluation_arg1

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

_csetf_inf_metric_cross_productP

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

make_inference_metric

public static final SubLObject make_inference_metric(SubLObject arglist)

new_inference_metric

public static final SubLObject new_inference_metric(SubLObject name,
                                                    SubLObject evaluation_func,
                                                    SubLObject evaluation_arg1,
                                                    SubLObject cross_productP)

declare_inference_metric

public static final SubLObject declare_inference_metric(SubLObject name,
                                                        SubLObject evaluation_func,
                                                        SubLObject evaluation_arg1,
                                                        SubLObject cross_productP)

increment_problem_store_historical_count

public static final SubLObject increment_problem_store_historical_count()

increment_forward_problem_store_historical_count

public static final SubLObject increment_forward_problem_store_historical_count()

update_maximum_problem_store_historical_problem_count

public static final SubLObject update_maximum_problem_store_historical_problem_count(SubLObject problem_store)

update_maximum_forward_problem_store_historical_problem_count

public static final SubLObject update_maximum_forward_problem_store_historical_problem_count(SubLObject problem_store)

increment_problem_historical_count

public static final SubLObject increment_problem_historical_count()

increment_good_problem_historical_count

public static final SubLObject increment_good_problem_historical_count()

increment_no_good_problem_historical_count

public static final SubLObject increment_no_good_problem_historical_count()

update_forward_problem_historical_count

public static final SubLObject update_forward_problem_historical_count(SubLObject problem_store)

increment_single_literal_problem_historical_count

public static final SubLObject increment_single_literal_problem_historical_count()

increment_problem_link_type_historical_counts

public static final SubLObject increment_problem_link_type_historical_counts(SubLObject link_type)

increment_dependent_link_historical_count

public static final SubLObject increment_dependent_link_historical_count()

increment_single_literal_problem_dependent_link_historical_count

public static final SubLObject increment_single_literal_problem_dependent_link_historical_count()

increment_tactic_historical_count

public static final SubLObject increment_tactic_historical_count()

increment_executed_tactic_historical_count

public static final SubLObject increment_executed_tactic_historical_count()

increment_discarded_tactic_historical_count

public static final SubLObject increment_discarded_tactic_historical_count()

increment_unification_attempt_historical_count

public static final SubLObject increment_unification_attempt_historical_count()

increment_unification_success_historical_count

public static final SubLObject increment_unification_success_historical_count()

increment_sbhl_cache_attempt_historical_count

public static final SubLObject increment_sbhl_cache_attempt_historical_count()

increment_sbhl_cache_success_historical_count

public static final SubLObject increment_sbhl_cache_success_historical_count()

increment_sbhl_graph_attempt_historical_count

public static final SubLObject increment_sbhl_graph_attempt_historical_count()

increment_sbhl_graph_success_historical_count

public static final SubLObject increment_sbhl_graph_success_historical_count()

increment_proof_historical_count

public static final SubLObject increment_proof_historical_count()

increment_inference_historical_count

public static final SubLObject increment_inference_historical_count()

increment_successful_inference_historical_count

public static final SubLObject increment_successful_inference_historical_count()

increment_forward_inference_historical_count

public static final SubLObject increment_forward_inference_historical_count()

increment_successful_forward_inference_historical_count

public static final SubLObject increment_successful_forward_inference_historical_count()

increment_forward_inference_metrics

public static final SubLObject increment_forward_inference_metrics(SubLObject rule,
                                                                   SubLObject rule_time,
                                                                   SubLObject inference)

declare_inference_metrics_file

public static final SubLObject declare_inference_metrics_file()

init_inference_metrics_file

public static final SubLObject init_inference_metrics_file()

setup_inference_metrics_file

public static final SubLObject setup_inference_metrics_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_metrics

me

myName

$dtp_inference_metric$

$gathering_forward_inference_metricsP$

$list0

$sym1$INFERENCE_METRIC

$sym2$INFERENCE_METRIC_P

$list3

$list4

$list5

$list6

$sym7$PRINT_INFERENCE_METRIC

$sym8$INFERENCE_METRIC_PRINT_FUNCTION_TRAMPOLINE

$sym9$INF_METRIC_NAME

$sym10$_CSETF_INF_METRIC_NAME

$sym11$INF_METRIC_EVALUATION_FUNC

$sym12$_CSETF_INF_METRIC_EVALUATION_FUNC

$sym13$INF_METRIC_EVALUATION_ARG1

$sym14$_CSETF_INF_METRIC_EVALUATION_ARG1

$sym15$INF_METRIC_CROSS_PRODUCT_

$sym16$_CSETF_INF_METRIC_CROSS_PRODUCT_

$kw17$NAME

$kw18$EVALUATION_FUNC

$kw19$EVALUATION_ARG1

$kw20$CROSS_PRODUCT_

$str21$Invalid_slot__S_for_construction_

$str22$_INFERENCE_METRIC___s_

$sym23$KEYWORDP

$sym24$SYMBOLP

$sym25$INFERENCE_METRIC_EVALUATION_ARG1_P

$sym26$BOOLEANP

$sym27$INFERENCE_P

$sym28$PROBLEM_STORE_P

$kw29$STORE

$kw30$INFERENCE

$str31$Unhandled_inference_metric_evalua

$sym32$_INFERENCE_METRICS_STORE_

$list33

$kw34$ANSWER_COUNT

$sym35$INFERENCE_ANSWER_COUNT

$kw36$ANSWER_COUNT_AT_30_SECONDS

$sym37$INFERENCE_ANSWER_COUNT_AT_30_SECONDS

$kw38$ANSWER_COUNT_AT_60_SECONDS

$sym39$INFERENCE_ANSWER_COUNT_AT_60_SECONDS

$kw40$TIME_TO_FIRST_ANSWER

$sym41$INFERENCE_FIRST_ANSWER_ELAPSED_TIME

$kw42$TIME_TO_LAST_ANSWER

$sym43$INFERENCE_LAST_ANSWER_ELAPSED_TIME

$kw44$TOTAL_TIME

$sym45$INFERENCE_CUMULATIVE_TIME

$kw46$TIME_PER_ANSWER

$sym47$INFERENCE_TIME_PER_ANSWER

$kw48$STEPS_TO_FIRST_ANSWER

$sym49$INFERENCE_FIRST_ANSWER_STEP_COUNT

$kw50$STEPS_TO_LAST_ANSWER

$sym51$INFERENCE_LAST_ANSWER_STEP_COUNT

$kw52$TOTAL_STEPS

$sym53$INFERENCE_CUMULATIVE_STEP_COUNT

$kw54$STEPS_PER_ANSWER

$sym55$INFERENCE_STEPS_PER_ANSWER

$kw56$WASTED_TIME_AFTER_LAST_ANSWER

$sym57$INFERENCE_WASTED_TIME_AFTER_LAST_ANSWER

$kw58$LATENCY_IMPROVEMENT_FROM_ITERATIVITY

$sym59$INFERENCE_LATENCY_IMPROVEMENT_FROM_ITERATIVITY

$kw60$PROBLEM_COUNT

$sym61$PROBLEM_STORE_PROBLEM_COUNT

$kw62$PROBLEM_STORE_PROBLEM_COUNT

$kw63$PROOF_COUNT

$sym64$PROBLEM_STORE_PROOF_COUNT

$kw65$PROBLEM_STORE_PROOF_COUNT

$kw66$LINK_COUNT

$sym67$PROBLEM_STORE_LINK_COUNT

$kw68$TACTIC_COUNT

$sym69$PROBLEM_STORE_TACTIC_COUNT

$kw70$POSSIBLE_TACTIC_COUNT

$sym71$PROBLEM_STORE_POSSIBLE_TACTIC_COUNT

$kw72$EXECUTED_TACTIC_COUNT

$sym73$PROBLEM_STORE_EXECUTED_TACTIC_COUNT

$kw74$TACTIC_EXECUTION_COUNT

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