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_problem

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class inference_datastructures_problem
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`inference_datastructures_problem.$problem_native`
`static class`	`inference_datastructures_problem.$problem_p$UnaryFunction`
`static class`	`inference_datastructures_problem.$sxhash_problem_method$UnaryFunction`

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

Field Summary
`static SubLObject`	`$const155$ist`
`static SubLObject`	`$const156$InferencePSC`
`static SubLSymbol`	$dtp_problem$
`static SubLSymbol`	$empty_clauses$
`static SubLInteger`	`$int186$10000`
`static SubLInteger`	`$int2$212`
`static SubLSymbol`	`$kw102$OPEN_`
`static SubLSymbol`	`$kw118$PROOF_STATUS`
`static SubLSymbol`	`$kw150$SKIP`
`static SubLSymbol`	`$kw152$NEG`
`static SubLSymbol`	`$kw154$POS`
`static SubLSymbol`	`$kw166$ANSWER`
`static SubLSymbol`	`$kw167$TRANSFORMATION`
`static SubLSymbol`	`$kw171$POSSIBLE`
`static SubLSymbol`	`$kw172$EXECUTED`
`static SubLSymbol`	`$kw173$DISCARDED`
`static SubLSymbol`	`$kw176$REMOVAL`
`static SubLSymbol`	`$kw178$PROVEN`
`static SubLSymbol`	`$kw179$REJECTED`
`static SubLSymbol`	`$kw180$INDESTRUCTIBLE`
`static SubLSymbol`	`$kw181$DESTRUCTIBLE`
`static SubLSymbol`	`$kw182$UNKNOWN`
`static SubLSymbol`	`$kw183$UNDETERMINED`
`static SubLSymbol`	`$kw184$COUNTERINTUITIVE`
`static SubLSymbol`	`$kw27$SUID`
`static SubLSymbol`	`$kw28$STORE`
`static SubLSymbol`	`$kw29$QUERY`
`static SubLSymbol`	`$kw30$STATUS`
`static SubLSymbol`	`$kw31$DEPENDENT_LINKS`
`static SubLSymbol`	`$kw32$ARGUMENT_LINKS`
`static SubLSymbol`	`$kw33$TACTICS`
`static SubLSymbol`	`$kw34$PROOF_BINDINGS_INDEX`
`static SubLSymbol`	`$kw35$ARGUMENT_LINK_BINDINGS_INDEX`
`static SubLSymbol`	`$kw37$FREE`
`static SubLSymbol`	`$kw45$NEW`
`static SubLSymbol`	`$kw49$ALLOW_OTHER_KEYS`
`static SubLSymbol`	`$kw50$DONE`
`static SubLSymbol`	`$kw55$COMPLETENESS`
`static SubLSymbol`	`$kw56$PREFERENCE_LEVEL`
`static SubLSymbol`	`$kw57$HL_MODULE`
`static SubLSymbol`	`$kw58$TYPE`
`static SubLSymbol`	`$kw59$PRODUCTIVITY`
`static SubLSymbol`	`$kw77$NON_TRANSFORMATION`
`static SubLSymbol`	`$kw78$GENERALIZED_REMOVAL`
`static SubLSymbol`	`$kw79$GENERALIZED_REMOVAL_OR_REWRITE`
`static SubLSymbol`	`$kw80$CONNECTED_CONJUNCTION`
`static SubLSymbol`	`$kw81$CONJUNCTIVE`
`static SubLSymbol`	`$kw82$DISJUNCTIVE`
`static SubLSymbol`	`$kw83$LOGICAL`
`static SubLSymbol`	`$kw84$LOGICAL_CONJUNCTIVE`
`static SubLSymbol`	`$kw85$STRUCTURAL_CONJUNCTIVE`
`static SubLSymbol`	`$kw86$META_STRUCTURAL`
`static SubLSymbol`	`$kw87$CONTENT`
`static SubLSymbol`	`$kw88$UNION`
`static SubLSymbol`	`$kw89$SPLIT`
`static SubLSymbol`	`$kw90$JOIN_ORDERED`
`static SubLSymbol`	`$kw91$JOIN`
`static SubLList`	`$list100`
`static SubLList`	`$list101`
`static SubLList`	`$list107`
`static SubLList`	`$list110`
`static SubLList`	`$list113`
`static SubLList`	`$list116`
`static SubLList`	`$list117`
`static SubLList`	`$list127`
`static SubLList`	`$list131`
`static SubLList`	`$list137`
`static SubLList`	`$list142`
`static SubLList`	`$list146`
`static SubLList`	`$list148`
`static SubLList`	`$list153`
`static SubLList`	`$list158`
`static SubLList`	`$list3`
`static SubLList`	`$list4`
`static SubLList`	`$list47`
`static SubLList`	`$list48`
`static SubLList`	`$list5`
`static SubLList`	`$list53`
`static SubLList`	`$list54`
`static SubLList`	`$list6`
`static SubLList`	`$list75`
`static SubLList`	`$list94`
`static SubLList`	`$list95`
`static SubLSymbol`	$max_problem_tactics$ The maximum number of tactics (of any status) that can be on a single problem.
`static SubLSymbol`	$problem_min_transformation_depth_from_signature_enabledP$ Temporary control variable; when non-nil min-transformation-depth is computed from the min-transformation-depth-signature.
`static SubLString`	`$str157$The_problem__S_did_not_have_a_sin`
`static SubLString`	`$str159$Found_more_than_one__a_argument_l`
`static SubLString`	`$str160$Expected__a_to_have_a__a_argument`
`static SubLString`	`$str164$_a_had_more_than_one_dependent_li`
`static SubLString`	`$str165$_a_had_no_dependent_links`
`static SubLString`	`$str188$Tried_to_add__s_to__s__which_woul`
`static SubLString`	`$str36$Invalid_slot__S_for_construction_`
`static SubLString`	`$str38$_Invalid_PROBLEM__s_`
`static SubLString`	`$str39$__a_PROBLEM__a__a__s_`
`static SubLString`	`$str43$Ignore_the_crazy_problems`
`static SubLString`	`$str44$Crazy_amount_of_problems___a__in_`
`static SubLSymbol`	`$sym0$PROBLEM`
`static SubLSymbol`	`$sym1$PROBLEM_P`
`static SubLSymbol`	`$sym10$_CSETF_PROB_SUID`
`static SubLSymbol`	`$sym103$PROBLEM_VAR`
`static SubLSymbol`	`$sym104$CLET`
`static SubLSymbol`	`$sym105$DO_PROBLEM_LINK_SUPPORTING_MAPPED_PROBLEMS`
`static SubLSymbol`	`$sym106$MAPPED_PROBLEM_PROBLEM`
`static SubLSymbol`	`$sym108$LINK`
`static SubLSymbol`	`$sym109$PROBLEM_LINK_SUPPORTED_PROBLEM`
`static SubLSymbol`	`$sym11$PROB_STORE`
`static SubLSymbol`	`$sym111$LINK`
`static SubLSymbol`	`$sym112$PROBLEM_LINK_SUPPORTED_INFERENCE`
`static SubLSymbol`	`$sym114$LINK`
`static SubLSymbol`	`$sym115$DO_PROBLEM_LINK_SUPPORTING_PROBLEMS`
`static SubLSymbol`	`$sym119$PROOF_LIST`
`static SubLSymbol`	`$sym12$_CSETF_PROB_STORE`
`static SubLSymbol`	`$sym120$BINDINGS`
`static SubLSymbol`	`$sym121$DO_DICTIONARY_CONTENTS`
`static SubLSymbol`	`$sym122$PROBLEM_PROOF_BINDINGS_INDEX`
`static SubLSymbol`	`$sym123$IGNORE`
`static SubLSymbol`	`$sym124$STATUS_VAR`
`static SubLSymbol`	`$sym125$DO_PROBLEM_PROOFS`
`static SubLSymbol`	`$sym126$PROOF_HAS_STATUS_`
`static SubLSymbol`	`$sym128$STRATEGY`
`static SubLSymbol`	`$sym129$DO_PROBLEM_ACTIVE_STRATEGIES`
`static SubLSymbol`	`$sym13$PROB_QUERY`
`static SubLSymbol`	`$sym130$STRATEGY_INFERENCE`
`static SubLSymbol`	`$sym132$STORE`
`static SubLSymbol`	`$sym133$PROB`
`static SubLSymbol`	`$sym134$PROBLEM_STORE`
`static SubLSymbol`	`$sym135$DO_PROBLEM_STORE_INFERENCES`
`static SubLSymbol`	`$sym136$PROBLEM_RELEVANT_TO_INFERENCE_`
`static SubLSymbol`	`$sym138$STORE`
`static SubLSymbol`	`$sym139$PROB`
`static SubLSymbol`	`$sym14$_CSETF_PROB_QUERY`
`static SubLSymbol`	`$sym140$DO_PROBLEM_STORE_STRATEGIES`
`static SubLSymbol`	`$sym141$PROBLEM_ACTIVE_IN_STRATEGY_`
`static SubLSymbol`	`$sym143$INFERENCE`
`static SubLSymbol`	`$sym144$DO_PROBLEM_RELEVANT_INFERENCES`
`static SubLSymbol`	`$sym145$DO_INFERENCE_STRATEGIES`
`static SubLSymbol`	`$sym147$PROGN`
`static SubLSymbol`	`$sym149$DO_PROBLEM_RELEVANT_STRATEGIES`
`static SubLSymbol`	`$sym15$PROB_STATUS`
`static SubLSymbol`	`$sym151$PROBLEM_STATUS_P`
`static SubLSymbol`	`$sym16$_CSETF_PROB_STATUS`
`static SubLSymbol`	`$sym161$PROBLEM_LINK_TYPE_P`
`static SubLSymbol`	`$sym162$_`
`static SubLSymbol`	`$sym163$PROBLEM_SUID`
`static SubLSymbol`	`$sym168$TACTIC_POSSIBLE_`
`static SubLSymbol`	`$sym169$TACTIC_EXECUTED_`
`static SubLSymbol`	`$sym17$PROB_DEPENDENT_LINKS`
`static SubLSymbol`	`$sym170$TACTIC_DISCARDED_`
`static SubLSymbol`	`$sym174$TACTIC_STATUS_P`
`static SubLSymbol`	`$sym175$STRATEGIC_CONTEXT_P`
`static SubLSymbol`	`$sym177$PROBLEM_HAS_AN_IN_PROGRESS_TACTIC_`
`static SubLSymbol`	`$sym18$_CSETF_PROB_DEPENDENT_LINKS`
`static SubLSymbol`	`$sym185$PROBLEM_LINK_P`
`static SubLSymbol`	`$sym187$TACTIC_P`
`static SubLSymbol`	`$sym189$PROOF_P`
`static SubLSymbol`	`$sym19$PROB_ARGUMENT_LINKS`
`static SubLSymbol`	`$sym190$BINDINGS_P`
`static SubLSymbol`	`$sym191$NON_NEGATIVE_INTEGER_P`
`static SubLSymbol`	`$sym192$INFERENCE_P`
`static SubLSymbol`	`$sym193$PROBLEM_QUERY_DEPTH_SIGNATURE_P`
`static SubLSymbol`	`$sym194$_`
`static SubLSymbol`	`$sym195$CDR`
`static SubLSymbol`	`$sym20$_CSETF_PROB_ARGUMENT_LINKS`
`static SubLSymbol`	`$sym21$PROB_TACTICS`
`static SubLSymbol`	`$sym22$_CSETF_PROB_TACTICS`
`static SubLSymbol`	`$sym23$PROB_PROOF_BINDINGS_INDEX`
`static SubLSymbol`	`$sym24$_CSETF_PROB_PROOF_BINDINGS_INDEX`
`static SubLSymbol`	`$sym25$PROB_ARGUMENT_LINK_BINDINGS_INDEX`
`static SubLSymbol`	`$sym26$_CSETF_PROB_ARGUMENT_LINK_BINDINGS_INDEX`
`static SubLSymbol`	`$sym40$SXHASH_PROBLEM_METHOD`
`static SubLSymbol`	`$sym41$PROBLEM_STORE_P`
`static SubLSymbol`	`$sym42$CONTEXTUALIZED_DNF_CLAUSES_P`
`static SubLSymbol`	`$sym46$_EMPTY_CLAUSES_`
`static SubLSymbol`	`$sym51$DO_PROBLEM_QUERY_LITERALS`
`static SubLSymbol`	`$sym52$PROBLEM_QUERY`
`static SubLSymbol`	`$sym60$DO_PROBLEM_TACTICS_TYPE_MATCH`
`static SubLSymbol`	`$sym61$DO_PROBLEM_TACTICS_STATUS_MATCH`
`static SubLSymbol`	`$sym62$DO_PROBLEM_TACTICS_COMPLETENESS_MATCH`
`static SubLSymbol`	`$sym63$DO_PROBLEM_TACTICS_PREFERENCE_LEVEL_MATCH`
`static SubLSymbol`	`$sym64$DO_PROBLEM_TACTICS_HL_MODULE_MATCH`
`static SubLSymbol`	`$sym65$DO_PROBLEM_TACTICS_PRODUCTIVITY_MATCH`
`static SubLSymbol`	`$sym66$DO_LIST`
`static SubLSymbol`	`$sym67$PROBLEM_TACTICS`
`static SubLSymbol`	`$sym68$DO_PROBLEM_TACTICS`
`static SubLSymbol`	`$sym69$PWHEN`
`static SubLSymbol`	`$sym7$PRINT_PROBLEM`
`static SubLSymbol`	`$sym70$CAND`
`static SubLSymbol`	`$sym71$COMPLETENESS_P`
`static SubLSymbol`	`$sym72$PREFERENCE_LEVEL_P`
`static SubLSymbol`	`$sym73$PRODUCTIVITY_P`
`static SubLSymbol`	`$sym74$HL_MODULE_P`
`static SubLSymbol`	`$sym76$GENERALIZED_TACTIC_TYPE_P`
`static SubLSymbol`	`$sym8$PROBLEM_PRINT_FUNCTION_TRAMPOLINE`
`static SubLSymbol`	`$sym9$PROB_SUID`
`static SubLSymbol`	`$sym92$PROBLEM_ARGUMENT_LINKS`
`static SubLSymbol`	`$sym93$DO_PROBLEM_ARGUMENT_LINKS`
`static SubLSymbol`	`$sym96$DO_SET_CONTENTS`
`static SubLSymbol`	`$sym97$PROBLEM_DEPENDENT_LINKS`
`static SubLSymbol`	`$sym98$DO_PROBLEM_DEPENDENT_LINKS`
`static SubLSymbol`	`$sym99$PROBLEM_LINK_HAS_TYPE_`
`static SubLSymbol`	$transformation_depth_computation$ :intuitive or :counterintuitive.
`static SubLFile`	`me`
`static java.lang.String`	`myName`

