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_tactic

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class inference_datastructures_tactic
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`inference_datastructures_tactic.$sxhash_tactic_method$UnaryFunction`
`static class`	`inference_datastructures_tactic.$tactic_native`
`static class`	`inference_datastructures_tactic.$tactic_p$UnaryFunction`
`static class`	`inference_datastructures_tactic.$tactic_possibleP$UnaryFunction`
`static class`	`inference_datastructures_tactic.$tactic_progress_doneP$UnaryFunction`
`static class`	`inference_datastructures_tactic.$tactic_progress_finalize$UnaryFunction`
`static class`	`inference_datastructures_tactic.$tactic_progress_next$UnaryFunction`

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

Field Summary
`static SubLSymbol`	$dtp_tactic$
`static SubLInteger`	`$int2$210`
`static SubLSymbol`	`$kw31$SUID`
`static SubLSymbol`	`$kw32$PROBLEM`
`static SubLSymbol`	`$kw33$TYPE`
`static SubLSymbol`	`$kw34$HL_MODULE`
`static SubLSymbol`	`$kw35$COMPLETENESS`
`static SubLSymbol`	`$kw36$PREFERENCE_LEVEL_JUSTIFICATION`
`static SubLSymbol`	`$kw37$PRODUCTIVITY`
`static SubLSymbol`	`$kw38$ORIGINAL_PRODUCTIVITY`
`static SubLSymbol`	`$kw39$STATUS`
`static SubLSymbol`	`$kw40$PROGRESS_ITERATOR`
`static SubLSymbol`	`$kw41$DATA`
`static SubLSymbol`	`$kw43$FREE`
`static SubLSymbol`	`$kw49$POSSIBLE`
`static SubLSymbol`	`$kw62$ALLOW_OTHER_KEYS`
`static SubLSymbol`	`$kw63$DONE`
`static SubLSymbol`	`$kw64$PREFERENCE_LEVEL`
`static SubLSymbol`	`$kw69$EXECUTED`
`static SubLSymbol`	`$kw70$DISCARDED`
`static SubLSymbol`	`$kw71$NON_DISCARDED`
`static SubLSymbol`	`$kw72$IN_PROGESS`
`static SubLSymbol`	`$kw77$SKIP`
`static SubLSymbol`	`$kw82$REMOVAL_EXPAND`
`static SubLSymbol`	`$kw83$REMOVAL_OUTPUT_GENERATE`
`static SubLSymbol`	`$kw85$CONJUNCTIVE_REMOVAL_EXPAND`
`static SubLSymbol`	`$kw86$CONJUNCTIVE_REMOVAL_EXPAND_ITERATIVE`
`static SubLSymbol`	`$kw87$TRANSFORMATION_RULE_SELECT`
`static SubLSymbol`	`$kw88$META_STRUCTURAL`
`static SubLSymbol`	$leviathan_avoid_logical_tactic_productivity_computationP$ When non-nil, we don't bother to compute the tactic productivity for logical tactics.
`static SubLList`	`$list3`
`static SubLList`	`$list4`
`static SubLList`	`$list5`
`static SubLList`	`$list57`
`static SubLList`	`$list6`
`static SubLList`	`$list60`
`static SubLList`	`$list61`
`static SubLList`	`$list81`
`static SubLList`	`$list84`
`static SubLList`	`$list90`
`static SubLString`	`$str42$Invalid_slot__S_for_construction_`
`static SubLString`	`$str44$_Invalid_TACTIC__s_`
`static SubLString`	`$str45$__a_TACTIC__a__a__a___a__a__`
`static SubLString`	`$str50$tactical_productivity_being_refer`
`static SubLString`	$str52$
`static SubLString`	`$str89$Time_to_implement_tactic_progress`
`static SubLString`	`$str91$Time_to_implement_tactic_progress`
`static SubLString`	`$str92$Time_to_implement_tactic_progress`
`static SubLSymbol`	`$sym0$TACTIC`
`static SubLSymbol`	`$sym1$TACTIC_P`
`static SubLSymbol`	`$sym10$_CSETF_TACT_SUID`
`static SubLSymbol`	`$sym11$TACT_PROBLEM`
`static SubLSymbol`	`$sym12$_CSETF_TACT_PROBLEM`
`static SubLSymbol`	`$sym13$TACT_TYPE`
`static SubLSymbol`	`$sym14$_CSETF_TACT_TYPE`
`static SubLSymbol`	`$sym15$TACT_HL_MODULE`
`static SubLSymbol`	`$sym16$_CSETF_TACT_HL_MODULE`
`static SubLSymbol`	`$sym17$TACT_COMPLETENESS`
`static SubLSymbol`	`$sym18$_CSETF_TACT_COMPLETENESS`
`static SubLSymbol`	`$sym19$TACT_PREFERENCE_LEVEL_JUSTIFICATION`
`static SubLSymbol`	`$sym20$_CSETF_TACT_PREFERENCE_LEVEL_JUSTIFICATION`
`static SubLSymbol`	`$sym21$TACT_PRODUCTIVITY`
`static SubLSymbol`	`$sym22$_CSETF_TACT_PRODUCTIVITY`
`static SubLSymbol`	`$sym23$TACT_ORIGINAL_PRODUCTIVITY`
`static SubLSymbol`	`$sym24$_CSETF_TACT_ORIGINAL_PRODUCTIVITY`
`static SubLSymbol`	`$sym25$TACT_STATUS`
`static SubLSymbol`	`$sym26$_CSETF_TACT_STATUS`
`static SubLSymbol`	`$sym27$TACT_PROGRESS_ITERATOR`
`static SubLSymbol`	`$sym28$_CSETF_TACT_PROGRESS_ITERATOR`
`static SubLSymbol`	`$sym29$TACT_DATA`
`static SubLSymbol`	`$sym30$_CSETF_TACT_DATA`
`static SubLSymbol`	`$sym46$SXHASH_TACTIC_METHOD`
`static SubLSymbol`	`$sym47$PROBLEM_P`
`static SubLSymbol`	`$sym48$HL_MODULE_P`
`static SubLSymbol`	`$sym51$COMPLETENESS_P`
`static SubLSymbol`	`$sym53$PREFERENCE_LEVEL_P`
`static SubLSymbol`	`$sym54$PRODUCTIVITY_P`
`static SubLSymbol`	`$sym55$TACTIC_STATUS_P`
`static SubLSymbol`	`$sym56$META_SPLIT_TACTIC_P`
`static SubLSymbol`	`$sym58$DO_PROBLEM_RELEVANT_STRATEGIES`
`static SubLSymbol`	`$sym59$TACTIC_PROBLEM`
`static SubLSymbol`	`$sym65$TACTIC_VAR`
`static SubLSymbol`	`$sym66$CLET`
`static SubLSymbol`	`$sym67$DO_PROBLEM_TACTICS`
`static SubLSymbol`	`$sym68$PUNLESS`
`static SubLSymbol`	`$sym7$PRINT_TACTIC`
`static SubLSymbol`	`$sym73$TACTIC_POSSIBLE_`
`static SubLSymbol`	`$sym74$TACTIC_PROGRESS_ITERATOR_P`
`static SubLSymbol`	`$sym75$_`
`static SubLSymbol`	`$sym76$TACTIC_PRODUCTIVITY`
`static SubLSymbol`	`$sym78$TACTIC_PROGRESS_DONE_`
`static SubLSymbol`	`$sym79$TACTIC_PROGRESS_NEXT`
`static SubLSymbol`	`$sym8$TACTIC_PRINT_FUNCTION_TRAMPOLINE`
`static SubLSymbol`	`$sym80$TACTIC_PROGRESS_FINALIZE`
`static SubLSymbol`	`$sym9$TACT_SUID`
`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_tact_completeness(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_tact_data(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_tact_hl_module(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_tact_original_productivity(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_tact_preference_level_justification(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_tact_problem(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_tact_productivity(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_tact_progress_iterator(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_tact_status(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_tact_suid(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_tact_type(SubLObject object, SubLObject value)`
`static SubLObject`	`clear_tactic_progress_iterator(SubLObject tactic)`
`static SubLObject`	`declare_inference_datastructures_tactic_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`decrement_tactic_productivity_for_number_of_children(SubLObject tactic, SubLObject number)`
`static SubLObject`	`destroy_problem_tactic(SubLObject tactic)`
`static SubLObject`	`destroy_tactic_int(SubLObject tactic)`
`static SubLObject`	`destroy_tactic_progress_iterator(SubLObject tactic)`
`static SubLObject`	`finalize_tactic_progress_iterator(SubLObject progress_iterator)`
`static SubLObject`	`init_inference_datastructures_tactic_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`make_tactic_progress_iterator_state(SubLObject iteration_type, SubLObject tactic, SubLObject sub_state)`
`static SubLObject`	`make_tactic(SubLObject arglist)`
`static SubLObject`	`new_tactic_progress_iterator(SubLObject iteration_type, SubLObject tactic, SubLObject sub_state)`
`static SubLObject`	`new_tactic(SubLObject problem, SubLObject hl_module, SubLObject data)`
`static SubLObject`	`note_tactic_discarded(SubLObject tactic)`
`static SubLObject`	`note_tactic_executed(SubLObject tactic)`
`static SubLObject`	`note_tactic_invalid(SubLObject tactic)`
`static SubLObject`	`note_tactic_most_recent_executed(SubLObject tactic)`
`static SubLObject`	`note_tactic_progress_iterator(SubLObject tactic, SubLObject progress_iterator)`
`static SubLObject`	`possibly_update_tactic_productivity_from_iterator(SubLObject tactic, SubLObject output_iterator)`
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`set_meta_split_tactic_data(SubLObject tactic, SubLObject data)`
`static SubLObject`	`set_tactic_completeness(SubLObject tactic, SubLObject completeness)`
`static SubLObject`	`set_tactic_data(SubLObject tactic, SubLObject data)`
`static SubLObject`	`set_tactic_preference_level(SubLObject tactic, SubLObject preference_level, SubLObject justification)`
`static SubLObject`	`set_tactic_productivity(SubLObject tactic, SubLObject productivity, SubLObject set_originalP)`
`static SubLObject`	`set_tactic_status(SubLObject tactic, SubLObject status)`
`static SubLObject`	`setup_inference_datastructures_tactic_file()`
`static SubLObject`	`sxhash_tactic_method(SubLObject object)`
`static SubLObject`	`tact_completeness(SubLObject object)`
`static SubLObject`	`tact_data(SubLObject object)`
`static SubLObject`	`tact_hl_module(SubLObject object)`
`static SubLObject`	`tact_original_productivity(SubLObject object)`
`static SubLObject`	`tact_preference_level_justification(SubLObject object)`
`static SubLObject`	`tact_problem(SubLObject object)`
`static SubLObject`	`tact_productivity(SubLObject object)`
`static SubLObject`	`tact_progress_iterator(SubLObject object)`
`static SubLObject`	`tact_status(SubLObject object)`
`static SubLObject`	`tact_suid(SubLObject object)`
`static SubLObject`	`tact_type(SubLObject object)`
`static SubLObject`	`tactic_completeness(SubLObject tactic)`
`static SubLObject`	`tactic_data(SubLObject tactic)`
`static SubLObject`	`tactic_discardedP(SubLObject tactic)`
`static SubLObject`	`tactic_executedP(SubLObject tactic)`
`static SubLObject`	`tactic_has_statusP(SubLObject tactic, SubLObject status_spec)`
`static SubLObject`	`tactic_hl_module_name(SubLObject tactic)`
`static SubLObject`	`tactic_hl_module(SubLObject tactic)`
`static SubLObject`	`tactic_in_progress_next(SubLObject tactic)`
`static SubLObject`	`tactic_in_progressP(SubLObject tactic)`
`static SubLObject`	`tactic_invalid_p(SubLObject tactic)`
`static SubLObject`	`tactic_not_possibleP(SubLObject tactic)`
`static SubLObject`	`tactic_original_productivity(SubLObject tactic)`
`static SubLObject`	`tactic_p(SubLObject object)`
`static SubLObject`	`tactic_possibleP(SubLObject tactic)`
`static SubLObject`	`tactic_preference_level_justification(SubLObject tactic)`
`static SubLObject`	`tactic_preference_level(SubLObject tactic)`
`static SubLObject`	`tactic_print_function_trampoline(SubLObject object, SubLObject stream)`
`static SubLObject`	`tactic_problem(SubLObject tactic)`
`static SubLObject`	`tactic_productivity(SubLObject tactic)`
`static SubLObject`	`tactic_progress_doneP(SubLObject state)`
`static SubLObject`	`tactic_progress_finalize(SubLObject state)`
`static SubLObject`	`tactic_progress_iterator_p(SubLObject object)`
`static SubLObject`	`tactic_progress_iterator(SubLObject tactic)`
`static SubLObject`	`tactic_progress_next(SubLObject state)`
`static SubLObject`	`tactic_status(SubLObject tactic)`
`static SubLObject`	`tactic_store(SubLObject tactic)`
`static SubLObject`	`tactic_suid(SubLObject tactic)` Return an SUID for tactic that is unique wrt its problem.
`static SubLObject`	`tactic_type(SubLObject tactic)`
`static SubLObject`	`update_tactic_productivity(SubLObject tactic, SubLObject new_productivity)`
`static SubLObject`	`valid_tactic_p(SubLObject tactic)`

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

