inference_datastructures_problem

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

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

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class inference_datastructures_problem_link
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`inference_datastructures_problem_link.$mapped_problem_equal$BinaryFunction`
`static class`	`inference_datastructures_problem_link.$mapped_problem_native`
`static class`	`inference_datastructures_problem_link.$mapped_problem_p$UnaryFunction`
`static class`	`inference_datastructures_problem_link.$problem_link_native`
`static class`	`inference_datastructures_problem_link.$problem_link_p$UnaryFunction`
`static class`	`inference_datastructures_problem_link.$sxhash_problem_link_method$UnaryFunction`

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

Field Summary
`static SubLSymbol`	$dtp_mapped_problem$
`static SubLSymbol`	$dtp_problem_link$
`static SubLInteger`	`$int2$213`
`static SubLInteger`	`$int68$214`
`static SubLSymbol`	`$kw23$SUID`
`static SubLSymbol`	`$kw24$TYPE`
`static SubLSymbol`	`$kw25$SUPPORTED_OBJECT`
`static SubLSymbol`	`$kw26$SUPPORTING_MAPPED_PROBLEMS`
`static SubLSymbol`	`$kw27$OPEN_FLAGS`
`static SubLSymbol`	`$kw28$DATA`
`static SubLSymbol`	`$kw29$PROOFS`
`static SubLSymbol`	`$kw31$FREE`
`static SubLSymbol`	`$kw34$ANSWER`
`static SubLSymbol`	`$kw41$REMOVAL`
`static SubLSymbol`	`$kw42$TRANSFORMATION`
`static SubLSymbol`	`$kw43$RESIDUAL_TRANSFORMATION`
`static SubLSymbol`	`$kw44$JOIN_ORDERED`
`static SubLSymbol`	`$kw45$JOIN`
`static SubLSymbol`	`$kw46$SPLIT`
`static SubLSymbol`	`$kw47$UNION`
`static SubLSymbol`	`$kw48$RESTRICTION`
`static SubLSymbol`	`$kw50$CONTENT`
`static SubLSymbol`	`$kw51$STRUCTURAL`
`static SubLSymbol`	`$kw52$DISJUNCTIVE`
`static SubLSymbol`	`$kw53$CONJUNCTIVE`
`static SubLSymbol`	`$kw54$CONNECTED_CONJUNCTION`
`static SubLSymbol`	`$kw55$LOGICAL`
`static SubLSymbol`	`$kw56$SPLIT_RESTRICTION`
`static SubLSymbol`	`$kw57$SIMPLIFICATION`
`static SubLSymbol`	`$kw58$REMOVAL_CONJUNCTIVE`
`static SubLSymbol`	`$kw63$PROVEN`
`static SubLSymbol`	`$kw64$DESTRUCTIBLE`
`static SubLSymbol`	`$kw65$INDESTRUCTIBLE`
`static SubLSymbol`	`$kw79$PROBLEM`
`static SubLSymbol`	`$kw80$VARIABLE_MAP`
`static SubLSymbol`	`$kw83$STREAM`
`static SubLSymbol`	`$kw84$BASE`
`static SubLSymbol`	`$kw90$ALLOW_OTHER_KEYS`
`static SubLSymbol`	`$kw91$OPEN_`
`static SubLSymbol`	`$kw92$DONE`
`static SubLList`	`$list3`
`static SubLList`	`$list4`
`static SubLList`	`$list5`
`static SubLList`	`$list6`
`static SubLList`	`$list60`
`static SubLList`	`$list69`
`static SubLList`	`$list70`
`static SubLList`	`$list71`
`static SubLList`	`$list72`
`static SubLList`	`$list88`
`static SubLList`	`$list89`
`static SubLList`	`$list98`
`static SubLSymbol`	$problem_link_datastructure_stores_proofsP$ If T, when a proof is created for a link and subproofs, the proof is also added to the proofs slot of that link and used when finding link-proofs
`static SubLString`	`$str30$Invalid_slot__S_for_construction_`
`static SubLString`	`$str32$_Invalid_LINK__s_`
`static SubLString`	`$str33$__a_LINK__a__a_supporting_`
`static SubLString`	`$str35$_a_`
`static SubLString`	`$str36$_a__a_`
`static SubLString`	`$str39$Can_t_call_new_problem_link_for_a`
`static SubLString`	`$str81$_MAPPED_PROBLEM__a__a_`
`static SubLString`	`$str82$__`
`static SubLSymbol`	`$sym0$PROBLEM_LINK`
`static SubLSymbol`	`$sym1$PROBLEM_LINK_P`
`static SubLSymbol`	`$sym10$_CSETF_PROB_LINK_SUID`
`static SubLSymbol`	`$sym100$DO_PROBLEM_LINK_SUPPORTING_MAPPED_PROBLEM_INTERPRETATIONS`
`static SubLSymbol`	`$sym101$MAPPED_PROBLEM_VARIABLE_MAP`
`static SubLSymbol`	`$sym11$PROB_LINK_TYPE`
`static SubLSymbol`	`$sym12$_CSETF_PROB_LINK_TYPE`
`static SubLSymbol`	`$sym13$PROB_LINK_SUPPORTED_OBJECT`
`static SubLSymbol`	`$sym14$_CSETF_PROB_LINK_SUPPORTED_OBJECT`
`static SubLSymbol`	`$sym15$PROB_LINK_SUPPORTING_MAPPED_PROBLEMS`
`static SubLSymbol`	`$sym16$_CSETF_PROB_LINK_SUPPORTING_MAPPED_PROBLEMS`
`static SubLSymbol`	`$sym17$PROB_LINK_OPEN_FLAGS`
`static SubLSymbol`	`$sym18$_CSETF_PROB_LINK_OPEN_FLAGS`
`static SubLSymbol`	`$sym19$PROB_LINK_DATA`
`static SubLSymbol`	`$sym20$_CSETF_PROB_LINK_DATA`
`static SubLSymbol`	`$sym21$PROB_LINK_PROOFS`
`static SubLSymbol`	`$sym22$_CSETF_PROB_LINK_PROOFS`
`static SubLSymbol`	`$sym37$SXHASH_PROBLEM_LINK_METHOD`
`static SubLSymbol`	`$sym38$PROBLEM_LINK_TYPE_P`
`static SubLSymbol`	`$sym40$PROBLEM_P`
`static SubLSymbol`	`$sym49$INTEGERP`
`static SubLSymbol`	`$sym59$PROBLEM_LINK_NUMBER_OF_SUPPORTING_PROBLEMS`
`static SubLSymbol`	`$sym61$PROBLEM_LINK_WITH_SINGLE_SUPPORTING_PROBLEM_P`
`static SubLSymbol`	`$sym62$MAPPED_PROBLEM_EQUAL`
`static SubLSymbol`	`$sym66$MAPPED_PROBLEM_P`
`static SubLSymbol`	`$sym67$MAPPED_PROBLEM`
`static SubLSymbol`	`$sym7$PRINT_PROBLEM_LINK`
`static SubLSymbol`	`$sym73$PRINT_MAPPED_PROBLEM`
`static SubLSymbol`	`$sym74$MAPPED_PROBLEM_PRINT_FUNCTION_TRAMPOLINE`
`static SubLSymbol`	`$sym75$MAPPED_PROB_PROBLEM`
`static SubLSymbol`	`$sym76$_CSETF_MAPPED_PROB_PROBLEM`
`static SubLSymbol`	`$sym77$MAPPED_PROB_VARIABLE_MAP`
`static SubLSymbol`	`$sym78$_CSETF_MAPPED_PROB_VARIABLE_MAP`
`static SubLSymbol`	`$sym8$PROBLEM_LINK_PRINT_FUNCTION_TRAMPOLINE`
`static SubLSymbol`	`$sym85$SXHASH_MAPPED_PROBLEM_METHOD`
`static SubLSymbol`	`$sym86$VARIABLE_MAP_P`
`static SubLSymbol`	`$sym87$CLOSED_PROBLEM_P`
`static SubLSymbol`	`$sym9$PROB_LINK_SUID`
`static SubLSymbol`	`$sym93$PROBLEM_VAR`
`static SubLSymbol`	`$sym94$CLET`
`static SubLSymbol`	`$sym95$DO_PROBLEM_LINK_SUPPORTING_MAPPED_PROBLEMS`
`static SubLSymbol`	`$sym96$PWHEN`
`static SubLSymbol`	`$sym97$MAPPED_PROBLEM_PROBLEM`
`static SubLSymbol`	`$sym99$SUPPORTING_MAPPED_PROBLEM`
`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_mapped_prob_problem(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_mapped_prob_variable_map(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_link_data(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_link_open_flags(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_link_suid(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_link_supported_object(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_link_supporting_mapped_problems(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_link_type(SubLObject object, SubLObject value)`
`static SubLObject`	`add_problem_link_supporting_mapped_problem(SubLObject link, SubLObject supporting_mapped_problem)` Adds SUPPORTING-PROBLEM to the list of problems below LINK
`static SubLObject`	`connect_supporting_mapped_problem_with_dependent_link(SubLObject supporting_mapped_problem, SubLObject link)` Adds a 'down' edge from LINK (above) to PROBLEM (below)
`static SubLObject`	`declare_inference_datastructures_problem_link_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`destroy_mapped_problem_int(SubLObject mapped_problem)`
`static SubLObject`	`destroy_problem_link_int(SubLObject link)`
`static SubLObject`	`destroy_problem_link_mapped_problem(SubLObject mapped_problem)`
`static SubLObject`	`destroy_problem_link(SubLObject link)`
`static SubLObject`	`destroy_problem_store_link(SubLObject link)`
`static SubLObject`	`find_supporting_mapped_problem_by_index(SubLObject link, SubLObject index)`
`static SubLObject`	`init_inference_datastructures_problem_link_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`make_mapped_problem(SubLObject arglist)`
`static SubLObject`	`make_problem_link(SubLObject arglist)`
`static SubLObject`	`mapped_prob_problem(SubLObject object)`
`static SubLObject`	`mapped_prob_variable_map(SubLObject object)`
`static SubLObject`	`mapped_problem_equal(SubLObject mapped_problem1, SubLObject mapped_problem2)`
`static SubLObject`	`mapped_problem_p(SubLObject object)`
`static SubLObject`	`mapped_problem_problem(SubLObject mapped_problem)`
`static SubLObject`	`mapped_problem_variable_map(SubLObject mapped_problem)` Variable maps go UP, i.e.
`static SubLObject`	`new_mapped_problem(SubLObject problem, SubLObject variable_map)`
`static SubLObject`	`new_problem_link_int(SubLObject supported_object, SubLObject type)`
`static SubLObject`	`new_problem_link(SubLObject type, SubLObject supported_problem)` Creates a new link under SUPPORTED-PROBLEM
`static SubLObject`	`note_mapped_problem_invalid(SubLObject mapped_problem)`
`static SubLObject`	`note_problem_link_invalid(SubLObject link)`
`static SubLObject`	`prob_link_data(SubLObject object)`
`static SubLObject`	`prob_link_open_flags(SubLObject object)`
`static SubLObject`	`prob_link_suid(SubLObject object)`
`static SubLObject`	`prob_link_supported_object(SubLObject object)`
`static SubLObject`	`prob_link_supporting_mapped_problems(SubLObject object)`
`static SubLObject`	`prob_link_type(SubLObject object)`
`static SubLObject`	`problem_link_close_all(SubLObject link)`
`static SubLObject`	`problem_link_close_index(SubLObject link, SubLObject index)`
`static SubLObject`	`problem_link_closedP(SubLObject link)`
`static SubLObject`	`problem_link_data(SubLObject link)`
`static SubLObject`	`problem_link_find_supporting_mapped_problem_by_index(SubLObject link, SubLObject index)`
`static SubLObject`	`problem_link_first_supporting_mapped_problem(SubLObject link)`
`static SubLObject`	`problem_link_has_typeP(SubLObject link, SubLObject type)`
`static SubLObject`	`problem_link_index_openP(SubLObject link, SubLObject index)`
`static SubLObject`	`problem_link_invalid_p(SubLObject problem_link)`
`static SubLObject`	`problem_link_number_of_supporting_problems(SubLObject link)`
`static SubLObject`	`problem_link_open_all(SubLObject link)`
`static SubLObject`	`problem_link_open_flags(SubLObject link)`
`static SubLObject`	`problem_link_open_index(SubLObject link, SubLObject index)`
`static SubLObject`	`problem_link_open_sole_supporting_mapped_problem(SubLObject link)`
`static SubLObject`	`problem_link_open_supporting_mapped_problem(SubLObject link, SubLObject supporting_mapped_problem)`
`static SubLObject`	`problem_link_openP(SubLObject link)`
`static SubLObject`	`problem_link_p(SubLObject object)`
`static SubLObject`	`problem_link_print_function_trampoline(SubLObject object, SubLObject stream)`
`static SubLObject`	`problem_link_sole_supporting_mapped_problem_openP(SubLObject link)`
`static SubLObject`	`problem_link_sole_supporting_mapped_problem(SubLObject link)`
`static SubLObject`	`problem_link_sole_supporting_problem(SubLObject link)`
`static SubLObject`	`problem_link_store(SubLObject link)`
`static SubLObject`	`problem_link_suid(SubLObject link)`
`static SubLObject`	`problem_link_supported_inference(SubLObject link)`
`static SubLObject`	`problem_link_supported_object(SubLObject link)`
`static SubLObject`	`problem_link_supported_problem(SubLObject link)`
`static SubLObject`	`problem_link_supporting_mapped_problem_count(SubLObject link)`
`static SubLObject`	`problem_link_supporting_mapped_problem_openP(SubLObject link, SubLObject supporting_mapped_problem)`
`static SubLObject`	`problem_link_supporting_mapped_problems(SubLObject link)`
`static SubLObject`	`problem_link_to_goal_p(SubLObject link)`
`static SubLObject`	`problem_link_type(SubLObject link)`
`static SubLObject`	`problem_link_with_supporting_problem_p(SubLObject object)`
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`set_problem_link_data(SubLObject link, SubLObject data)`
`static SubLObject`	`set_problem_link_open_flags(SubLObject link, SubLObject flags)`
`static SubLObject`	`setup_inference_datastructures_problem_link_file()`
`static SubLObject`	`sxhash_mapped_problem_method(SubLObject object)`
`static SubLObject`	`sxhash_problem_link_method(SubLObject object)`
`static SubLObject`	`valid_mapped_problem_p(SubLObject object)`
`static SubLObject`	`valid_problem_link_p(SubLObject object)`