Fields inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
`EMPTY_SUBL_OBJECT_ARRAY`

Fields inherited from interface com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols
ANSWER_TAG, APPEND_KEYWORD, APPEND_STACK_TRACES_TO_ERROR_MESSAGES, AREF, ASSEMBLE_FIXNUMS_TO_INTEGER, ATOM, BIGNUMP, BINARY_KEYWORD, BINDING_TYPE, BOOLEANP, CAAR, CADR, CAND, CAR, CCATCH, CDEC, CDESTRUCTURING_BIND, CDO, CDO_ALL_SYMBOLS, CDO_EXTERNAL_SYMBOLS, CDO_SYMBOLS, CDOHASH, CDOLIST, CDOTIMES, CDR, CHAR, CHAR_E_SYMBOL, CHAR_EQUAL_SYMBOL, CHAR_GREATER_THAN_OR_EQUAL_SYMBOL, CHAR_GREATER_THAN_SYMBOL, CHAR_GT_SYMBOL, CHAR_GTE_SYMBOL, CHAR_LESS_THAN_OR_EQUAL_SYMBOL, CHAR_LESS_THAN_SYMBOL, CHAR_LT_SYMBOL, CHAR_LTE_SYMBOL, CHAR_NE_SYMBOL, CHAR_NOT_EQUAL_SYMBOL, CHARACTERP, CHECK_TYPE, CINC, CLET, CMULTIPLE_VALUE_BIND, CNOT, CONS, CONSP, CONSTANT, COR, CPOP, CPROGV, CPUSH, CPUSHNEW, CREATE_KEYWORD, CSETF, CSETQ, CSOME, CTIME, CUNWIND_PROTECT, CVS_ID, DEBUG_IO, DECLAIM, DECLARE, DEFCONSTANT, DEFINE, DEFLEXICAL, DEFMACRO, DEFPARAMETER, DEFVAR, DIRECTION_KEYWORD, DYNAMIC, EIGHT_INTEGER, EIGHTEEN_INTEGER, ELEMENT_TYPE_KEYWORD, ELEVEN_INTEGER, END_KEYWORD, ENFORCE_MUST, ENFORCE_TYPE, EQ, EQL, EQUAL, EQUALP, ERROR, ERROR_KEYWORD, ERROR_OUTPUT, EVAL, EXTERNAL_FORMAT_KEYWORD, EXTERNAL_KEYWORD, FIF, FIFTEEN_INTEGER, FIRST, FIVE_INTEGER, FIXNUMP, FLOATP, FOUR_INTEGER, FOURTEEN_INTEGER, FUNCTION, FUNCTION_SPEC_P, FUNCTIONP, FUNLESS, FWHEN, GET, GETHASH, GETHASH_WITHOUT_VALUES, GUID_P, HASH_TABLE_ITERATOR_P, HASH_TABLE_P, IDENTITY, IF_DOES_NOT_EXIST_KEYWORD, IF_EXISTS_KEYWORD, IGNORE, INITIALIZATION_TYPE, INITIALIZER, INPUT_KEYWORD, INPUT_STREAM_P, INTEGERP, INTERNAL_KEYWORD, IO_KEYWORD, KEYWORDP, KILL_KEYWORD, LAMBDA_SYMBOL, LEXICAL, LIST, LISTP, LISTS, LOCK_P, LONG_BIGNUM_P, MACRO_ENV, MACRO_FORM, MEDIUM_BIGNUM_P, MEMBER, MINUS_ONE_INTEGER, MULTIPLE_VALUE_LIST, MUST, NCONC, NEW_VERSION_KEYWORD, NIL, NINE_INTEGER, NINETEEN_INTEGER, NREVERSE, NTH, NTH_VALUE, NULL, NULL_INPUT, NULL_OUTPUT, NUM_E_SYMBOL, NUM_GT_SYMBOL, NUM_GTE_SYMBOL, NUM_LT_SYMBOL, NUM_LTE_SYMBOL, NUM_NE_SYMBOL, NUMBERP, ONE_HUNDRED_THIRTY_SEVEN_INTEGER, ONE_HUNDRED_TWENTY_SEVEN_INTEGER, ONE_INTEGER, ONE_THOUSAND_INTEGER, OPTIONAL_SYMBOL, OTHERWISE, OUTPUT_KEYWORD, OUTPUT_STREAM_P, OVERWRITE_KEYWORD, PACKAGEP, PCASE, PCOND, PIF, PROBE_KEYWORD, PROCESS_TO_END, PROCESSP, PROCLAIM, PROGN, PUNLESS, PWHEN, QUERY_IO, QUIT, QUOTE, RENAME_AND_DELETE_KEYWORD, REST_SYMBOL, RET, RET_NIL, RET_T, RETURN_TAG, REVERSE, RW_LOCK_P, SECOND, SEQUENCEP, SEVEN_INTEGER, SEVENTEEN_INTEGER, SHORT_BIGNUM_P, SHOW_STACK_TRACES, SIX_INTEGER, SIXTEEN_INTEGER, SIXTY_FOUR_INTEGER, SORT, SSS, STANDARD_INPUT, STANDARD_OUTPUT, START_KEYWORD, STREAMP, STRING_E_SYMBOL, STRING_EQUAL_SYMBOL, STRING_GREATER_THAN_OR_EQUAL_SYMBOL, STRING_GREATER_THAN_SYMBOL, STRING_GT_SYMBOL, STRING_GTE_SYMBOL, STRING_LESS_THAN_OR_EQUAL_SYMBOL, STRING_LESS_THAN_SYMBOL, STRING_LT_SYMBOL, STRING_LTE_SYMBOL, STRING_NE_SYMBOL, STRING_NOT_EQUAL_SYMBOL, STRINGP, STRUCTURE_P, SUPERSEDE_KEYWORD, SUSPEND_TYPE_CHECKING, SYMBOL_FUNCTION, SYMBOL_VALUE, SYMBOLP, T, TEN_INTEGER, TERMINAL_IO, TEXT_KEYWORD, THIRTEEN_INTEGER, THIRTY_FOUR_INTEGER, THIRTY_THREE_INTEGER, THIRTY_TWO_INTEGER, THREE_INTEGER, TRACE_OUTPUT, TRUE, TWELVE_INTEGER, TWENTY_INTEGER, TWO_HUNDRED_FIFTY_FOUR_INTEGER, TWO_HUNDRED_FORTY_FOUR_INTEGER, TWO_INTEGER, UNDECLARED, UNPROVIDED, VALUES, VECTOR, VECTORP, WITH_ERROR_HANDLER, WITH_STATIC_AREA, WITH_THREAD_PRIVATE_AREA, WITH_WORKING_AREA, WORLD, ZERO_DOUBLE, ZERO_INTEGER