$leviathan_avoid_logical_tactic_productivity_computationP$

public static SubLSymbol $leviathan_avoid_logical_tactic_productivity_computationP$

When non-nil, we don't bother to compute the tactic productivity for logical tactics.

$dtp_tactic$

public static SubLSymbol $dtp_tactic$

$sym0$TACTIC

public static final SubLSymbol $sym0$TACTIC

$sym1$TACTIC_P

public static final SubLSymbol $sym1$TACTIC_P

$int2$210

public static final SubLInteger $int2$210

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

public static final SubLSymbol $sym7$PRINT_TACTIC

$sym8$TACTIC_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym8$TACTIC_PRINT_FUNCTION_TRAMPOLINE

$sym9$TACT_SUID

public static final SubLSymbol $sym9$TACT_SUID

$sym10$_CSETF_TACT_SUID

public static final SubLSymbol $sym10$_CSETF_TACT_SUID

$sym11$TACT_PROBLEM

public static final SubLSymbol $sym11$TACT_PROBLEM

$sym12$_CSETF_TACT_PROBLEM

public static final SubLSymbol $sym12$_CSETF_TACT_PROBLEM

$sym13$TACT_TYPE

public static final SubLSymbol $sym13$TACT_TYPE

$sym14$_CSETF_TACT_TYPE

