com.cyc.cycjava.cycl.inference.harness
Class inference_min_transformation_depth
java.lang.Object
com.cyc.tool.subl.util.SubLTrampolineFile
com.cyc.tool.subl.util.SubLTranslatedFile
com.cyc.cycjava.cycl.inference.harness.inference_min_transformation_depth
- All Implemented Interfaces:
- CommonSymbols, SubLFile
public final class inference_min_transformation_depth
- extends SubLTranslatedFile
| 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 |
compute_clause_literal_map(SubLObject parent_clause,
SubLObject child_clause)
Compute a mapping between the literals in the PARENT-CLAUSE to CHILD-CLAUSE. |
static SubLObject |
compute_restricted_clause_literal_map(SubLObject unrestricted_clause,
SubLObject restricted_clause)
|
static SubLObject |
declare_inference_min_transformation_depth_file()
|
void |
declareFunctions()
Declares the mapping between functions and symbols for all named
functions defined in the file. |
static SubLObject |
init_inference_min_transformation_depth_file()
|
void |
initializeVariables()
Initializes all global variables and private internal variables
for constants defined in the file. |
static SubLObject |
intern_problem_query_depth_signature_internal(SubLObject pqds)
|
static SubLObject |
intern_problem_query_depth_signature(SubLObject pqds)
|
static SubLObject |
join_ordered_link_focal_mtds(SubLObject jo_link,
SubLObject parent_mtds)
|
static SubLObject |
join_ordered_link_non_focal_mtds(SubLObject jo_link,
SubLObject parent_mtds)
|
static SubLObject |
min_transformation_depth_from_signature(SubLObject signature)
|
static SubLObject |
napply_literal_map(SubLObject source_mtds,
SubLObject literal_map,
SubLObject target_mtds)
|
static SubLObject |
new_initial_clause_pqds(SubLObject contextualized_clause,
SubLObject depth)
|
static SubLObject |
new_initial_pqds(SubLObject problem_query,
SubLObject depth)
|
static SubLObject |
new_subclause_literal_map(SubLObject clause,
SubLObject subclause,
SubLObject missing)
|
static SubLObject |
new_subclause_pqds(SubLObject parent_pqds,
SubLObject subclause_spec)
|
static SubLObject |
pqds_merge(SubLObject pqds1,
SubLObject pqds2)
|
static SubLObject |
problem_min_transformation_depth_from_signature(SubLObject problem,
SubLObject inference)
|
static SubLObject |
propagate_min_transformation_depth_signature_via_link_wrt_inference(SubLObject link,
SubLObject inference)
Propagates transformation depth wrt INFERENCE down via LINK. |
static SubLObject |
propagate_min_transformation_depth_signature_via_link(SubLObject link)
Propagates transformation depth down via LINK. |
static SubLObject |
propagate_min_transformation_depth_signature(SubLObject problem,
SubLObject mtds,
SubLObject inference)
|
static SubLObject |
propagate_mtds_via_join_ordered_link(SubLObject parent_mtds,
SubLObject jo_link,
SubLObject inference)
|
static SubLObject |
propagate_mtds_via_restriction_link(SubLObject parent_mtds,
SubLObject restriction_link,
SubLObject inference)
|
static SubLObject |
propagate_mtds_via_split_link(SubLObject parent_mtds,
SubLObject split_link,
SubLObject inference)
|
static SubLObject |
propagate_mtds_via_transformation_link(SubLObject parent_mtds,
SubLObject t_link,
SubLObject inference)
|
static SubLObject |
restriction_link_literal_map(SubLObject restriction_link)
|
static SubLObject |
restriction_link_restricted_mtds(SubLObject restriction_link,
SubLObject parent_mtds)
|
void |
runTopLevelForms()
Runs all top-level forms in order. |
static SubLObject |
setup_inference_min_transformation_depth_file()
|
static SubLObject |
single_literal_problem_query_depth_signature_p(SubLObject object)
|
static SubLObject |
split_problem_conjunct_literal_map(SubLObject split_problem,
SubLObject conjunct_mapped_problem)
|
static SubLObject |
split_problem_conjunct_mtds(SubLObject split_problem,
SubLObject conjunct_mapped_problem,
SubLObject parent_mtds)
|
static SubLObject |
tree_min_number_recursive(SubLObject tree,
SubLObject lowest)
|
static SubLObject |
tree_min_number(SubLObject tree)
Return the lowest number TREE. |
static SubLObject |
tree_sum_recursive(SubLObject tree,
SubLObject accumulator)
|
static SubLObject |
tree_sum(SubLObject tree)
Return the sum of all numbers in TREE. |
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
me
public static final SubLFile me
myName
public static final java.lang.String myName
- See Also:
- Constant Field Values
$kw0$UNDETERMINED
public static final SubLSymbol $kw0$UNDETERMINED
$kw1$COUNTERINTUITIVE
public static final SubLSymbol $kw1$COUNTERINTUITIVE
$str2$Unexpected_logical_tactic____S
public static final SubLString $str2$Unexpected_logical_tactic____S
$kw3$SKIP
public static final SubLSymbol $kw3$SKIP
$str4$Time_to_support__S_propagation
public static final SubLString $str4$Time_to_support__S_propagation
$kw5$TRANSFORMATION
public static final SubLSymbol $kw5$TRANSFORMATION
$str6$Propagation_error____S
public static final SubLString $str6$Propagation_error____S
$kw7$UNINITIALIZED
public static final SubLSymbol $kw7$UNINITIALIZED
$list8
public static final SubLList $list8
$list9
public static final SubLList $list9
$sym10$MULTI_CLAUSE_PROBLEM_QUERY_DEPTH_SIGNATURE_P
public static final SubLSymbol $sym10$MULTI_CLAUSE_PROBLEM_QUERY_DEPTH_SIGNATURE_P
$sym11$SINGLE_LITERAL_PROBLEM_QUERY_DEPTH_SIGNATURE_P
public static final SubLSymbol $sym11$SINGLE_LITERAL_PROBLEM_QUERY_DEPTH_SIGNATURE_P
$sym12$MULTI_LITERAL_PROBLEM_QUERY_DEPTH_SIGNATURE_P
public static final SubLSymbol $sym12$MULTI_LITERAL_PROBLEM_QUERY_DEPTH_SIGNATURE_P
$sym13$INTERN_PROBLEM_QUERY_DEPTH_SIGNATURE
public static final SubLSymbol $sym13$INTERN_PROBLEM_QUERY_DEPTH_SIGNATURE
$sym14$PROBLEM_QUERY_DEPTH_SIGNATURE_P
public static final SubLSymbol $sym14$PROBLEM_QUERY_DEPTH_SIGNATURE_P
$sym15$_INTERN_PROBLEM_QUERY_DEPTH_SIGNATURE_CACHING_STATE_
public static final SubLSymbol $sym15$_INTERN_PROBLEM_QUERY_DEPTH_SIGNATURE_CACHING_STATE_
$kw16$_MEMOIZED_ITEM_NOT_FOUND_
public static final SubLSymbol $kw16$_MEMOIZED_ITEM_NOT_FOUND_
$list17
public static final SubLList $list17
$list18
public static final SubLList $list18
$sym19$PQDS_DEPTH
public static final SubLSymbol $sym19$PQDS_DEPTH
$kw20$UNINTUITIVE
public static final SubLSymbol $kw20$UNINTUITIVE
$kw21$INTUITIVE
public static final SubLSymbol $kw21$INTUITIVE
$str22$unexpected_mode__S
public static final SubLString $str22$unexpected_mode__S
$sym23$_PQDS_DEPTH_CACHING_STATE_
public static final SubLSymbol $sym23$_PQDS_DEPTH_CACHING_STATE_
$list24
public static final SubLList $list24
$list25
public static final SubLList $list25
$sym26$INTEGERP
public static final SubLSymbol $sym26$INTEGERP
$str27$Failed_literal_map__S
public static final SubLString $str27$Failed_literal_map__S
$list28
public static final SubLList $list28
$list29
public static final SubLList $list29
$kw30$POSITIVE_INFINITY
public static final SubLSymbol $kw30$POSITIVE_INFINITY
$sym31$PROBLEM_STORE_P
public static final SubLSymbol $sym31$PROBLEM_STORE_P
$str32$__old__S_new__S_signature__S___S
public static final SubLString $str32$__old__S_new__S_signature__S___S
$sym33$_
public static final SubLSymbol $sym33$_
$sym34$PROBLEM_SUID
public static final SubLSymbol $sym34$PROBLEM_SUID
$str35$___S
public static final SubLString $str35$___S
problem_min_transformation_depth_from_signature
public static final SubLObject problem_min_transformation_depth_from_signature(SubLObject problem,
SubLObject inference)
min_transformation_depth_from_signature
public static final SubLObject min_transformation_depth_from_signature(SubLObject signature)
propagate_min_transformation_depth_signature_via_link
public static final SubLObject propagate_min_transformation_depth_signature_via_link(SubLObject link)
- Propagates transformation depth down via LINK.
propagate_min_transformation_depth_signature
public static final SubLObject propagate_min_transformation_depth_signature(SubLObject problem,
SubLObject mtds,
SubLObject inference)
propagate_min_transformation_depth_signature_via_link_wrt_inference
public static final SubLObject propagate_min_transformation_depth_signature_via_link_wrt_inference(SubLObject link,
SubLObject inference)
- Propagates transformation depth wrt INFERENCE down via LINK.
propagate_mtds_via_transformation_link
public static final SubLObject propagate_mtds_via_transformation_link(SubLObject parent_mtds,
SubLObject t_link,
SubLObject inference)
propagate_mtds_via_join_ordered_link
public static final SubLObject propagate_mtds_via_join_ordered_link(SubLObject parent_mtds,
SubLObject jo_link,
SubLObject inference)
join_ordered_link_focal_mtds
public static final SubLObject join_ordered_link_focal_mtds(SubLObject jo_link,
SubLObject parent_mtds)
join_ordered_link_non_focal_mtds
public static final SubLObject join_ordered_link_non_focal_mtds(SubLObject jo_link,
SubLObject parent_mtds)
propagate_mtds_via_split_link
public static final SubLObject propagate_mtds_via_split_link(SubLObject parent_mtds,
SubLObject split_link,
SubLObject inference)
split_problem_conjunct_mtds
public static final SubLObject split_problem_conjunct_mtds(SubLObject split_problem,
SubLObject conjunct_mapped_problem,
SubLObject parent_mtds)
split_problem_conjunct_literal_map
public static final SubLObject split_problem_conjunct_literal_map(SubLObject split_problem,
SubLObject conjunct_mapped_problem)
propagate_mtds_via_restriction_link
public static final SubLObject propagate_mtds_via_restriction_link(SubLObject parent_mtds,
SubLObject restriction_link,
SubLObject inference)
restriction_link_restricted_mtds
public static final SubLObject restriction_link_restricted_mtds(SubLObject restriction_link,
SubLObject parent_mtds)
restriction_link_literal_map
public static final SubLObject restriction_link_literal_map(SubLObject restriction_link)
compute_restricted_clause_literal_map
public static final SubLObject compute_restricted_clause_literal_map(SubLObject unrestricted_clause,
SubLObject restricted_clause)
compute_clause_literal_map
public static final SubLObject compute_clause_literal_map(SubLObject parent_clause,
SubLObject child_clause)
- Compute a mapping between the literals in the PARENT-CLAUSE to CHILD-CLAUSE.
single_literal_problem_query_depth_signature_p
public static final SubLObject single_literal_problem_query_depth_signature_p(SubLObject object)
intern_problem_query_depth_signature_internal
public static final SubLObject intern_problem_query_depth_signature_internal(SubLObject pqds)
intern_problem_query_depth_signature
public static final SubLObject intern_problem_query_depth_signature(SubLObject pqds)
new_initial_pqds
public static final SubLObject new_initial_pqds(SubLObject problem_query,
SubLObject depth)
new_initial_clause_pqds
public static final SubLObject new_initial_clause_pqds(SubLObject contextualized_clause,
SubLObject depth)
new_subclause_pqds
public static final SubLObject new_subclause_pqds(SubLObject parent_pqds,
SubLObject subclause_spec)
pqds_merge
public static final SubLObject pqds_merge(SubLObject pqds1,
SubLObject pqds2)
new_subclause_literal_map
public static final SubLObject new_subclause_literal_map(SubLObject clause,
SubLObject subclause,
SubLObject missing)
napply_literal_map
public static final SubLObject napply_literal_map(SubLObject source_mtds,
SubLObject literal_map,
SubLObject target_mtds)
tree_sum
public static final SubLObject tree_sum(SubLObject tree)
- Return the sum of all numbers in TREE.
tree_sum_recursive
public static final SubLObject tree_sum_recursive(SubLObject tree,
SubLObject accumulator)
tree_min_number
public static final SubLObject tree_min_number(SubLObject tree)
- Return the lowest number TREE.
tree_min_number_recursive
public static final SubLObject tree_min_number_recursive(SubLObject tree,
SubLObject lowest)
declare_inference_min_transformation_depth_file
public static final SubLObject declare_inference_min_transformation_depth_file()
init_inference_min_transformation_depth_file
public static final SubLObject init_inference_min_transformation_depth_file()
setup_inference_min_transformation_depth_file
public static final SubLObject setup_inference_min_transformation_depth_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.