Fields inherited from interface com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols

ANSWER_TAG, APPEND_KEYWORD, APPEND_STACK_TRACES_TO_ERROR_MESSAGES, AREF, ASSEMBLE_FIXNUMS_TO_INTEGER, ATOM, BIGNUMP, BINARY_KEYWORD, BINDING_TYPE, BOOLEANP, CAAR, CADR, CAND, CAR, CCATCH, CDEC, CDESTRUCTURING_BIND, CDO, CDO_ALL_SYMBOLS, CDO_EXTERNAL_SYMBOLS, CDO_SYMBOLS, CDOHASH, CDOLIST, CDOTIMES, CDR, CHAR, CHAR_E_SYMBOL, CHAR_EQUAL_SYMBOL, CHAR_GREATER_THAN_OR_EQUAL_SYMBOL, CHAR_GREATER_THAN_SYMBOL, CHAR_GT_SYMBOL, CHAR_GTE_SYMBOL, CHAR_LESS_THAN_OR_EQUAL_SYMBOL, CHAR_LESS_THAN_SYMBOL, CHAR_LT_SYMBOL, CHAR_LTE_SYMBOL, CHAR_NE_SYMBOL, CHAR_NOT_EQUAL_SYMBOL, CHARACTERP, CHECK_TYPE, CINC, CLET, CMULTIPLE_VALUE_BIND, CNOT, CONS, CONSP, CONSTANT, COR, CPOP, CPROGV, CPUSH, CPUSHNEW, CREATE_KEYWORD, CSETF, CSETQ, CSOME, CTIME, CUNWIND_PROTECT, CVS_ID, DEBUG_IO, DECLAIM, DECLARE, DEFCONSTANT, DEFINE, DEFLEXICAL, DEFMACRO, DEFPARAMETER, DEFVAR, DIRECTION_KEYWORD, DYNAMIC, EIGHT_INTEGER, EIGHTEEN_INTEGER, ELEMENT_TYPE_KEYWORD, ELEVEN_INTEGER, END_KEYWORD, ENFORCE_MUST, ENFORCE_TYPE, EQ, EQL, EQUAL, EQUALP, ERROR, ERROR_KEYWORD, ERROR_OUTPUT, EVAL, EXTERNAL_FORMAT_KEYWORD, EXTERNAL_KEYWORD, FIF, FIFTEEN_INTEGER, FIRST, FIVE_INTEGER, FIXNUMP, FLOATP, FOUR_INTEGER, FOURTEEN_INTEGER, FUNCTION, FUNCTION_SPEC_P, FUNCTIONP, FUNLESS, FWHEN, GET, GETHASH, GETHASH_WITHOUT_VALUES, GUID_P, HASH_TABLE_ITERATOR_P, HASH_TABLE_P, IDENTITY, IF_DOES_NOT_EXIST_KEYWORD, IF_EXISTS_KEYWORD, IGNORE, INITIALIZATION_TYPE, INITIALIZER, INPUT_KEYWORD, INPUT_STREAM_P, INTEGERP, INTERNAL_KEYWORD, IO_KEYWORD, KEYWORDP, KILL_KEYWORD, LAMBDA_SYMBOL, LEXICAL, LIST, LISTP, LISTS, LOCK_P, LONG_BIGNUM_P, MACRO_ENV, MACRO_FORM, MEDIUM_BIGNUM_P, MEMBER, MINUS_ONE_INTEGER, MULTIPLE_VALUE_LIST, MUST, NCONC, NEW_VERSION_KEYWORD, NIL, NINE_INTEGER, NINETEEN_INTEGER, NREVERSE, NTH, NTH_VALUE, NULL, NULL_INPUT, NULL_OUTPUT, NUM_E_SYMBOL, NUM_GT_SYMBOL, NUM_GTE_SYMBOL, NUM_LT_SYMBOL, NUM_LTE_SYMBOL, NUM_NE_SYMBOL, NUMBERP, ONE_HUNDRED_THIRTY_SEVEN_INTEGER, ONE_HUNDRED_TWENTY_SEVEN_INTEGER, ONE_INTEGER, ONE_THOUSAND_INTEGER, OPTIONAL_SYMBOL, OTHERWISE, OUTPUT_KEYWORD, OUTPUT_STREAM_P, OVERWRITE_KEYWORD, PACKAGEP, PCASE, PCOND, PIF, PROBE_KEYWORD, PROCESS_TO_END, PROCESSP, PROCLAIM, PROGN, PUNLESS, PWHEN, QUERY_IO, QUIT, QUOTE, RENAME_AND_DELETE_KEYWORD, REST_SYMBOL, RET, RET_NIL, RET_T, RETURN_TAG, REVERSE, RW_LOCK_P, SECOND, SEQUENCEP, SEVEN_INTEGER, SEVENTEEN_INTEGER, SHORT_BIGNUM_P, SHOW_STACK_TRACES, SIX_INTEGER, SIXTEEN_INTEGER, SIXTY_FOUR_INTEGER, SORT, SSS, STANDARD_INPUT, STANDARD_OUTPUT, START_KEYWORD, STREAMP, STRING_E_SYMBOL, STRING_EQUAL_SYMBOL, STRING_GREATER_THAN_OR_EQUAL_SYMBOL, STRING_GREATER_THAN_SYMBOL, STRING_GT_SYMBOL, STRING_GTE_SYMBOL, STRING_LESS_THAN_OR_EQUAL_SYMBOL, STRING_LESS_THAN_SYMBOL, STRING_LT_SYMBOL, STRING_LTE_SYMBOL, STRING_NE_SYMBOL, STRING_NOT_EQUAL_SYMBOL, STRINGP, STRUCTURE_P, SUPERSEDE_KEYWORD, SUSPEND_TYPE_CHECKING, SYMBOL_FUNCTION, SYMBOL_VALUE, SYMBOLP, T, TEN_INTEGER, TERMINAL_IO, TEXT_KEYWORD, THIRTEEN_INTEGER, THIRTY_FOUR_INTEGER, THIRTY_THREE_INTEGER, THIRTY_TWO_INTEGER, THREE_INTEGER, TRACE_OUTPUT, TRUE, TWELVE_INTEGER, TWENTY_INTEGER, TWO_HUNDRED_FIFTY_FOUR_INTEGER, TWO_HUNDRED_FORTY_FOUR_INTEGER, TWO_INTEGER, UNDECLARED, UNPROVIDED, VALUES, VECTOR, VECTORP, WITH_ERROR_HANDLER, WITH_STATIC_AREA, WITH_THREAD_PRIVATE_AREA, WITH_WORKING_AREA, WORLD, ZERO_DOUBLE, ZERO_INTEGER