public static final SubLSymbol $sym14$_CSETF_TACT_TYPE

$sym15$TACT_HL_MODULE

public static final SubLSymbol $sym15$TACT_HL_MODULE

$sym16$_CSETF_TACT_HL_MODULE

public static final SubLSymbol $sym16$_CSETF_TACT_HL_MODULE

$sym17$TACT_COMPLETENESS

public static final SubLSymbol $sym17$TACT_COMPLETENESS

$sym18$_CSETF_TACT_COMPLETENESS

public static final SubLSymbol $sym18$_CSETF_TACT_COMPLETENESS

$sym19$TACT_PREFERENCE_LEVEL_JUSTIFICATION

public static final SubLSymbol $sym19$TACT_PREFERENCE_LEVEL_JUSTIFICATION

$sym20$_CSETF_TACT_PREFERENCE_LEVEL_JUSTIFICATION

public static final SubLSymbol $sym20$_CSETF_TACT_PREFERENCE_LEVEL_JUSTIFICATION

$sym21$TACT_PRODUCTIVITY

public static final SubLSymbol $sym21$TACT_PRODUCTIVITY

$sym22$_CSETF_TACT_PRODUCTIVITY

public static final SubLSymbol $sym22$_CSETF_TACT_PRODUCTIVITY

$sym23$TACT_ORIGINAL_PRODUCTIVITY