Methods inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
`extractFunctionNamed`

Methods inherited from class com.cyc.tool.subl.util.SubLTrampolineFile
`checkType, enforceType, extractBinaryFunc, extractCount, extractEnd, extractEndUsingSize, extractPackage, extractStart, extractUnaryFunc, main`

Methods inherited from class java.lang.Object
`equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Field Detail

me

public static final SubLFile me

myName

public static final java.lang.String myName

See Also:: Constant Field Values

$problem_link_datastructure_stores_proofsP$

public static SubLSymbol $problem_link_datastructure_stores_proofsP$

If T, when a proof is created for a link and subproofs, the proof is also added to the proofs slot of that link and used when finding link-proofs

$dtp_problem_link$

public static SubLSymbol $dtp_problem_link$

$dtp_mapped_problem$

public static SubLSymbol $dtp_mapped_problem$

$sym0$PROBLEM_LINK

public static final SubLSymbol $sym0$PROBLEM_LINK

$sym1$PROBLEM_LINK_P

public static final SubLSymbol $sym1$PROBLEM_LINK_P

$int2$213

public static final SubLInteger $int2$213

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

public static final SubLSymbol $sym7$PRINT_PROBLEM_LINK

$sym8$PROBLEM_LINK_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym8$PROBLEM_LINK_PRINT_FUNCTION_TRAMPOLINE

$sym9$PROB_LINK_SUID

public static final SubLSymbol $sym9$PROB_LINK_SUID

$sym10$_CSETF_PROB_LINK_SUID

public static final SubLSymbol $sym10$_CSETF_PROB_LINK_SUID

$sym11$PROB_LINK_TYPE

public static final SubLSymbol $sym11$PROB_LINK_TYPE

$sym12$_CSETF_PROB_LINK_TYPE

public static final SubLSymbol $sym12$_CSETF_PROB_LINK_TYPE

$sym13$PROB_LINK_SUPPORTED_OBJECT

public static final SubLSymbol $sym13$PROB_LINK_SUPPORTED_OBJECT

$sym14$_CSETF_PROB_LINK_SUPPORTED_OBJECT

public static final SubLSymbol $sym14$_CSETF_PROB_LINK_SUPPORTED_OBJECT

$sym15$PROB_LINK_SUPPORTING_MAPPED_PROBLEMS

public static final SubLSymbol $sym15$PROB_LINK_SUPPORTING_MAPPED_PROBLEMS

$sym16$_CSETF_PROB_LINK_SUPPORTING_MAPPED_PROBLEMS

public static final SubLSymbol $sym16$_CSETF_PROB_LINK_SUPPORTING_MAPPED_PROBLEMS

$sym17$PROB_LINK_OPEN_FLAGS

public static final SubLSymbol $sym17$PROB_LINK_OPEN_FLAGS

$sym18$_CSETF_PROB_LINK_OPEN_FLAGS

public static final SubLSymbol $sym18$_CSETF_PROB_LINK_OPEN_FLAGS

$sym19$PROB_LINK_DATA

public static final SubLSymbol $sym19$PROB_LINK_DATA

$sym20$_CSETF_PROB_LINK_DATA

public static final SubLSymbol $sym20$_CSETF_PROB_LINK_DATA

$sym21$PROB_LINK_PROOFS

public static final SubLSymbol $sym21$PROB_LINK_PROOFS

$sym22$_CSETF_PROB_LINK_PROOFS

public static final SubLSymbol $sym22$_CSETF_PROB_LINK_PROOFS

$kw23$SUID

public static final SubLSymbol $kw23$SUID

$kw24$TYPE

public static final SubLSymbol $kw24$TYPE

$kw25$SUPPORTED_OBJECT

public static final SubLSymbol $kw25$SUPPORTED_OBJECT

$kw26$SUPPORTING_MAPPED_PROBLEMS

public static final SubLSymbol $kw26$SUPPORTING_MAPPED_PROBLEMS

$kw27$OPEN_FLAGS

public static final SubLSymbol $kw27$OPEN_FLAGS

$kw28$DATA

public static final SubLSymbol $kw28$DATA

$kw29$PROOFS

public static final SubLSymbol $kw29$PROOFS

$str30$Invalid_slot__S_for_construction_

public static final SubLString $str30$Invalid_slot__S_for_construction_

$kw31$FREE

public static final SubLSymbol $kw31$FREE

$str32$_Invalid_LINK__s_

public static final SubLString $str32$_Invalid_LINK__s_

$str33$__a_LINKaa_supporting_

public static final SubLString $str33$__a_LINK__a__a_supporting_

$kw34$ANSWER

public static final SubLSymbol $kw34$ANSWER

$str35$_a_

public static final SubLString $str35$_a_

$str36$_a__a_

public static final SubLString $str36$_a__a_

$sym37$SXHASH_PROBLEM_LINK_METHOD

public static final SubLSymbol $sym37$SXHASH_PROBLEM_LINK_METHOD

$sym38$PROBLEM_LINK_TYPE_P

public static final SubLSymbol $sym38$PROBLEM_LINK_TYPE_P

$str39$Can_t_call_new_problem_link_for_a

public static final SubLString $str39$Can_t_call_new_problem_link_for_a

$sym40$PROBLEM_P

public static final SubLSymbol $sym40$PROBLEM_P

$kw41$REMOVAL

public static final SubLSymbol $kw41$REMOVAL

$kw42$TRANSFORMATION

public static final SubLSymbol $kw42$TRANSFORMATION

$kw43$RESIDUAL_TRANSFORMATION

public static final SubLSymbol $kw43$RESIDUAL_TRANSFORMATION

$kw44$JOIN_ORDERED

public static final SubLSymbol $kw44$JOIN_ORDERED

$kw45$JOIN

public static final SubLSymbol $kw45$JOIN

$kw46$SPLIT

public static final SubLSymbol $kw46$SPLIT

$kw47$UNION

public static final SubLSymbol $kw47$UNION

$kw48$RESTRICTION

public static final SubLSymbol $kw48$RESTRICTION

$sym49$INTEGERP

public static final SubLSymbol $sym49$INTEGERP

$kw50$CONTENT

public static final SubLSymbol $kw50$CONTENT

$kw51$STRUCTURAL

public static final SubLSymbol $kw51$STRUCTURAL

$kw52$DISJUNCTIVE

public static final SubLSymbol $kw52$DISJUNCTIVE

$kw53$CONJUNCTIVE

public static final SubLSymbol $kw53$CONJUNCTIVE

$kw54$CONNECTED_CONJUNCTION

public static final SubLSymbol $kw54$CONNECTED_CONJUNCTION

$kw55$LOGICAL

public static final SubLSymbol $kw55$LOGICAL

$kw56$SPLIT_RESTRICTION

public static final SubLSymbol $kw56$SPLIT_RESTRICTION

$kw57$SIMPLIFICATION

public static final SubLSymbol $kw57$SIMPLIFICATION

$kw58$REMOVAL_CONJUNCTIVE

public static final SubLSymbol $kw58$REMOVAL_CONJUNCTIVE

$sym59$PROBLEM_LINK_NUMBER_OF_SUPPORTING_PROBLEMS

public static final SubLSymbol $sym59$PROBLEM_LINK_NUMBER_OF_SUPPORTING_PROBLEMS

$list60

public static final SubLList $list60

$sym61$PROBLEM_LINK_WITH_SINGLE_SUPPORTING_PROBLEM_P

public static final SubLSymbol $sym61$PROBLEM_LINK_WITH_SINGLE_SUPPORTING_PROBLEM_P

$sym62$MAPPED_PROBLEM_EQUAL

public static final SubLSymbol $sym62$MAPPED_PROBLEM_EQUAL

$kw63$PROVEN

public static final SubLSymbol $kw63$PROVEN

$kw64$DESTRUCTIBLE

public static final SubLSymbol $kw64$DESTRUCTIBLE

$kw65$INDESTRUCTIBLE

public static final SubLSymbol $kw65$INDESTRUCTIBLE

$sym66$MAPPED_PROBLEM_P

public static final SubLSymbol $sym66$MAPPED_PROBLEM_P

$sym67$MAPPED_PROBLEM

public static final SubLSymbol $sym67$MAPPED_PROBLEM

$int68$214

public static final SubLInteger $int68$214

$list69

public static final SubLList $list69

$list70

public static final SubLList $list70

$list71

public static final SubLList $list71

$list72

public static final SubLList $list72

$sym73$PRINT_MAPPED_PROBLEM

public static final SubLSymbol $sym73$PRINT_MAPPED_PROBLEM

$sym74$MAPPED_PROBLEM_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym74$MAPPED_PROBLEM_PRINT_FUNCTION_TRAMPOLINE

$sym75$MAPPED_PROB_PROBLEM

public static final SubLSymbol $sym75$MAPPED_PROB_PROBLEM

$sym76$_CSETF_MAPPED_PROB_PROBLEM

public static final SubLSymbol $sym76$_CSETF_MAPPED_PROB_PROBLEM

$sym77$MAPPED_PROB_VARIABLE_MAP

public static final SubLSymbol $sym77$MAPPED_PROB_VARIABLE_MAP

$sym78$_CSETF_MAPPED_PROB_VARIABLE_MAP

public static final SubLSymbol $sym78$_CSETF_MAPPED_PROB_VARIABLE_MAP

$kw79$PROBLEM

public static final SubLSymbol $kw79$PROBLEM

$kw80$VARIABLE_MAP

public static final SubLSymbol $kw80$VARIABLE_MAP

$str81$_MAPPED_PROBLEMaa_

public static final SubLString $str81$_MAPPED_PROBLEM__a__a_

$str82$__

public static final SubLString $str82$__

$kw83$STREAM

public static final SubLSymbol $kw83$STREAM

$kw84$BASE

public static final SubLSymbol $kw84$BASE

$sym85$SXHASH_MAPPED_PROBLEM_METHOD

public static final SubLSymbol $sym85$SXHASH_MAPPED_PROBLEM_METHOD

$sym86$VARIABLE_MAP_P

public static final SubLSymbol $sym86$VARIABLE_MAP_P

$sym87$CLOSED_PROBLEM_P

public static final SubLSymbol $sym87$CLOSED_PROBLEM_P

$list88

public static final SubLList $list88

$list89

public static final SubLList $list89

$kw90$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw90$ALLOW_OTHER_KEYS

$kw91$OPEN_

public static final SubLSymbol $kw91$OPEN_

$kw92$DONE

public static final SubLSymbol $kw92$DONE

$sym93$PROBLEM_VAR

public static final SubLSymbol $sym93$PROBLEM_VAR

$sym94$CLET

public static final SubLSymbol $sym94$CLET

$sym95$DO_PROBLEM_LINK_SUPPORTING_MAPPED_PROBLEMS

public static final SubLSymbol $sym95$DO_PROBLEM_LINK_SUPPORTING_MAPPED_PROBLEMS

$sym96$PWHEN

public static final SubLSymbol $sym96$PWHEN

$sym97$MAPPED_PROBLEM_PROBLEM

public static final SubLSymbol $sym97$MAPPED_PROBLEM_PROBLEM

$list98

public static final SubLList $list98

$sym99$SUPPORTING_MAPPED_PROBLEM

public static final SubLSymbol $sym99$SUPPORTING_MAPPED_PROBLEM

$sym100$DO_PROBLEM_LINK_SUPPORTING_MAPPED_PROBLEM_INTERPRETATIONS

public static final SubLSymbol $sym100$DO_PROBLEM_LINK_SUPPORTING_MAPPED_PROBLEM_INTERPRETATIONS

$sym101$MAPPED_PROBLEM_VARIABLE_MAP

public static final SubLSymbol $sym101$MAPPED_PROBLEM_VARIABLE_MAP

Method Detail

problem_link_print_function_trampoline

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

problem_link_p

public static final SubLObject problem_link_p(SubLObject object)

prob_link_suid

public static final SubLObject prob_link_suid(SubLObject object)

prob_link_type

public static final SubLObject prob_link_type(SubLObject object)

prob_link_supported_object

public static final SubLObject prob_link_supported_object(SubLObject object)

prob_link_supporting_mapped_problems

public static final SubLObject prob_link_supporting_mapped_problems(SubLObject object)

prob_link_open_flags

public static final SubLObject prob_link_open_flags(SubLObject object)

prob_link_data

public static final SubLObject prob_link_data(SubLObject object)

_csetf_prob_link_suid

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

_csetf_prob_link_type

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

_csetf_prob_link_supported_object

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

_csetf_prob_link_supporting_mapped_problems

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

_csetf_prob_link_open_flags

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

_csetf_prob_link_data

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

make_problem_link

public static final SubLObject make_problem_link(SubLObject arglist)

valid_problem_link_p

public static final SubLObject valid_problem_link_p(SubLObject object)

problem_link_invalid_p

public static final SubLObject problem_link_invalid_p(SubLObject problem_link)

sxhash_problem_link_method

public static final SubLObject sxhash_problem_link_method(SubLObject object)

new_problem_link

public static final SubLObject new_problem_link(SubLObject type,
                                                SubLObject supported_problem)

Creates a new link under SUPPORTED-PROBLEM

new_problem_link_int

public static final SubLObject new_problem_link_int(SubLObject supported_object,
                                                    SubLObject type)

destroy_problem_link

public static final SubLObject destroy_problem_link(SubLObject link)

destroy_problem_store_link

public static final SubLObject destroy_problem_store_link(SubLObject link)

destroy_problem_link_int

public static final SubLObject destroy_problem_link_int(SubLObject link)

note_problem_link_invalid

public static final SubLObject note_problem_link_invalid(SubLObject link)

problem_link_suid

public static final SubLObject problem_link_suid(SubLObject link)

problem_link_type

public static final SubLObject problem_link_type(SubLObject link)

problem_link_supported_object

public static final SubLObject problem_link_supported_object(SubLObject link)

problem_link_supporting_mapped_problems

public static final SubLObject problem_link_supporting_mapped_problems(SubLObject link)

problem_link_open_flags

public static final SubLObject problem_link_open_flags(SubLObject link)

problem_link_data

public static final SubLObject problem_link_data(SubLObject link)

set_problem_link_open_flags

public static final SubLObject set_problem_link_open_flags(SubLObject link,
                                                           SubLObject flags)

set_problem_link_data

public static final SubLObject set_problem_link_data(SubLObject link,
                                                     SubLObject data)

problem_link_store

public static final SubLObject problem_link_store(SubLObject link)

problem_link_has_typeP

public static final SubLObject problem_link_has_typeP(SubLObject link,
                                                      SubLObject type)

problem_link_supported_inference

public static final SubLObject problem_link_supported_inference(SubLObject link)

problem_link_supported_problem

public static final SubLObject problem_link_supported_problem(SubLObject link)

problem_link_with_supporting_problem_p

public static final SubLObject problem_link_with_supporting_problem_p(SubLObject object)

Returns:: boolean; t iff OBJECT is a problem-link with at least one argument (child) link.

problem_link_number_of_supporting_problems

public static final SubLObject problem_link_number_of_supporting_problems(SubLObject link)

problem_link_supporting_mapped_problem_count

public static final SubLObject problem_link_supporting_mapped_problem_count(SubLObject link)

problem_link_first_supporting_mapped_problem

public static final SubLObject problem_link_first_supporting_mapped_problem(SubLObject link)

problem_link_sole_supporting_mapped_problem

public static final SubLObject problem_link_sole_supporting_mapped_problem(SubLObject link)

problem_link_sole_supporting_problem

public static final SubLObject problem_link_sole_supporting_problem(SubLObject link)

Parameters:: LINK - problem-link-p;
Returns:: problem-p; The sole supporting problem of LINK.

problem_link_find_supporting_mapped_problem_by_index

public static final SubLObject problem_link_find_supporting_mapped_problem_by_index(SubLObject link,
                                                                                    SubLObject index)

problem_link_openP

public static final SubLObject problem_link_openP(SubLObject link)

problem_link_closedP

public static final SubLObject problem_link_closedP(SubLObject link)

problem_link_index_openP

public static final SubLObject problem_link_index_openP(SubLObject link,
                                                        SubLObject index)

problem_link_supporting_mapped_problem_openP

public static final SubLObject problem_link_supporting_mapped_problem_openP(SubLObject link,
                                                                            SubLObject supporting_mapped_problem)

problem_link_sole_supporting_mapped_problem_openP

public static final SubLObject problem_link_sole_supporting_mapped_problem_openP(SubLObject link)

add_problem_link_supporting_mapped_problem

public static final SubLObject add_problem_link_supporting_mapped_problem(SubLObject link,
                                                                          SubLObject supporting_mapped_problem)

Adds SUPPORTING-PROBLEM to the list of problems below LINK

problem_link_open_all

public static final SubLObject problem_link_open_all(SubLObject link)

problem_link_open_index

public static final SubLObject problem_link_open_index(SubLObject link,
                                                       SubLObject index)

problem_link_open_supporting_mapped_problem

public static final SubLObject problem_link_open_supporting_mapped_problem(SubLObject link,
                                                                           SubLObject supporting_mapped_problem)

problem_link_open_sole_supporting_mapped_problem

public static final SubLObject problem_link_open_sole_supporting_mapped_problem(SubLObject link)

problem_link_close_index

public static final SubLObject problem_link_close_index(SubLObject link,
                                                        SubLObject index)

problem_link_close_all

public static final SubLObject problem_link_close_all(SubLObject link)

connect_supporting_mapped_problem_with_dependent_link

public static final SubLObject connect_supporting_mapped_problem_with_dependent_link(SubLObject supporting_mapped_problem,
                                                                                     SubLObject link)

Adds a 'down' edge from LINK (above) to PROBLEM (below)

problem_link_to_goal_p

public static final SubLObject problem_link_to_goal_p(SubLObject link)

Returns:: boolean; t iff LINK is a link to goal. The only links (except for links in the middle of being created) which have no supporting-mapped-problems are links to goal.

mapped_problem_p

public static final SubLObject mapped_problem_p(SubLObject object)

mapped_prob_problem

public static final SubLObject mapped_prob_problem(SubLObject object)

mapped_prob_variable_map

public static final SubLObject mapped_prob_variable_map(SubLObject object)

_csetf_mapped_prob_problem

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

_csetf_mapped_prob_variable_map

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

make_mapped_problem

public static final SubLObject make_mapped_problem(SubLObject arglist)

valid_mapped_problem_p

public static final SubLObject valid_mapped_problem_p(SubLObject object)

mapped_problem_equal

public static final SubLObject mapped_problem_equal(SubLObject mapped_problem1,
                                                    SubLObject mapped_problem2)

sxhash_mapped_problem_method

public static final SubLObject sxhash_mapped_problem_method(SubLObject object)

new_mapped_problem

public static final SubLObject new_mapped_problem(SubLObject problem,
                                                  SubLObject variable_map)

destroy_problem_link_mapped_problem

public static final SubLObject destroy_problem_link_mapped_problem(SubLObject mapped_problem)

destroy_mapped_problem_int

public static final SubLObject destroy_mapped_problem_int(SubLObject mapped_problem)

note_mapped_problem_invalid

public static final SubLObject note_mapped_problem_invalid(SubLObject mapped_problem)

mapped_problem_problem

public static final SubLObject mapped_problem_problem(SubLObject mapped_problem)

mapped_problem_variable_map

public static final SubLObject mapped_problem_variable_map(SubLObject mapped_problem)

Variable maps go UP, i.e. ( -> )

find_supporting_mapped_problem_by_index

public static final SubLObject find_supporting_mapped_problem_by_index(SubLObject link,
                                                                       SubLObject index)

declare_inference_datastructures_problem_link_file

public static final SubLObject declare_inference_datastructures_problem_link_file()

init_inference_datastructures_problem_link_file

public static final SubLObject init_inference_datastructures_problem_link_file()

setup_inference_datastructures_problem_link_file

public static final SubLObject setup_inference_datastructures_problem_link_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_link

me

myName

$problem_link_datastructure_stores_proofsP$

$dtp_problem_link$

$dtp_mapped_problem$

$sym0$PROBLEM_LINK

$sym1$PROBLEM_LINK_P

$int2$213

$list3

$list4

$list5

$list6

$sym7$PRINT_PROBLEM_LINK

$sym8$PROBLEM_LINK_PRINT_FUNCTION_TRAMPOLINE

$sym9$PROB_LINK_SUID

$sym10$_CSETF_PROB_LINK_SUID

$sym11$PROB_LINK_TYPE

$sym12$_CSETF_PROB_LINK_TYPE

$sym13$PROB_LINK_SUPPORTED_OBJECT

$sym14$_CSETF_PROB_LINK_SUPPORTED_OBJECT

$sym15$PROB_LINK_SUPPORTING_MAPPED_PROBLEMS

$sym16$_CSETF_PROB_LINK_SUPPORTING_MAPPED_PROBLEMS

$sym17$PROB_LINK_OPEN_FLAGS

$sym18$_CSETF_PROB_LINK_OPEN_FLAGS

$sym19$PROB_LINK_DATA

$sym20$_CSETF_PROB_LINK_DATA

$sym21$PROB_LINK_PROOFS

$sym22$_CSETF_PROB_LINK_PROOFS

$kw23$SUID

$kw24$TYPE

$kw25$SUPPORTED_OBJECT

$kw26$SUPPORTING_MAPPED_PROBLEMS

$kw27$OPEN_FLAGS

$kw28$DATA

$kw29$PROOFS

$str30$Invalid_slot__S_for_construction_

$kw31$FREE

$str32$_Invalid_LINK__s_

$str33$__a_LINK__a__a_supporting_

$kw34$ANSWER

$str35$_a_

$str36$_a__a_

$sym37$SXHASH_PROBLEM_LINK_METHOD

$sym38$PROBLEM_LINK_TYPE_P

$str39$Can_t_call_new_problem_link_for_a

$sym40$PROBLEM_P

$kw41$REMOVAL

$kw42$TRANSFORMATION

$kw43$RESIDUAL_TRANSFORMATION

$kw44$JOIN_ORDERED

$kw45$JOIN

$kw46$SPLIT

$kw47$UNION

$kw48$RESTRICTION

$sym49$INTEGERP

$kw50$CONTENT

$kw51$STRUCTURAL

$kw52$DISJUNCTIVE

$kw53$CONJUNCTIVE

$kw54$CONNECTED_CONJUNCTION

$kw55$LOGICAL

$kw56$SPLIT_RESTRICTION

$kw57$SIMPLIFICATION

$kw58$REMOVAL_CONJUNCTIVE

$sym59$PROBLEM_LINK_NUMBER_OF_SUPPORTING_PROBLEMS

$list60

$sym61$PROBLEM_LINK_WITH_SINGLE_SUPPORTING_PROBLEM_P

$sym62$MAPPED_PROBLEM_EQUAL

$kw63$PROVEN

$kw64$DESTRUCTIBLE

$kw65$INDESTRUCTIBLE

$sym66$MAPPED_PROBLEM_P

$sym67$MAPPED_PROBLEM

$int68$214

$list69

$list70

$list71

$list72

$sym73$PRINT_MAPPED_PROBLEM

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

$str33$__a_LINKaa_supporting_

$str81$_MAPPED_PROBLEMaa_