Method Summary
`static SubLObject`	`_csetf_prob_argument_link_bindings_index(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_argument_links(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_dependent_links(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_proof_bindings_index(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_query(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_status(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_store(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_suid(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_tactics(SubLObject object, SubLObject value)`
`static SubLObject`	`add_problem_argument_link(SubLObject problem, SubLObject argument_link)` Puts ARGUMENT-LINK _below_ PROBLEM.
`static SubLObject`	`add_problem_dependent_link(SubLObject problem, SubLObject dependent_link)` Puts DEPENDENT-LINK _above_ PROBLEM.
`static SubLObject`	`add_problem_proof(SubLObject problem, SubLObject proof)`
`static SubLObject`	`add_problem_tactic(SubLObject problem, SubLObject tactic)`
`static SubLObject`	`closed_problem_p(SubLObject problem)`
`static SubLObject`	`closed_problem_query_p(SubLObject query)`
`static SubLObject`	`declare_inference_datastructures_problem_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`deindex_problem_argument_link(SubLObject problem, SubLObject argument_link)`
`static SubLObject`	`destroy_problem_int(SubLObject problem)`
`static SubLObject`	`destroy_problem_store_problem(SubLObject problem)`
`static SubLObject`	`do_problem_tactics_completeness_match(SubLObject tactic, SubLObject completeness_spec)`
`static SubLObject`	`do_problem_tactics_hl_module_match(SubLObject tactic, SubLObject hl_module_spec)`
`static SubLObject`	`do_problem_tactics_preference_level_match(SubLObject tactic, SubLObject preference_level_spec)`
`static SubLObject`	`do_problem_tactics_productivity_match(SubLObject tactic, SubLObject productivity_spec)`
`static SubLObject`	`do_problem_tactics_status_match(SubLObject tactic, SubLObject status_spec)`
`static SubLObject`	`do_problem_tactics_type_match(SubLObject tactic, SubLObject type_spec)`
`static SubLObject`	`index_problem_argument_link(SubLObject problem, SubLObject argument_link)` Indexes argument-link by bindings for fast lookup.
`static SubLObject`	`init_inference_datastructures_problem_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`ist_problem_p(SubLObject object)`
`static SubLObject`	`make_problem(SubLObject arglist)`
`static SubLObject`	`mt_asent_sense_from_single_literal_problem(SubLObject problem)`
`static SubLObject`	`multi_clause_problem_p(SubLObject object)`
`static SubLObject`	`multi_literal_problem_p(SubLObject object)`
`static SubLObject`	`new_problem(SubLObject store, SubLObject query)` Creates and canonicalizes a new problem.
`static SubLObject`	`note_problem_invalid(SubLObject problem)`
`static SubLObject`	`note_problem_min_transformation_depth_signature(SubLObject problem, SubLObject inference, SubLObject new_pqds)`
`static SubLObject`	`prob_argument_link_bindings_index(SubLObject object)`
`static SubLObject`	`prob_argument_links(SubLObject object)`
`static SubLObject`	`prob_dependent_links(SubLObject object)`
`static SubLObject`	`prob_proof_bindings_index(SubLObject object)`
`static SubLObject`	`prob_query(SubLObject object)`
`static SubLObject`	`prob_status(SubLObject object)`
`static SubLObject`	`prob_store(SubLObject object)`
`static SubLObject`	`prob_suid(SubLObject object)`
`static SubLObject`	`prob_tactics(SubLObject object)`
`static SubLObject`	`problem_argument_links_lookup(SubLObject problem, SubLObject v_bindings)`
`static SubLObject`	`problem_argument_links(SubLObject problem)`
`static SubLObject`	`problem_dependent_links(SubLObject problem)`
`static SubLObject`	`problem_first_argument_link_of_type(SubLObject problem, SubLObject type)`
`static SubLObject`	`problem_has_argument_link_of_typeP(SubLObject problem, SubLObject type)`
`static SubLObject`	`problem_has_argument_link_p(SubLObject problem)`
`static SubLObject`	`problem_has_complete_possible_removal_tacticP(SubLObject problem, SubLObject strategic_context)`
`static SubLObject`	`problem_has_dependent_link_of_typeP(SubLObject problem, SubLObject type)`
`static SubLObject`	`problem_has_possible_removal_tacticP(SubLObject problem, SubLObject strategic_context)`
`static SubLObject`	`problem_has_possible_tacticsP(SubLObject problem)`
`static SubLObject`	`problem_has_some_proofP(SubLObject problem, SubLObject proof_status)`
`static SubLObject`	`problem_has_some_proven_proofP(SubLObject problem)`
`static SubLObject`	`problem_has_split_tacticsP(SubLObject problem)`
`static SubLObject`	`problem_has_tactic_of_type_with_statusP(SubLObject problem, SubLObject type, SubLObject status)`
`static SubLObject`	`problem_has_tactic_of_typeP(SubLObject problem, SubLObject type)`
`static SubLObject`	`problem_has_transformation_tacticsP(SubLObject problem)`
`static SubLObject`	`problem_in_equality_reasoning_domainP(SubLObject problem)`
`static SubLObject`	`problem_invalid_p(SubLObject problem)`
`static SubLObject`	`problem_min_proof_depth(SubLObject problem, SubLObject inference)`
`static SubLObject`	`problem_min_transformation_depth_signature(SubLObject problem, SubLObject inference)`
`static SubLObject`	`problem_min_transformation_depth(SubLObject problem, SubLObject inference)`
`static SubLObject`	`problem_next_tactic_suid(SubLObject problem)`
`static SubLObject`	`problem_no_tactics_possibleP(SubLObject problem)`
`static SubLObject`	`problem_p(SubLObject object)`
`static SubLObject`	`problem_print_function_trampoline(SubLObject object, SubLObject stream)`
`static SubLObject`	`problem_proof_bindings_index(SubLObject problem)`
`static SubLObject`	`problem_proof_count(SubLObject problem, SubLObject proof_status)`
`static SubLObject`	`problem_proofs_lookup(SubLObject problem, SubLObject v_bindings)`
`static SubLObject`	`problem_query_sole_clause(SubLObject query)`
`static SubLObject`	`problem_query(SubLObject problem)`
`static SubLObject`	`problem_relevant_to_inferenceP(SubLObject problem, SubLObject inference)`
`static SubLObject`	`problem_relevant_to_strategyP(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`problem_sole_argument_link_of_type(SubLObject problem, SubLObject type)`
`static SubLObject`	`problem_sole_clause(SubLObject problem)`
`static SubLObject`	`problem_status(SubLObject problem)`
`static SubLObject`	`problem_store(SubLObject problem)`
`static SubLObject`	`problem_suid(SubLObject problem)`
`static SubLObject`	`problem_tactic_count(SubLObject problem)`
`static SubLObject`	`problem_tactics(SubLObject problem)`
`static SubLObject`	`problem_variables(SubLObject problem)`
`static SubLObject`	`proof_has_statusP(SubLObject proof, SubLObject status)`
`static SubLObject`	`remove_problem_dependent_link(SubLObject problem, SubLObject dependent_link)` Removes DEPENDENT-LINK from _above_ PROBLEM.
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`set_problem_min_proof_depth(SubLObject problem, SubLObject inference, SubLObject depth)` Primitively sets PROBLEM's proof depth wrt INFERENCE to DEPTH.
`static SubLObject`	`set_problem_min_transformation_depth_signature(SubLObject problem, SubLObject inference, SubLObject pqds)` Primitively sets PROBLEM's transformation depth signature wrt INFERENCE to PQDS.
`static SubLObject`	`set_problem_status(SubLObject problem, SubLObject status)`
`static SubLObject`	`set_root_problem_min_transformation_depth_signature(SubLObject problem, SubLObject inference)`
`static SubLObject`	`setup_inference_datastructures_problem_file()`
`static SubLObject`	`single_clause_problem_p(SubLObject object)`
`static SubLObject`	`single_literal_problem_atomic_sentence(SubLObject problem)`
`static SubLObject`	`single_literal_problem_mt(SubLObject problem)`
`static SubLObject`	`single_literal_problem_p(SubLObject object)`
`static SubLObject`	`single_literal_problem_predicate(SubLObject problem)` Assuming PROBLEM is a @xref single-literal-problem-p, returns the predicate of its single contextualized literal.
`static SubLObject`	`single_literal_problem_sense(SubLObject problem)`
`static SubLObject`	`sxhash_problem_method(SubLObject object)`
`static SubLObject`	`tactic_matches_type_specP(SubLObject tactic, SubLObject type_spec)`
`static SubLObject`	`tactically_examined_problem_p(SubLObject problem)`
`static SubLObject`	`tactically_finished_problem_p(SubLObject problem)`
`static SubLObject`	`tactically_good_problem_p(SubLObject problem)`
`static SubLObject`	`tactically_no_good_problem_p(SubLObject problem)`
`static SubLObject`	`tactically_pending_problem_p(SubLObject problem)`
`static SubLObject`	`tactically_possible_problem_p(SubLObject problem)`
`static SubLObject`	`tactically_unexamined_problem_p(SubLObject problem)`
`static SubLObject`	`valid_problem_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_problem$

public static SubLSymbol $dtp_problem$