public static final SubLSymbol $sym23$TACT_ORIGINAL_PRODUCTIVITY

$sym24$_CSETF_TACT_ORIGINAL_PRODUCTIVITY

public static final SubLSymbol $sym24$_CSETF_TACT_ORIGINAL_PRODUCTIVITY

$sym25$TACT_STATUS

public static final SubLSymbol $sym25$TACT_STATUS

$sym26$_CSETF_TACT_STATUS

public static final SubLSymbol $sym26$_CSETF_TACT_STATUS

$sym27$TACT_PROGRESS_ITERATOR

public static final SubLSymbol $sym27$TACT_PROGRESS_ITERATOR

$sym28$_CSETF_TACT_PROGRESS_ITERATOR

public static final SubLSymbol $sym28$_CSETF_TACT_PROGRESS_ITERATOR

$sym29$TACT_DATA

public static final SubLSymbol $sym29$TACT_DATA

$sym30$_CSETF_TACT_DATA

public static final SubLSymbol $sym30$_CSETF_TACT_DATA

$kw31$SUID

public static final SubLSymbol $kw31$SUID

$kw32$PROBLEM

public static final SubLSymbol $kw32$PROBLEM

$kw33$TYPE

public static final SubLSymbol $kw33$TYPE

$kw34$HL_MODULE