$empty_clauses$

public static SubLSymbol $empty_clauses$

$transformation_depth_computation$

public static SubLSymbol $transformation_depth_computation$

:intuitive or :counterintuitive. :intuitive means that any transformation or residual transformation link increments the transformation depth by 1. This corresponds to the number of times that the problem has been transformed. :counterintuitive means that transformation-depth indicates the maximum number of times that any /literal/ in the problem has been transformed.

$problem_min_transformation_depth_from_signature_enabledP$

public static SubLSymbol $problem_min_transformation_depth_from_signature_enabledP$

Temporary control variable; when non-nil min-transformation-depth is computed from the min-transformation-depth-signature. Should eventually stay T.

$max_problem_tactics$

public static SubLSymbol $max_problem_tactics$

The maximum number of tactics (of any status) that can be on a single problem. Attempting to add an additional tactic after this number yields an error.

$sym0$PROBLEM

public static final SubLSymbol $sym0$PROBLEM

$sym1$PROBLEM_P

public static final SubLSymbol $sym1$PROBLEM_P

$int2$212

public static final SubLInteger $int2$212

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

public static final SubLSymbol $sym7$PRINT_PROBLEM

$sym8$PROBLEM_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym8$PROBLEM_PRINT_FUNCTION_TRAMPOLINE

$sym9$PROB_SUID

public static final SubLSymbol $sym9$PROB_SUID

$sym10$_CSETF_PROB_SUID

public static final SubLSymbol $sym10$_CSETF_PROB_SUID

$sym11$PROB_STORE

public static final SubLSymbol $sym11$PROB_STORE

$sym12$_CSETF_PROB_STORE

public static final SubLSymbol $sym12$_CSETF_PROB_STORE

$sym13$PROB_QUERY

public static final SubLSymbol $sym13$PROB_QUERY

$sym14$_CSETF_PROB_QUERY

public static final SubLSymbol $sym14$_CSETF_PROB_QUERY

$sym15$PROB_STATUS

public static final SubLSymbol $sym15$PROB_STATUS

$sym16$_CSETF_PROB_STATUS

public static final SubLSymbol $sym16$_CSETF_PROB_STATUS

$sym17$PROB_DEPENDENT_LINKS

public static final SubLSymbol $sym17$PROB_DEPENDENT_LINKS

$sym18$_CSETF_PROB_DEPENDENT_LINKS

public static final SubLSymbol $sym18$_CSETF_PROB_DEPENDENT_LINKS

$sym19$PROB_ARGUMENT_LINKS

public static final SubLSymbol $sym19$PROB_ARGUMENT_LINKS

$sym20$_CSETF_PROB_ARGUMENT_LINKS

public static final SubLSymbol $sym20$_CSETF_PROB_ARGUMENT_LINKS

$sym21$PROB_TACTICS

public static final SubLSymbol $sym21$PROB_TACTICS

$sym22$_CSETF_PROB_TACTICS

public static final SubLSymbol $sym22$_CSETF_PROB_TACTICS

$sym23$PROB_PROOF_BINDINGS_INDEX

public static final SubLSymbol $sym23$PROB_PROOF_BINDINGS_INDEX

$sym24$_CSETF_PROB_PROOF_BINDINGS_INDEX

public static final SubLSymbol $sym24$_CSETF_PROB_PROOF_BINDINGS_INDEX

$sym25$PROB_ARGUMENT_LINK_BINDINGS_INDEX

public static final SubLSymbol $sym25$PROB_ARGUMENT_LINK_BINDINGS_INDEX

$sym26$_CSETF_PROB_ARGUMENT_LINK_BINDINGS_INDEX

public static final SubLSymbol $sym26$_CSETF_PROB_ARGUMENT_LINK_BINDINGS_INDEX

$kw27$SUID

public static final SubLSymbol $kw27$SUID

$kw28$STORE

public static final SubLSymbol $kw28$STORE

$kw29$QUERY

public static final SubLSymbol $kw29$QUERY

$kw30$STATUS

public static final SubLSymbol $kw30$STATUS

$kw31$DEPENDENT_LINKS

public static final SubLSymbol $kw31$DEPENDENT_LINKS

$kw32$ARGUMENT_LINKS

public static final SubLSymbol $kw32$ARGUMENT_LINKS

$kw33$TACTICS

public static final SubLSymbol $kw33$TACTICS

$kw34$PROOF_BINDINGS_INDEX

public static final SubLSymbol $kw34$PROOF_BINDINGS_INDEX

$kw35$ARGUMENT_LINK_BINDINGS_INDEX

public static final SubLSymbol $kw35$ARGUMENT_LINK_BINDINGS_INDEX

$str36$Invalid_slot__S_for_construction_

public static final SubLString $str36$Invalid_slot__S_for_construction_

$kw37$FREE

public static final SubLSymbol $kw37$FREE

$str38$_Invalid_PROBLEM__s_

public static final SubLString $str38$_Invalid_PROBLEM__s_

$str39$__a_PROBLEMaa__s_

public static final SubLString $str39$__a_PROBLEM__a__a__s_

$sym40$SXHASH_PROBLEM_METHOD

public static final SubLSymbol $sym40$SXHASH_PROBLEM_METHOD

$sym41$PROBLEM_STORE_P

public static final SubLSymbol $sym41$PROBLEM_STORE_P

$sym42$CONTEXTUALIZED_DNF_CLAUSES_P

public static final SubLSymbol $sym42$CONTEXTUALIZED_DNF_CLAUSES_P

$str43$Ignore_the_crazy_problems

public static final SubLString $str43$Ignore_the_crazy_problems

$str44$Crazy_amount_of_problems_ain_

public static final SubLString $str44$Crazy_amount_of_problems___a__in_

$kw45$NEW

public static final SubLSymbol $kw45$NEW

$sym46$_EMPTY_CLAUSES_

public static final SubLSymbol $sym46$_EMPTY_CLAUSES_

$list47

public static final SubLList $list47

$list48

public static final SubLList $list48

$kw49$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw49$ALLOW_OTHER_KEYS

$kw50$DONE

public static final SubLSymbol $kw50$DONE

$sym51$DO_PROBLEM_QUERY_LITERALS

public static final SubLSymbol $sym51$DO_PROBLEM_QUERY_LITERALS

$sym52$PROBLEM_QUERY

public static final SubLSymbol $sym52$PROBLEM_QUERY

$list53

public static final SubLList $list53

$list54

public static final SubLList $list54

$kw55$COMPLETENESS

public static final SubLSymbol $kw55$COMPLETENESS

$kw56$PREFERENCE_LEVEL

public static final SubLSymbol $kw56$PREFERENCE_LEVEL

$kw57$HL_MODULE

public static final SubLSymbol $kw57$HL_MODULE

$kw58$TYPE

public static final SubLSymbol $kw58$TYPE

$kw59$PRODUCTIVITY

public static final SubLSymbol $kw59$PRODUCTIVITY

$sym60$DO_PROBLEM_TACTICS_TYPE_MATCH

public static final SubLSymbol $sym60$DO_PROBLEM_TACTICS_TYPE_MATCH

$sym61$DO_PROBLEM_TACTICS_STATUS_MATCH

public static final SubLSymbol $sym61$DO_PROBLEM_TACTICS_STATUS_MATCH

$sym62$DO_PROBLEM_TACTICS_COMPLETENESS_MATCH

public static final SubLSymbol $sym62$DO_PROBLEM_TACTICS_COMPLETENESS_MATCH

$sym63$DO_PROBLEM_TACTICS_PREFERENCE_LEVEL_MATCH

public static final SubLSymbol $sym63$DO_PROBLEM_TACTICS_PREFERENCE_LEVEL_MATCH

$sym64$DO_PROBLEM_TACTICS_HL_MODULE_MATCH

public static final SubLSymbol $sym64$DO_PROBLEM_TACTICS_HL_MODULE_MATCH

$sym65$DO_PROBLEM_TACTICS_PRODUCTIVITY_MATCH

public static final SubLSymbol $sym65$DO_PROBLEM_TACTICS_PRODUCTIVITY_MATCH

$sym66$DO_LIST

public static final SubLSymbol $sym66$DO_LIST

$sym67$PROBLEM_TACTICS

public static final SubLSymbol $sym67$PROBLEM_TACTICS

$sym68$DO_PROBLEM_TACTICS

public static final SubLSymbol $sym68$DO_PROBLEM_TACTICS

$sym69$PWHEN

public static final SubLSymbol $sym69$PWHEN

$sym70$CAND

public static final SubLSymbol $sym70$CAND

$sym71$COMPLETENESS_P

public static final SubLSymbol $sym71$COMPLETENESS_P

$sym72$PREFERENCE_LEVEL_P

public static final SubLSymbol $sym72$PREFERENCE_LEVEL_P

$sym73$PRODUCTIVITY_P

public static final SubLSymbol $sym73$PRODUCTIVITY_P

$sym74$HL_MODULE_P

public static final SubLSymbol $sym74$HL_MODULE_P

$list75

public static final SubLList $list75

$sym76$GENERALIZED_TACTIC_TYPE_P

public static final SubLSymbol $sym76$GENERALIZED_TACTIC_TYPE_P

$kw77$NON_TRANSFORMATION

public static final SubLSymbol $kw77$NON_TRANSFORMATION

$kw78$GENERALIZED_REMOVAL

public static final SubLSymbol $kw78$GENERALIZED_REMOVAL

$kw79$GENERALIZED_REMOVAL_OR_REWRITE

public static final SubLSymbol $kw79$GENERALIZED_REMOVAL_OR_REWRITE

$kw80$CONNECTED_CONJUNCTION

public static final SubLSymbol $kw80$CONNECTED_CONJUNCTION

$kw81$CONJUNCTIVE

public static final SubLSymbol $kw81$CONJUNCTIVE

$kw82$DISJUNCTIVE

public static final SubLSymbol $kw82$DISJUNCTIVE

$kw83$LOGICAL

public static final SubLSymbol $kw83$LOGICAL

$kw84$LOGICAL_CONJUNCTIVE

public static final SubLSymbol $kw84$LOGICAL_CONJUNCTIVE

$kw85$STRUCTURAL_CONJUNCTIVE

public static final SubLSymbol $kw85$STRUCTURAL_CONJUNCTIVE

$kw86$META_STRUCTURAL

public static final SubLSymbol $kw86$META_STRUCTURAL

$kw87$CONTENT

public static final SubLSymbol $kw87$CONTENT

$kw88$UNION

public static final SubLSymbol $kw88$UNION

$kw89$SPLIT

public static final SubLSymbol $kw89$SPLIT

$kw90$JOIN_ORDERED

public static final SubLSymbol $kw90$JOIN_ORDERED

$kw91$JOIN

public static final SubLSymbol $kw91$JOIN

$sym92$PROBLEM_ARGUMENT_LINKS

public static final SubLSymbol $sym92$PROBLEM_ARGUMENT_LINKS

$sym93$DO_PROBLEM_ARGUMENT_LINKS

public static final SubLSymbol $sym93$DO_PROBLEM_ARGUMENT_LINKS

$list94

public static final SubLList $list94

$list95

public static final SubLList $list95

$sym96$DO_SET_CONTENTS

public static final SubLSymbol $sym96$DO_SET_CONTENTS

$sym97$PROBLEM_DEPENDENT_LINKS

public static final SubLSymbol $sym97$PROBLEM_DEPENDENT_LINKS

$sym98$DO_PROBLEM_DEPENDENT_LINKS

public static final SubLSymbol $sym98$DO_PROBLEM_DEPENDENT_LINKS

$sym99$PROBLEM_LINK_HAS_TYPE_

public static final SubLSymbol $sym99$PROBLEM_LINK_HAS_TYPE_

$list100

public static final SubLList $list100

$list101

public static final SubLList $list101

$kw102$OPEN_

public static final SubLSymbol $kw102$OPEN_

$sym103$PROBLEM_VAR

public static final SubLSymbol $sym103$PROBLEM_VAR

$sym104$CLET

public static final SubLSymbol $sym104$CLET

$sym105$DO_PROBLEM_LINK_SUPPORTING_MAPPED_PROBLEMS

public static final SubLSymbol $sym105$DO_PROBLEM_LINK_SUPPORTING_MAPPED_PROBLEMS

$sym106$MAPPED_PROBLEM_PROBLEM

public static final SubLSymbol $sym106$MAPPED_PROBLEM_PROBLEM

$list107

public static final SubLList $list107

$sym108$LINK

public static final SubLSymbol $sym108$LINK

$sym109$PROBLEM_LINK_SUPPORTED_PROBLEM

public static final SubLSymbol $sym109$PROBLEM_LINK_SUPPORTED_PROBLEM

$list110

public static final SubLList $list110

$sym111$LINK

public static final SubLSymbol $sym111$LINK

$sym112$PROBLEM_LINK_SUPPORTED_INFERENCE

public static final SubLSymbol $sym112$PROBLEM_LINK_SUPPORTED_INFERENCE

$list113

public static final SubLList $list113

$sym114$LINK

public static final SubLSymbol $sym114$LINK

$sym115$DO_PROBLEM_LINK_SUPPORTING_PROBLEMS

public static final SubLSymbol $sym115$DO_PROBLEM_LINK_SUPPORTING_PROBLEMS

$list116

public static final SubLList $list116

$list117

public static final SubLList $list117

$kw118$PROOF_STATUS

public static final SubLSymbol $kw118$PROOF_STATUS

$sym119$PROOF_LIST

public static final SubLSymbol $sym119$PROOF_LIST

$sym120$BINDINGS

public static final SubLSymbol $sym120$BINDINGS

$sym121$DO_DICTIONARY_CONTENTS

public static final SubLSymbol $sym121$DO_DICTIONARY_CONTENTS

$sym122$PROBLEM_PROOF_BINDINGS_INDEX

public static final SubLSymbol $sym122$PROBLEM_PROOF_BINDINGS_INDEX

$sym123$IGNORE

public static final SubLSymbol $sym123$IGNORE

$sym124$STATUS_VAR

public static final SubLSymbol $sym124$STATUS_VAR

$sym125$DO_PROBLEM_PROOFS

public static final SubLSymbol $sym125$DO_PROBLEM_PROOFS

$sym126$PROOF_HAS_STATUS_

public static final SubLSymbol $sym126$PROOF_HAS_STATUS_

$list127

public static final SubLList $list127

$sym128$STRATEGY

public static final SubLSymbol $sym128$STRATEGY

$sym129$DO_PROBLEM_ACTIVE_STRATEGIES

public static final SubLSymbol $sym129$DO_PROBLEM_ACTIVE_STRATEGIES

$sym130$STRATEGY_INFERENCE

public static final SubLSymbol $sym130$STRATEGY_INFERENCE

$list131

public static final SubLList $list131

$sym132$STORE

public static final SubLSymbol $sym132$STORE

$sym133$PROB

public static final SubLSymbol $sym133$PROB

$sym134$PROBLEM_STORE

public static final SubLSymbol $sym134$PROBLEM_STORE

$sym135$DO_PROBLEM_STORE_INFERENCES

public static final SubLSymbol $sym135$DO_PROBLEM_STORE_INFERENCES

$sym136$PROBLEM_RELEVANT_TO_INFERENCE_

public static final SubLSymbol $sym136$PROBLEM_RELEVANT_TO_INFERENCE_

$list137

public static final SubLList $list137

$sym138$STORE

public static final SubLSymbol $sym138$STORE

$sym139$PROB

public static final SubLSymbol $sym139$PROB

$sym140$DO_PROBLEM_STORE_STRATEGIES

public static final SubLSymbol $sym140$DO_PROBLEM_STORE_STRATEGIES

$sym141$PROBLEM_ACTIVE_IN_STRATEGY_

public static final SubLSymbol $sym141$PROBLEM_ACTIVE_IN_STRATEGY_

$list142

public static final SubLList $list142

$sym143$INFERENCE

public static final SubLSymbol $sym143$INFERENCE

$sym144$DO_PROBLEM_RELEVANT_INFERENCES

public static final SubLSymbol $sym144$DO_PROBLEM_RELEVANT_INFERENCES

$sym145$DO_INFERENCE_STRATEGIES

public static final SubLSymbol $sym145$DO_INFERENCE_STRATEGIES

$list146

public static final SubLList $list146

$sym147$PROGN

public static final SubLSymbol $sym147$PROGN

$list148

public static final SubLList $list148

$sym149$DO_PROBLEM_RELEVANT_STRATEGIES

public static final SubLSymbol $sym149$DO_PROBLEM_RELEVANT_STRATEGIES

$kw150$SKIP

public static final SubLSymbol $kw150$SKIP

$sym151$PROBLEM_STATUS_P

public static final SubLSymbol $sym151$PROBLEM_STATUS_P

$kw152$NEG

public static final SubLSymbol $kw152$NEG

$list153

public static final SubLList $list153

$kw154$POS

public static final SubLSymbol $kw154$POS

$const155$ist

public static final SubLObject $const155$ist

$const156$InferencePSC

public static final SubLObject $const156$InferencePSC

$str157$The_problem__S_did_not_have_a_sin

public static final SubLString $str157$The_problem__S_did_not_have_a_sin

$list158

public static final SubLList $list158

$str159$Found_more_than_one__a_argument_l

public static final SubLString $str159$Found_more_than_one__a_argument_l

$str160$Expected__a_to_have_a__a_argument

public static final SubLString $str160$Expected__a_to_have_a__a_argument

$sym161$PROBLEM_LINK_TYPE_P

public static final SubLSymbol $sym161$PROBLEM_LINK_TYPE_P

$sym162$_

public static final SubLSymbol $sym162$_

$sym163$PROBLEM_SUID

public static final SubLSymbol $sym163$PROBLEM_SUID

$str164$_a_had_more_than_one_dependent_li

public static final SubLString $str164$_a_had_more_than_one_dependent_li

$str165$_a_had_no_dependent_links

public static final SubLString $str165$_a_had_no_dependent_links

$kw166$ANSWER

public static final SubLSymbol $kw166$ANSWER

$kw167$TRANSFORMATION

public static final SubLSymbol $kw167$TRANSFORMATION

$sym168$TACTIC_POSSIBLE_

public static final SubLSymbol $sym168$TACTIC_POSSIBLE_

$sym169$TACTIC_EXECUTED_

public static final SubLSymbol $sym169$TACTIC_EXECUTED_

$sym170$TACTIC_DISCARDED_

public static final SubLSymbol $sym170$TACTIC_DISCARDED_

$kw171$POSSIBLE

public static final SubLSymbol $kw171$POSSIBLE