public static final SubLSymbol $kw34$HL_MODULE

$kw35$COMPLETENESS

public static final SubLSymbol $kw35$COMPLETENESS

$kw36$PREFERENCE_LEVEL_JUSTIFICATION

public static final SubLSymbol $kw36$PREFERENCE_LEVEL_JUSTIFICATION

$kw37$PRODUCTIVITY

public static final SubLSymbol $kw37$PRODUCTIVITY

$kw38$ORIGINAL_PRODUCTIVITY

public static final SubLSymbol $kw38$ORIGINAL_PRODUCTIVITY

$kw39$STATUS

public static final SubLSymbol $kw39$STATUS

$kw40$PROGRESS_ITERATOR

public static final SubLSymbol $kw40$PROGRESS_ITERATOR

$kw41$DATA

public static final SubLSymbol $kw41$DATA

$str42$Invalid_slot__S_for_construction_

public static final SubLString $str42$Invalid_slot__S_for_construction_

$kw43$FREE

public static final SubLSymbol $kw43$FREE

$str44$_Invalid_TACTIC__s_

public static final SubLString $str44$_Invalid_TACTIC__s_

$str45$__a_TACTICaaa_aa

public static final SubLString $str45$__a_TACTIC__a__a__a___a__a__

$sym46$SXHASH_TACTIC_METHOD

public static final SubLSymbol $sym46$SXHASH_TACTIC_METHOD

$sym47$PROBLEM_P

public static final SubLSymbol $sym47$PROBLEM_P

$sym48$HL_MODULE_P

public static final SubLSymbol $sym48$HL_MODULE_P

$kw49$POSSIBLE

public static final SubLSymbol $kw49$POSSIBLE

$str50$tactical_productivity_being_refer

public static final SubLString $str50$tactical_productivity_being_refer

$sym51$COMPLETENESS_P

public static final SubLSymbol $sym51$COMPLETENESS_P

$str52$

public static final SubLString $str52$

$sym53$PREFERENCE_LEVEL_P

public static final SubLSymbol $sym53$PREFERENCE_LEVEL_P

$sym54$PRODUCTIVITY_P

public static final SubLSymbol $sym54$PRODUCTIVITY_P

$sym55$TACTIC_STATUS_P

public static final SubLSymbol $sym55$TACTIC_STATUS_P

$sym56$META_SPLIT_TACTIC_P

public static final SubLSymbol $sym56$META_SPLIT_TACTIC_P

$list57

public static final SubLList $list57

$sym58$DO_PROBLEM_RELEVANT_STRATEGIES

public static final SubLSymbol $sym58$DO_PROBLEM_RELEVANT_STRATEGIES

$sym59$TACTIC_PROBLEM

public static final SubLSymbol $sym59$TACTIC_PROBLEM

$list60

public static final SubLList $list60

$list61

public static final SubLList $list61

$kw62$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw62$ALLOW_OTHER_KEYS

$kw63$DONE

public static final SubLSymbol $kw63$DONE

$kw64$PREFERENCE_LEVEL

public static final SubLSymbol $kw64$PREFERENCE_LEVEL

$sym65$TACTIC_VAR

public static final SubLSymbol $sym65$TACTIC_VAR

$sym66$CLET

public static final SubLSymbol $sym66$CLET

$sym67$DO_PROBLEM_TACTICS

public static final SubLSymbol $sym67$DO_PROBLEM_TACTICS

$sym68$PUNLESS

public static final SubLSymbol $sym68$PUNLESS

$kw69$EXECUTED

public static final SubLSymbol $kw69$EXECUTED

$kw70$DISCARDED

public static final SubLSymbol $kw70$DISCARDED

$kw71$NON_DISCARDED

public static final SubLSymbol $kw71$NON_DISCARDED

$kw72$IN_PROGESS

public static final SubLSymbol $kw72$IN_PROGESS

$sym73$TACTIC_POSSIBLE_

public static final SubLSymbol $sym73$TACTIC_POSSIBLE_