$kw172$EXECUTED

public static final SubLSymbol $kw172$EXECUTED

$kw173$DISCARDED

public static final SubLSymbol $kw173$DISCARDED

$sym174$TACTIC_STATUS_P

public static final SubLSymbol $sym174$TACTIC_STATUS_P

$sym175$STRATEGIC_CONTEXT_P

public static final SubLSymbol $sym175$STRATEGIC_CONTEXT_P

$kw176$REMOVAL

public static final SubLSymbol $kw176$REMOVAL

$sym177$PROBLEM_HAS_AN_IN_PROGRESS_TACTIC_

public static final SubLSymbol $sym177$PROBLEM_HAS_AN_IN_PROGRESS_TACTIC_

$kw178$PROVEN

public static final SubLSymbol $kw178$PROVEN

$kw179$REJECTED

public static final SubLSymbol $kw179$REJECTED

$kw180$INDESTRUCTIBLE

public static final SubLSymbol $kw180$INDESTRUCTIBLE

$kw181$DESTRUCTIBLE

public static final SubLSymbol $kw181$DESTRUCTIBLE

$kw182$UNKNOWN

public static final SubLSymbol $kw182$UNKNOWN

$kw183$UNDETERMINED

public static final SubLSymbol $kw183$UNDETERMINED

$kw184$COUNTERINTUITIVE

public static final SubLSymbol $kw184$COUNTERINTUITIVE

$sym185$PROBLEM_LINK_P

public static final SubLSymbol $sym185$PROBLEM_LINK_P

$int186$10000

public static final SubLInteger $int186$10000

$sym187$TACTIC_P

public static final SubLSymbol $sym187$TACTIC_P

$str188$Tried_to_add__s_toswhich_woul

public static final SubLString $str188$Tried_to_add__s_to__s__which_woul

$sym189$PROOF_P

public static final SubLSymbol $sym189$PROOF_P

$sym190$BINDINGS_P

public static final SubLSymbol $sym190$BINDINGS_P

$sym191$NON_NEGATIVE_INTEGER_P

public static final SubLSymbol $sym191$NON_NEGATIVE_INTEGER_P

$sym192$INFERENCE_P

public static final SubLSymbol $sym192$INFERENCE_P

$sym193$PROBLEM_QUERY_DEPTH_SIGNATURE_P

public static final SubLSymbol $sym193$PROBLEM_QUERY_DEPTH_SIGNATURE_P

$sym194$_

public static final SubLSymbol $sym194$_

$sym195$CDR

public static final SubLSymbol $sym195$CDR

Method Detail

problem_print_function_trampoline

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

problem_p

public static final SubLObject problem_p(SubLObject object)

prob_suid

public static final SubLObject prob_suid(SubLObject object)

prob_store

public static final SubLObject prob_store(SubLObject object)

prob_query

public static final SubLObject prob_query(SubLObject object)

prob_status

public static final SubLObject prob_status(SubLObject object)

prob_dependent_links

public static final SubLObject prob_dependent_links(SubLObject object)

prob_argument_links

public static final SubLObject prob_argument_links(SubLObject object)

prob_tactics

public static final SubLObject prob_tactics(SubLObject object)

prob_proof_bindings_index

public static final SubLObject prob_proof_bindings_index(SubLObject object)

prob_argument_link_bindings_index

public static final SubLObject prob_argument_link_bindings_index(SubLObject object)

_csetf_prob_suid

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

_csetf_prob_store

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

_csetf_prob_query

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

_csetf_prob_status

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

_csetf_prob_dependent_links

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

_csetf_prob_argument_links

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

_csetf_prob_tactics

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

_csetf_prob_proof_bindings_index

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

_csetf_prob_argument_link_bindings_index

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

make_problem

public static final SubLObject make_problem(SubLObject arglist)

valid_problem_p

public static final SubLObject valid_problem_p(SubLObject object)

problem_invalid_p

public static final SubLObject problem_invalid_p(SubLObject problem)

sxhash_problem_method

public static final SubLObject sxhash_problem_method(SubLObject object)

new_problem

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

Creates and canonicalizes a new problem.

problem_tactics

public static final SubLObject problem_tactics(SubLObject problem)

do_problem_tactics_status_match

public static final SubLObject do_problem_tactics_status_match(SubLObject tactic,
                                                               SubLObject status_spec)

do_problem_tactics_completeness_match

public static final SubLObject do_problem_tactics_completeness_match(SubLObject tactic,
                                                                     SubLObject completeness_spec)

do_problem_tactics_preference_level_match

public static final SubLObject do_problem_tactics_preference_level_match(SubLObject tactic,
                                                                         SubLObject preference_level_spec)

do_problem_tactics_productivity_match

public static final SubLObject do_problem_tactics_productivity_match(SubLObject tactic,
                                                                     SubLObject productivity_spec)

do_problem_tactics_hl_module_match

public static final SubLObject do_problem_tactics_hl_module_match(SubLObject tactic,
                                                                  SubLObject hl_module_spec)

do_problem_tactics_type_match

public static final SubLObject do_problem_tactics_type_match(SubLObject tactic,
                                                             SubLObject type_spec)

tactic_matches_type_specP

public static final SubLObject tactic_matches_type_specP(SubLObject tactic,
                                                         SubLObject type_spec)

problem_argument_links

public static final SubLObject problem_argument_links(SubLObject problem)

problem_dependent_links

public static final SubLObject problem_dependent_links(SubLObject problem)

problem_proof_bindings_index

public static final SubLObject problem_proof_bindings_index(SubLObject problem)

proof_has_statusP

public static final SubLObject proof_has_statusP(SubLObject proof,
                                                 SubLObject status)

destroy_problem_store_problem

public static final SubLObject destroy_problem_store_problem(SubLObject problem)

destroy_problem_int

public static final SubLObject destroy_problem_int(SubLObject problem)

note_problem_invalid

public static final SubLObject note_problem_invalid(SubLObject problem)

problem_suid

public static final SubLObject problem_suid(SubLObject problem)

problem_store

public static final SubLObject problem_store(SubLObject problem)

problem_query

public static final SubLObject problem_query(SubLObject problem)

problem_status

public static final SubLObject problem_status(SubLObject problem)

set_problem_status

public static final SubLObject set_problem_status(SubLObject problem,
                                                  SubLObject status)

closed_problem_p

public static final SubLObject closed_problem_p(SubLObject problem)

Returns:: booleanp; whether PROBLEM contains no variables

closed_problem_query_p

public static final SubLObject closed_problem_query_p(SubLObject query)

problem_variables

public static final SubLObject problem_variables(SubLObject problem)

single_literal_problem_p

public static final SubLObject single_literal_problem_p(SubLObject object)

Returns:: boolean; whether OBJECT is a problem whose query consists of a single contextualized literal (either positive or negative).

single_literal_problem_predicate

public static final SubLObject single_literal_problem_predicate(SubLObject problem)

Assuming PROBLEM is a @xref single-literal-problem-p, returns the predicate of its single contextualized literal.

single_literal_problem_atomic_sentence

public static final SubLObject single_literal_problem_atomic_sentence(SubLObject problem)

single_literal_problem_mt

public static final SubLObject single_literal_problem_mt(SubLObject problem)

single_literal_problem_sense

public static final SubLObject single_literal_problem_sense(SubLObject problem)

Returns:: sense-p; Assumes PROBLEM is a single literal problem, and returns the problem's query's sense.

mt_asent_sense_from_single_literal_problem

public static final SubLObject mt_asent_sense_from_single_literal_problem(SubLObject problem)

Parameters:: problem - ; single-literal-problem-p
Returns:: 0 mt

single_clause_problem_p

public static final SubLObject single_clause_problem_p(SubLObject object)

ist_problem_p

public static final SubLObject ist_problem_p(SubLObject object)

multi_literal_problem_p

public static final SubLObject multi_literal_problem_p(SubLObject object)

multi_clause_problem_p

public static final SubLObject multi_clause_problem_p(SubLObject object)

problem_sole_clause

public static final SubLObject problem_sole_clause(SubLObject problem)

Returns:: contextualized-dnf-clause-p

problem_query_sole_clause

public static final SubLObject problem_query_sole_clause(SubLObject query)

problem_in_equality_reasoning_domainP

public static final SubLObject problem_in_equality_reasoning_domainP(SubLObject problem)

problem_relevant_to_inferenceP

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

problem_relevant_to_strategyP

public static final SubLObject problem_relevant_to_strategyP(SubLObject problem,
                                                             SubLObject strategy)

Returns:: boolean; t iff PROBLEM is relevant to STRATEGY's inference.

problem_has_argument_link_p

public static final SubLObject problem_has_argument_link_p(SubLObject problem)

Returns:: boolean; t iff PROBLEM has any argument (child) links.

problem_has_argument_link_of_typeP

public static final SubLObject problem_has_argument_link_of_typeP(SubLObject problem,
                                                                  SubLObject type)

problem_first_argument_link_of_type

public static final SubLObject problem_first_argument_link_of_type(SubLObject problem,
                                                                   SubLObject type)

Returns:: nil or problem-link-p

problem_sole_argument_link_of_type

public static final SubLObject problem_sole_argument_link_of_type(SubLObject problem,
                                                                  SubLObject type)

problem_has_dependent_link_of_typeP

public static final SubLObject problem_has_dependent_link_of_typeP(SubLObject problem,
                                                                   SubLObject type)