$sym74$TACTIC_PROGRESS_ITERATOR_P

public static final SubLSymbol $sym74$TACTIC_PROGRESS_ITERATOR_P

$sym75$_

public static final SubLSymbol $sym75$_

$sym76$TACTIC_PRODUCTIVITY

public static final SubLSymbol $sym76$TACTIC_PRODUCTIVITY

$kw77$SKIP

public static final SubLSymbol $kw77$SKIP

$sym78$TACTIC_PROGRESS_DONE_

public static final SubLSymbol $sym78$TACTIC_PROGRESS_DONE_

$sym79$TACTIC_PROGRESS_NEXT

public static final SubLSymbol $sym79$TACTIC_PROGRESS_NEXT

$sym80$TACTIC_PROGRESS_FINALIZE

public static final SubLSymbol $sym80$TACTIC_PROGRESS_FINALIZE

$list81

public static final SubLList $list81

$kw82$REMOVAL_EXPAND

public static final SubLSymbol $kw82$REMOVAL_EXPAND

$kw83$REMOVAL_OUTPUT_GENERATE

public static final SubLSymbol $kw83$REMOVAL_OUTPUT_GENERATE

$list84

public static final SubLList $list84

$kw85$CONJUNCTIVE_REMOVAL_EXPAND

public static final SubLSymbol $kw85$CONJUNCTIVE_REMOVAL_EXPAND

$kw86$CONJUNCTIVE_REMOVAL_EXPAND_ITERATIVE

public static final SubLSymbol $kw86$CONJUNCTIVE_REMOVAL_EXPAND_ITERATIVE

$kw87$TRANSFORMATION_RULE_SELECT

public static final SubLSymbol $kw87$TRANSFORMATION_RULE_SELECT

$kw88$META_STRUCTURAL

public static final SubLSymbol $kw88$META_STRUCTURAL

$str89$Time_to_implement_tactic_progress

public static final SubLString $str89$Time_to_implement_tactic_progress

$list90

public static final SubLList $list90

$str91$Time_to_implement_tactic_progress

public static final SubLString $str91$Time_to_implement_tactic_progress

$str92$Time_to_implement_tactic_progress

public static final SubLString $str92$Time_to_implement_tactic_progress

Method Detail

tactic_print_function_trampoline

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

tactic_p

public static final SubLObject tactic_p(SubLObject object)

tact_suid

public static final SubLObject tact_suid(SubLObject object)

tact_problem

public static final SubLObject tact_problem(SubLObject object)

tact_type

public static final SubLObject tact_type(SubLObject object)

tact_hl_module

public static final SubLObject tact_hl_module(SubLObject object)

tact_completeness

public static final SubLObject tact_completeness(SubLObject object)

tact_preference_level_justification

public static final SubLObject tact_preference_level_justification(SubLObject object)

tact_productivity

public static final SubLObject tact_productivity(SubLObject object)

tact_original_productivity

public static final SubLObject tact_original_productivity(SubLObject object)

tact_status

public static final SubLObject tact_status(SubLObject object)

tact_progress_iterator

public static final SubLObject tact_progress_iterator(SubLObject object)

tact_data

public static final SubLObject tact_data(SubLObject object)

_csetf_tact_suid

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

_csetf_tact_problem

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

_csetf_tact_type

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

_csetf_tact_hl_module

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

_csetf_tact_completeness

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

_csetf_tact_preference_level_justification

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

_csetf_tact_productivity

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

_csetf_tact_original_productivity

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

_csetf_tact_status

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

_csetf_tact_progress_iterator

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

_csetf_tact_data

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

make_tactic

public static final SubLObject make_tactic(SubLObject arglist)

valid_tactic_p

public static final SubLObject valid_tactic_p(SubLObject tactic)

tactic_invalid_p

public static final SubLObject tactic_invalid_p(SubLObject tactic)

sxhash_tactic_method

public static final SubLObject sxhash_tactic_method(SubLObject object)

new_tactic

public static final SubLObject new_tactic(SubLObject problem,
                                          SubLObject hl_module,
                                          SubLObject data)

destroy_problem_tactic

public static final SubLObject destroy_problem_tactic(SubLObject tactic)

destroy_tactic_progress_iterator

public static final SubLObject destroy_tactic_progress_iterator(SubLObject tactic)

destroy_tactic_int

public static final SubLObject destroy_tactic_int(SubLObject tactic)

note_tactic_invalid

public static final SubLObject note_tactic_invalid(SubLObject tactic)

tactic_suid

public static final SubLObject tactic_suid(SubLObject tactic)

Return an SUID for tactic that is unique wrt its problem.

tactic_problem

public static final SubLObject tactic_problem(SubLObject tactic)

tactic_hl_module

public static final SubLObject tactic_hl_module(SubLObject tactic)

tactic_type

public static final SubLObject tactic_type(SubLObject tactic)

Returns:: tactic-type-p; the type of tactic, deducible from HL-MODULE, but stored anyway for efficiency

tactic_completeness

public static final SubLObject tactic_completeness(SubLObject tactic)

tactic_preference_level

public static final SubLObject tactic_preference_level(SubLObject tactic)

tactic_preference_level_justification

public static final SubLObject tactic_preference_level_justification(SubLObject tactic)

tactic_productivity

public static final SubLObject tactic_productivity(SubLObject tactic)

tactic_original_productivity

public static final SubLObject tactic_original_productivity(SubLObject tactic)

tactic_status

public static final SubLObject tactic_status(SubLObject tactic)

tactic_progress_iterator

public static final SubLObject tactic_progress_iterator(SubLObject tactic)

tactic_data

public static final SubLObject tactic_data(SubLObject tactic)

set_tactic_completeness

public static final SubLObject set_tactic_completeness(SubLObject tactic,
                                                       SubLObject completeness)

set_tactic_preference_level

public static final SubLObject set_tactic_preference_level(SubLObject tactic,
                                                           SubLObject preference_level,
                                                           SubLObject justification)

set_tactic_productivity

public static final SubLObject set_tactic_productivity(SubLObject tactic,
                                                       SubLObject productivity,
                                                       SubLObject set_originalP)

set_tactic_status

public static final SubLObject set_tactic_status(SubLObject tactic,
                                                 SubLObject status)

set_tactic_data

public static final SubLObject set_tactic_data(SubLObject tactic,
                                               SubLObject data)

set_meta_split_tactic_data

public static final SubLObject set_meta_split_tactic_data(SubLObject tactic,
                                                          SubLObject data)

tactic_hl_module_name

public static final SubLObject tactic_hl_module_name(SubLObject tactic)

tactic_possibleP

public static final SubLObject tactic_possibleP(SubLObject tactic)

tactic_in_progressP

public static final SubLObject tactic_in_progressP(SubLObject tactic)

tactic_not_possibleP

public static final SubLObject tactic_not_possibleP(SubLObject tactic)

tactic_executedP

public static final SubLObject tactic_executedP(SubLObject tactic)

tactic_discardedP

public static final SubLObject tactic_discardedP(SubLObject tactic)

tactic_has_statusP

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

tactic_store

public static final SubLObject tactic_store(SubLObject tactic)

update_tactic_productivity

public static final SubLObject update_tactic_productivity(SubLObject tactic,
                                                          SubLObject new_productivity)

decrement_tactic_productivity_for_number_of_children

public static final SubLObject decrement_tactic_productivity_for_number_of_children(SubLObject tactic,
                                                                                    SubLObject number)

note_tactic_executed

public static final SubLObject note_tactic_executed(SubLObject tactic)

note_tactic_discarded

public static final SubLObject note_tactic_discarded(SubLObject tactic)

note_tactic_progress_iterator

public static final SubLObject note_tactic_progress_iterator(SubLObject tactic,
                                                             SubLObject progress_iterator)

clear_tactic_progress_iterator

public static final SubLObject clear_tactic_progress_iterator(SubLObject tactic)

tactic_in_progress_next

public static final SubLObject tactic_in_progress_next(SubLObject tactic)

possibly_update_tactic_productivity_from_iterator

public static final SubLObject possibly_update_tactic_productivity_from_iterator(SubLObject tactic,
                                                                                 SubLObject output_iterator)

note_tactic_most_recent_executed

public static final SubLObject note_tactic_most_recent_executed(SubLObject tactic)

tactic_progress_iterator_p

public static final SubLObject tactic_progress_iterator_p(SubLObject object)

new_tactic_progress_iterator

public static final SubLObject new_tactic_progress_iterator(SubLObject iteration_type,
                                                            SubLObject tactic,
                                                            SubLObject sub_state)