problem_next_tactic_suid

public static final SubLObject problem_next_tactic_suid(SubLObject problem)

problem_tactic_count

public static final SubLObject problem_tactic_count(SubLObject problem)

problem_has_possible_tacticsP

public static final SubLObject problem_has_possible_tacticsP(SubLObject problem)

problem_no_tactics_possibleP

public static final SubLObject problem_no_tactics_possibleP(SubLObject problem)

problem_has_tactic_of_type_with_statusP

public static final SubLObject problem_has_tactic_of_type_with_statusP(SubLObject problem,
                                                                       SubLObject type,
                                                                       SubLObject status)

problem_has_tactic_of_typeP

public static final SubLObject problem_has_tactic_of_typeP(SubLObject problem,
                                                           SubLObject type)

problem_has_transformation_tacticsP

public static final SubLObject problem_has_transformation_tacticsP(SubLObject problem)

problem_has_possible_removal_tacticP

public static final SubLObject problem_has_possible_removal_tacticP(SubLObject problem,
                                                                    SubLObject strategic_context)

problem_has_complete_possible_removal_tacticP

public static final SubLObject problem_has_complete_possible_removal_tacticP(SubLObject problem,
                                                                             SubLObject strategic_context)

problem_has_split_tacticsP

public static final SubLObject problem_has_split_tacticsP(SubLObject problem)

problem_proof_count

public static final SubLObject problem_proof_count(SubLObject problem,
                                                   SubLObject proof_status)

problem_has_some_proofP

public static final SubLObject problem_has_some_proofP(SubLObject problem,
                                                       SubLObject proof_status)

problem_has_some_proven_proofP

public static final SubLObject problem_has_some_proven_proofP(SubLObject problem)

problem_proofs_lookup

public static final SubLObject problem_proofs_lookup(SubLObject problem,
                                                     SubLObject v_bindings)

Returns:: list-of-proof-p (possibly empty)

problem_argument_links_lookup

public static final SubLObject problem_argument_links_lookup(SubLObject problem,
                                                             SubLObject v_bindings)

Returns:: list-of-problem-link-p (possibly empty)

problem_min_proof_depth

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

Returns:: non-negative-integer-p or :undetermined; the number of links on the shortest path between PROBLEM and INFERENCE.

problem_min_transformation_depth

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

Returns:: non-negative-integer-p or :undetermined; the number of transformation links on the shortest path between PROBLEM and INFERENCE.

problem_min_transformation_depth_signature

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

Returns:: problem-query-depth-signature-p or :undetermined; a signature of the the per-literal number of transformation links on the shortest path between PROBLEM and INFERENCE.

add_problem_argument_link

public static final SubLObject add_problem_argument_link(SubLObject problem,
                                                         SubLObject argument_link)

Puts ARGUMENT-LINK _below_ PROBLEM.

index_problem_argument_link

public static final SubLObject index_problem_argument_link(SubLObject problem,
                                                           SubLObject argument_link)

Indexes argument-link by bindings for fast lookup. Used for removal and restriction links.

deindex_problem_argument_link

public static final SubLObject deindex_problem_argument_link(SubLObject problem,
                                                             SubLObject argument_link)

add_problem_dependent_link

public static final SubLObject add_problem_dependent_link(SubLObject problem,
                                                          SubLObject dependent_link)

Puts DEPENDENT-LINK _above_ PROBLEM.

remove_problem_dependent_link

public static final SubLObject remove_problem_dependent_link(SubLObject problem,
                                                             SubLObject dependent_link)

Removes DEPENDENT-LINK from _above_ PROBLEM.

add_problem_tactic

public static final SubLObject add_problem_tactic(SubLObject problem,
                                                  SubLObject tactic)

add_problem_proof

public static final SubLObject add_problem_proof(SubLObject problem,
                                                 SubLObject proof)

set_problem_min_proof_depth

public static final SubLObject set_problem_min_proof_depth(SubLObject problem,
                                                           SubLObject inference,
                                                           SubLObject depth)

Primitively sets PROBLEM's proof depth wrt INFERENCE to DEPTH.

set_problem_min_transformation_depth_signature

public static final SubLObject set_problem_min_transformation_depth_signature(SubLObject problem,
                                                                              SubLObject inference,
                                                                              SubLObject pqds)

Primitively sets PROBLEM's transformation depth signature wrt INFERENCE to PQDS.

set_root_problem_min_transformation_depth_signature

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

note_problem_min_transformation_depth_signature

public static final SubLObject note_problem_min_transformation_depth_signature(SubLObject problem,
                                                                               SubLObject inference,
                                                                               SubLObject new_pqds)

tactically_good_problem_p

public static final SubLObject tactically_good_problem_p(SubLObject problem)

tactically_no_good_problem_p

public static final SubLObject tactically_no_good_problem_p(SubLObject problem)

tactically_unexamined_problem_p

public static final SubLObject tactically_unexamined_problem_p(SubLObject problem)

tactically_examined_problem_p

public static final SubLObject tactically_examined_problem_p(SubLObject problem)

tactically_possible_problem_p

public static final SubLObject tactically_possible_problem_p(SubLObject problem)

tactically_pending_problem_p

public static final SubLObject tactically_pending_problem_p(SubLObject problem)

tactically_finished_problem_p

public static final SubLObject tactically_finished_problem_p(SubLObject problem)

declare_inference_datastructures_problem_file

public static final SubLObject declare_inference_datastructures_problem_file()

init_inference_datastructures_problem_file

public static final SubLObject init_inference_datastructures_problem_file()

setup_inference_datastructures_problem_file

public static final SubLObject setup_inference_datastructures_problem_file()

declareFunctions

public void declareFunctions()

Description copied from interface: SubLFile

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

initializeVariables

public void initializeVariables()

Description copied from interface: SubLFile

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

runTopLevelForms

public void runTopLevelForms()

Description copied from interface: SubLFile

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

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

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

me

myName

$dtp_problem$

$empty_clauses$

$transformation_depth_computation$

$problem_min_transformation_depth_from_signature_enabledP$

$max_problem_tactics$

$sym0$PROBLEM

$sym1$PROBLEM_P

$int2$212

$list3

$list4

$list5

$list6

$sym7$PRINT_PROBLEM

$sym8$PROBLEM_PRINT_FUNCTION_TRAMPOLINE

$sym9$PROB_SUID

$sym10$_CSETF_PROB_SUID

$sym11$PROB_STORE

$sym12$_CSETF_PROB_STORE

$sym13$PROB_QUERY

$sym14$_CSETF_PROB_QUERY

$sym15$PROB_STATUS

$sym16$_CSETF_PROB_STATUS

$sym17$PROB_DEPENDENT_LINKS

$sym18$_CSETF_PROB_DEPENDENT_LINKS

$sym19$PROB_ARGUMENT_LINKS

$sym20$_CSETF_PROB_ARGUMENT_LINKS

$sym21$PROB_TACTICS

$sym22$_CSETF_PROB_TACTICS

$sym23$PROB_PROOF_BINDINGS_INDEX

$sym24$_CSETF_PROB_PROOF_BINDINGS_INDEX

$sym25$PROB_ARGUMENT_LINK_BINDINGS_INDEX

$sym26$_CSETF_PROB_ARGUMENT_LINK_BINDINGS_INDEX

$kw27$SUID

$kw28$STORE

$kw29$QUERY

$kw30$STATUS

$kw31$DEPENDENT_LINKS

$kw32$ARGUMENT_LINKS

$kw33$TACTICS

$kw34$PROOF_BINDINGS_INDEX

$kw35$ARGUMENT_LINK_BINDINGS_INDEX

$str36$Invalid_slot__S_for_construction_

$kw37$FREE

$str38$_Invalid_PROBLEM__s_

$str39$__a_PROBLEM__a__a__s_

$sym40$SXHASH_PROBLEM_METHOD

$sym41$PROBLEM_STORE_P

$sym42$CONTEXTUALIZED_DNF_CLAUSES_P

$str43$Ignore_the_crazy_problems

$str44$Crazy_amount_of_problems___a__in_

$kw45$NEW

$sym46$_EMPTY_CLAUSES_

$list47

$list48

$kw49$ALLOW_OTHER_KEYS

$kw50$DONE

$sym51$DO_PROBLEM_QUERY_LITERALS

$sym52$PROBLEM_QUERY

$list53

$list54

$kw55$COMPLETENESS

$kw56$PREFERENCE_LEVEL

$kw57$HL_MODULE

$kw58$TYPE

$kw59$PRODUCTIVITY

$sym60$DO_PROBLEM_TACTICS_TYPE_MATCH

$sym61$DO_PROBLEM_TACTICS_STATUS_MATCH

$sym62$DO_PROBLEM_TACTICS_COMPLETENESS_MATCH

$sym63$DO_PROBLEM_TACTICS_PREFERENCE_LEVEL_MATCH

$sym64$DO_PROBLEM_TACTICS_HL_MODULE_MATCH

$sym65$DO_PROBLEM_TACTICS_PRODUCTIVITY_MATCH

$sym66$DO_LIST

$sym67$PROBLEM_TACTICS

$sym68$DO_PROBLEM_TACTICS

$sym69$PWHEN

$sym70$CAND

$sym71$COMPLETENESS_P

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

$str39$__a_PROBLEMaa__s_

$str44$Crazy_amount_of_problems_ain_