make_tactic_progress_iterator_state

public static final SubLObject make_tactic_progress_iterator_state(SubLObject iteration_type,
                                                                   SubLObject tactic,
                                                                   SubLObject sub_state)

tactic_progress_doneP

public static final SubLObject tactic_progress_doneP(SubLObject state)

tactic_progress_next

public static final SubLObject tactic_progress_next(SubLObject state)

tactic_progress_finalize

public static final SubLObject tactic_progress_finalize(SubLObject state)

finalize_tactic_progress_iterator

public static final SubLObject finalize_tactic_progress_iterator(SubLObject progress_iterator)

declare_inference_datastructures_tactic_file

public static final SubLObject declare_inference_datastructures_tactic_file()

init_inference_datastructures_tactic_file

public static final SubLObject init_inference_datastructures_tactic_file()

setup_inference_datastructures_tactic_file

public static final SubLObject setup_inference_datastructures_tactic_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_tactic

me

myName

$leviathan_avoid_logical_tactic_productivity_computationP$

$dtp_tactic$

$sym0$TACTIC

$sym1$TACTIC_P

$int2$210

$list3

$list4

$list5

$list6

$sym7$PRINT_TACTIC

$sym8$TACTIC_PRINT_FUNCTION_TRAMPOLINE

$sym9$TACT_SUID

$sym10$_CSETF_TACT_SUID

$sym11$TACT_PROBLEM

$sym12$_CSETF_TACT_PROBLEM

$sym13$TACT_TYPE

$sym14$_CSETF_TACT_TYPE

$sym15$TACT_HL_MODULE

$sym16$_CSETF_TACT_HL_MODULE

$sym17$TACT_COMPLETENESS

$sym18$_CSETF_TACT_COMPLETENESS

$sym19$TACT_PREFERENCE_LEVEL_JUSTIFICATION

$sym20$_CSETF_TACT_PREFERENCE_LEVEL_JUSTIFICATION

$sym21$TACT_PRODUCTIVITY

$sym22$_CSETF_TACT_PRODUCTIVITY

$sym23$TACT_ORIGINAL_PRODUCTIVITY

$sym24$_CSETF_TACT_ORIGINAL_PRODUCTIVITY

$sym25$TACT_STATUS

$sym26$_CSETF_TACT_STATUS

$sym27$TACT_PROGRESS_ITERATOR

$sym28$_CSETF_TACT_PROGRESS_ITERATOR

$sym29$TACT_DATA

$sym30$_CSETF_TACT_DATA

$kw31$SUID

$kw32$PROBLEM

$kw33$TYPE

$kw34$HL_MODULE

$kw35$COMPLETENESS

$kw36$PREFERENCE_LEVEL_JUSTIFICATION

$kw37$PRODUCTIVITY

$kw38$ORIGINAL_PRODUCTIVITY

$kw39$STATUS

$kw40$PROGRESS_ITERATOR

$kw41$DATA

$str42$Invalid_slot__S_for_construction_

$kw43$FREE

$str44$_Invalid_TACTIC__s_

$str45$__a_TACTIC__a__a__a___a__a__

$sym46$SXHASH_TACTIC_METHOD

$sym47$PROBLEM_P

$sym48$HL_MODULE_P

$kw49$POSSIBLE

$str50$tactical_productivity_being_refer

$sym51$COMPLETENESS_P

$str52$

$sym53$PREFERENCE_LEVEL_P

$sym54$PRODUCTIVITY_P

$sym55$TACTIC_STATUS_P

$sym56$META_SPLIT_TACTIC_P

$list57

$sym58$DO_PROBLEM_RELEVANT_STRATEGIES

$sym59$TACTIC_PROBLEM

$list60

$list61

$kw62$ALLOW_OTHER_KEYS

$kw63$DONE

$kw64$PREFERENCE_LEVEL

$sym65$TACTIC_VAR

$sym66$CLET

$sym67$DO_PROBLEM_TACTICS

$sym68$PUNLESS

$kw69$EXECUTED

$kw70$DISCARDED

$kw71$NON_DISCARDED

$kw72$IN_PROGESS

$sym73$TACTIC_POSSIBLE_

$sym74$TACTIC_PROGRESS_ITERATOR_P

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

$str45$__a_TACTICaaa_aa