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

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class inference_worker_join
extends SubLTranslatedFile

Nested Class Summary

static class	inference_worker_join.$join_link_data_native
static class	inference_worker_join.$join_link_data_p$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$dtp_join_link_data$
static SubLSymbol	$kw14$JOIN_VARS
static SubLSymbol	$kw15$FIRST_PROOF_INDEX
static SubLSymbol	$kw16$SECOND_PROOF_INDEX
static SubLSymbol	$kw18$JOIN
static SubLSymbol	$kw20$FREE
static SubLSymbol	$kw38$SKIP
static SubLSymbol	$kw39$NEG
static SubLSymbol	$kw40$POS
static SubLSymbol	$kw44$TACTICAL
static SubLList	$list2
static SubLList	$list21
static SubLList	$list3
static SubLList	$list4
static SubLList	$list5
static SubLString	$str17$Invalid_slot__S_for_construction_
static SubLString	$str33$couldn_t_find_the_join_tactic_for
static SubLString	$str36$_a_was_a_rejected_proof
static SubLString	$str46$first_problem__
static SubLString	$str47$second_problem__
static SubLString	$str48$Join_tactics_like__a_must_only_ap
static SubLSymbol	$sym0$JOIN_LINK_DATA
static SubLSymbol	$sym1$JOIN_LINK_DATA_P
static SubLSymbol	$sym10$J_LINK_DATA_FIRST_PROOF_INDEX
static SubLSymbol	$sym11$_CSETF_J_LINK_DATA_FIRST_PROOF_INDEX
static SubLSymbol	$sym12$J_LINK_DATA_SECOND_PROOF_INDEX
static SubLSymbol	$sym13$_CSETF_J_LINK_DATA_SECOND_PROOF_INDEX
static SubLSymbol	$sym19$MAPPED_PROBLEM_P
static SubLSymbol	$sym22$INDEX
static SubLSymbol	$sym23$PROOF_LIST_VAR
static SubLSymbol	$sym24$CLET
static SubLSymbol	$sym25$JOIN_LINK_FIRST_PROOF_INDEX
static SubLSymbol	$sym26$DO_DICTIONARY
static SubLSymbol	$sym27$DO_LIST
static SubLSymbol	$sym28$INDEX
static SubLSymbol	$sym29$PROOF_LIST_VAR
static SubLSymbol	$sym30$JOIN_LINK_SECOND_PROOF_INDEX
static SubLSymbol	$sym31$DO_JOIN_LINK_FIRST_PROOFS
static SubLSymbol	$sym32$DO_JOIN_LINK_SECOND_PROOFS
static SubLSymbol	$sym34$JOIN_LINK_P
static SubLSymbol	$sym35$PROOF_P
static SubLSymbol	$sym37$VARIABLE_BINDING_VALUE
static SubLSymbol	$sym41$SUBCLAUSE_SPEC_P
static SubLSymbol	$sym42$JOIN_TACTIC_P
static SubLSymbol	$sym43$STRATEGY_P
static SubLSymbol	$sym45$STRATEGIC_CONTEXT_P
static SubLSymbol	$sym6$DEFAULT_STRUCT_PRINT_FUNCTION
static SubLSymbol	$sym7$JOIN_LINK_DATA_PRINT_FUNCTION_TRAMPOLINE
static SubLSymbol	$sym8$J_LINK_DATA_JOIN_VARS
static SubLSymbol	$sym9$_CSETF_J_LINK_DATA_JOIN_VARS
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

Method Summary

static SubLObject	_csetf_j_link_data_first_proof_index(SubLObject object, SubLObject value)
static SubLObject	_csetf_j_link_data_join_vars(SubLObject object, SubLObject value)
static SubLObject	_csetf_j_link_data_second_proof_index(SubLObject object, SubLObject value)
static SubLObject	add_join_link_first_proof(SubLObject join_link, SubLObject v_bindings, SubLObject proof) Indexes PROOF by BINDINGS as a first proof in JOIN-LINK
static SubLObject	add_join_link_proof(SubLObject join_link, SubLObject trigger_proof, SubLObject trigger_is_firstP)
static SubLObject	add_join_link_second_proof(SubLObject join_link, SubLObject v_bindings, SubLObject proof) Indexes PROOF by BINDINGS as a second proof in JOIN-LINK
static SubLObject	bubble_up_proof_to_join_link_int(SubLObject trigger_subproof, SubLObject variable_map, SubLObject join_link, SubLObject trigger_is_firstP)
static SubLObject	bubble_up_proof_to_join_link(SubLObject trigger_subproof, SubLObject variable_map, SubLObject join_link)
static SubLObject	compute_join_tactic_preference_level(SubLObject first_mapped_problem, SubLObject second_mapped_problem, SubLObject strategic_context) The preference level of a :join tactic is the min of the preference levels of its subproblems.
static SubLObject	compute_join_tactic_productivity(SubLObject first_mapped_problem, SubLObject second_mapped_problem, SubLObject strategy) The productivity of a :join tactic is the sum of the productivities of its subproblems.
static SubLObject	compute_strategic_properties_of_join_tactic(SubLObject tactic, SubLObject strategy)
static SubLObject	declare_inference_worker_join_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	determine_new_join_tactics(SubLObject supported_problem, SubLObject dnf_clause)
static SubLObject	execute_join_tactic(SubLObject tactic)
static SubLObject	find_or_create_join_link_supporting_mapped_problems(SubLObject store, SubLObject dnf_clause, SubLObject first_supporting_problem_spec)
static SubLObject	find_or_create_join_tactic_supporting_mapped_problems(SubLObject tactic)
static SubLObject	first_problem_shared_vars(SubLObject first_mapped_problem, SubLObject second_mapped_problem)
static SubLObject	init_inference_worker_join_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	j_link_data_first_proof_index(SubLObject object)
static SubLObject	j_link_data_join_vars(SubLObject object)
static SubLObject	j_link_data_second_proof_index(SubLObject object)
static SubLObject	join_link_data_print_function_trampoline(SubLObject object, SubLObject stream)
static SubLObject	join_link_first_mapped_problem(SubLObject join_link)
static SubLObject	join_link_first_problem(SubLObject join_link)
static SubLObject	join_link_first_proof_index(SubLObject join_link)
static SubLObject	join_link_first_proofs_lookup(SubLObject join_link, SubLObject proof_bindings)
static SubLObject	join_link_join_vars(SubLObject join_link)
static SubLObject	join_link_p(SubLObject object)
static SubLObject	join_link_second_mapped_problem(SubLObject join_link)
static SubLObject	join_link_second_problem(SubLObject join_link)
static SubLObject	join_link_second_proof_index(SubLObject join_link)
static SubLObject	join_link_second_proofs_lookup(SubLObject join_link, SubLObject proof_bindings)
static SubLObject	join_link_shared_proof_bindings(SubLObject join_link, SubLObject trigger_proof_bindings, SubLObject trigger_is_firstP)
static SubLObject	join_link_sibling_mapped_problem(SubLObject join_link, SubLObject trigger_is_firstP)
static SubLObject	join_link_sibling_proofs_lookup(SubLObject join_link, SubLObject trigger_proof_bindings_wrt_supported, SubLObject trigger_is_firstP)
static SubLObject	join_link_tactic(SubLObject join_link)
static SubLObject	join_link_trigger_mapped_problem(SubLObject join_link, SubLObject trigger_is_firstP)
static SubLObject	join_link_trigger_variable_map(SubLObject join_link, SubLObject trigger_is_firstP)
static SubLObject	join_proof_p(SubLObject object)
static SubLObject	join_tactic_first_problem(SubLObject join_tactic)
static SubLObject	join_tactic_first_supporting_problem_spec(SubLObject tactic)
static SubLObject	join_tactic_link(SubLObject join_tactic)
static SubLObject	join_tactic_lookahead_problems(SubLObject join_tactic)
static SubLObject	join_tactic_p(SubLObject object)
static SubLObject	join_tactic_second_problem(SubLObject join_tactic)
static SubLObject	make_join_link_data(SubLObject arglist)
static SubLObject	mapped_proof_is_firstP(SubLObject subproof, SubLObject proof_variable_map, SubLObject join_link)
static SubLObject	maybe_new_join_link(SubLObject supported_problem, SubLObject first_supporting_mapped_problem, SubLObject second_supporting_mapped_problem)
static SubLObject	new_join_link_data(SubLObject first_mapped_problem, SubLObject second_mapped_problem)
static SubLObject	new_join_link(SubLObject supported_problem, SubLObject first_supporting_mapped_problem, SubLObject second_supporting_mapped_problem)
static SubLObject	new_join_proof(SubLObject join_link, SubLObject subproofs_with_sub_bindings)
static SubLObject	new_join_tactic(SubLObject join_link, SubLObject first_supporting_problem_spec)
static SubLObject	possibly_determine_new_join_tactic(SubLObject supported_problem, SubLObject first_supporting_problem_spec, SubLObject dnf_clause) Possibly create a new :JOIN tactic for PROBLEM in which FIRST-SUPPORTING-PROBLEM-SPEC specifies the literals of DNF-CLAUSE which should be the first supporting problem and the remaining literals should be the second supporting problem.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	second_problem_shared_vars(SubLObject first_mapped_problem, SubLObject second_mapped_problem)
static SubLObject	setup_inference_worker_join_file()
static SubLObject	shared_sibling_vars(SubLObject first_mapped_problem, SubLObject second_mapped_problem)

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

extractFunctionNamed

Methods inherited from class com.cyc.tool.subl.util.SubLTrampolineFile

checkType, enforceType, extractBinaryFunc, extractCount, extractEnd, extractEndUsingSize, extractPackage, extractStart, extractUnaryFunc, main

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

me

public static final SubLFile me

myName

public static final java.lang.String myName

See Also:

Constant Field Values

$dtp_join_link_data$

public static SubLSymbol $dtp_join_link_data$

$sym0$JOIN_LINK_DATA

public static final SubLSymbol $sym0$JOIN_LINK_DATA

$sym1$JOIN_LINK_DATA_P

public static final SubLSymbol $sym1$JOIN_LINK_DATA_P

$list2

public static final SubLList $list2

$list3

public static final SubLList $list3

$list4

public static final SubLList $list4

$list5

public static final SubLList $list5

$sym6$DEFAULT_STRUCT_PRINT_FUNCTION

public static final SubLSymbol $sym6$DEFAULT_STRUCT_PRINT_FUNCTION

$sym7$JOIN_LINK_DATA_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym7$JOIN_LINK_DATA_PRINT_FUNCTION_TRAMPOLINE

$sym8$J_LINK_DATA_JOIN_VARS

public static final SubLSymbol $sym8$J_LINK_DATA_JOIN_VARS

$sym9$_CSETF_J_LINK_DATA_JOIN_VARS

public static final SubLSymbol $sym9$_CSETF_J_LINK_DATA_JOIN_VARS

$sym10$J_LINK_DATA_FIRST_PROOF_INDEX

public static final SubLSymbol $sym10$J_LINK_DATA_FIRST_PROOF_INDEX

$sym11$_CSETF_J_LINK_DATA_FIRST_PROOF_INDEX

public static final SubLSymbol $sym11$_CSETF_J_LINK_DATA_FIRST_PROOF_INDEX

$sym12$J_LINK_DATA_SECOND_PROOF_INDEX

public static final SubLSymbol $sym12$J_LINK_DATA_SECOND_PROOF_INDEX

$sym13$_CSETF_J_LINK_DATA_SECOND_PROOF_INDEX

public static final SubLSymbol $sym13$_CSETF_J_LINK_DATA_SECOND_PROOF_INDEX

$kw14$JOIN_VARS

public static final SubLSymbol $kw14$JOIN_VARS

$kw15$FIRST_PROOF_INDEX

public static final SubLSymbol $kw15$FIRST_PROOF_INDEX

$kw16$SECOND_PROOF_INDEX

public static final SubLSymbol $kw16$SECOND_PROOF_INDEX

$str17$Invalid_slot__S_for_construction_

public static final SubLString $str17$Invalid_slot__S_for_construction_

$kw18$JOIN

public static final SubLSymbol $kw18$JOIN

$sym19$MAPPED_PROBLEM_P

public static final SubLSymbol $sym19$MAPPED_PROBLEM_P

$kw20$FREE

public static final SubLSymbol $kw20$FREE

$list21

public static final SubLList $list21

$sym22$INDEX

public static final SubLSymbol $sym22$INDEX

$sym23$PROOF_LIST_VAR

public static final SubLSymbol $sym23$PROOF_LIST_VAR

$sym24$CLET

public static final SubLSymbol $sym24$CLET

$sym25$JOIN_LINK_FIRST_PROOF_INDEX

public static final SubLSymbol $sym25$JOIN_LINK_FIRST_PROOF_INDEX

$sym26$DO_DICTIONARY

public static final SubLSymbol $sym26$DO_DICTIONARY

$sym27$DO_LIST

public static final SubLSymbol $sym27$DO_LIST

$sym28$INDEX

public static final SubLSymbol $sym28$INDEX

$sym29$PROOF_LIST_VAR

public static final SubLSymbol $sym29$PROOF_LIST_VAR

$sym30$JOIN_LINK_SECOND_PROOF_INDEX

public static final SubLSymbol $sym30$JOIN_LINK_SECOND_PROOF_INDEX

$sym31$DO_JOIN_LINK_FIRST_PROOFS

public static final SubLSymbol $sym31$DO_JOIN_LINK_FIRST_PROOFS

$sym32$DO_JOIN_LINK_SECOND_PROOFS

public static final SubLSymbol $sym32$DO_JOIN_LINK_SECOND_PROOFS

$str33$couldn_t_find_the_join_tactic_for

public static final SubLString $str33$couldn_t_find_the_join_tactic_for

$sym34$JOIN_LINK_P

public static final SubLSymbol $sym34$JOIN_LINK_P

$sym35$PROOF_P

public static final SubLSymbol $sym35$PROOF_P

$str36$_a_was_a_rejected_proof

public static final SubLString $str36$_a_was_a_rejected_proof

$sym37$VARIABLE_BINDING_VALUE

public static final SubLSymbol $sym37$VARIABLE_BINDING_VALUE

$kw38$SKIP

public static final SubLSymbol $kw38$SKIP

$kw39$NEG

public static final SubLSymbol $kw39$NEG

$kw40$POS

public static final SubLSymbol $kw40$POS

$sym41$SUBCLAUSE_SPEC_P

public static final SubLSymbol $sym41$SUBCLAUSE_SPEC_P

$sym42$JOIN_TACTIC_P

public static final SubLSymbol $sym42$JOIN_TACTIC_P

$sym43$STRATEGY_P

public static final SubLSymbol $sym43$STRATEGY_P

$kw44$TACTICAL

public static final SubLSymbol $kw44$TACTICAL

$sym45$STRATEGIC_CONTEXT_P

public static final SubLSymbol $sym45$STRATEGIC_CONTEXT_P

$str46$first_problem__

public static final SubLString $str46$first_problem__

$str47$second_problem__

public static final SubLString $str47$second_problem__

$str48$Join_tactics_like__a_must_only_ap

public static final SubLString $str48$Join_tactics_like__a_must_only_ap

Method Detail

join_link_data_print_function_trampoline

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

j_link_data_join_vars

public static final SubLObject j_link_data_join_vars(SubLObject object)

j_link_data_first_proof_index

public static final SubLObject j_link_data_first_proof_index(SubLObject object)

j_link_data_second_proof_index

public static final SubLObject j_link_data_second_proof_index(SubLObject object)

_csetf_j_link_data_join_vars

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

_csetf_j_link_data_first_proof_index

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

_csetf_j_link_data_second_proof_index

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

make_join_link_data

public static final SubLObject make_join_link_data(SubLObject arglist)

new_join_link_data

public static final SubLObject new_join_link_data(SubLObject first_mapped_problem,
                                                  SubLObject second_mapped_problem)

join_link_p

public static final SubLObject join_link_p(SubLObject object)

maybe_new_join_link

public static final SubLObject maybe_new_join_link(SubLObject supported_problem,
                                                   SubLObject first_supporting_mapped_problem,
                                                   SubLObject second_supporting_mapped_problem)

Returns:

join-link-p, either the already existing one or a new one.

new_join_link

public static final SubLObject new_join_link(SubLObject supported_problem,
                                             SubLObject first_supporting_mapped_problem,
                                             SubLObject second_supporting_mapped_problem)

join_link_join_vars

public static final SubLObject join_link_join_vars(SubLObject join_link)

join_link_first_proof_index

public static final SubLObject join_link_first_proof_index(SubLObject join_link)

join_link_second_proof_index

public static final SubLObject join_link_second_proof_index(SubLObject join_link)

join_link_first_mapped_problem

public static final SubLObject join_link_first_mapped_problem(SubLObject join_link)

join_link_second_mapped_problem

public static final SubLObject join_link_second_mapped_problem(SubLObject join_link)

join_link_first_problem

public static final SubLObject join_link_first_problem(SubLObject join_link)

join_link_second_problem

public static final SubLObject join_link_second_problem(SubLObject join_link)

join_link_trigger_variable_map

public static final SubLObject join_link_trigger_variable_map(SubLObject join_link,
                                                              SubLObject trigger_is_firstP)

join_link_trigger_mapped_problem

public static final SubLObject join_link_trigger_mapped_problem(SubLObject join_link,
                                                                SubLObject trigger_is_firstP)

join_link_sibling_mapped_problem

public static final SubLObject join_link_sibling_mapped_problem(SubLObject join_link,
                                                                SubLObject trigger_is_firstP)

join_link_first_proofs_lookup

public static final SubLObject join_link_first_proofs_lookup(SubLObject join_link,
                                                             SubLObject proof_bindings)

join_link_second_proofs_lookup

public static final SubLObject join_link_second_proofs_lookup(SubLObject join_link,
                                                              SubLObject proof_bindings)

join_link_sibling_proofs_lookup

public static final SubLObject join_link_sibling_proofs_lookup(SubLObject join_link,
                                                               SubLObject trigger_proof_bindings_wrt_supported,
                                                               SubLObject trigger_is_firstP)

join_link_shared_proof_bindings

public static final SubLObject join_link_shared_proof_bindings(SubLObject join_link,
                                                               SubLObject trigger_proof_bindings,
                                                               SubLObject trigger_is_firstP)

join_link_tactic

public static final SubLObject join_link_tactic(SubLObject join_link)

add_join_link_first_proof

public static final SubLObject add_join_link_first_proof(SubLObject join_link,
                                                         SubLObject v_bindings,
                                                         SubLObject proof)

Indexes PROOF by BINDINGS as a first proof in JOIN-LINK

add_join_link_second_proof

public static final SubLObject add_join_link_second_proof(SubLObject join_link,
                                                          SubLObject v_bindings,
                                                          SubLObject proof)

Indexes PROOF by BINDINGS as a second proof in JOIN-LINK

add_join_link_proof

public static final SubLObject add_join_link_proof(SubLObject join_link,
                                                   SubLObject trigger_proof,
                                                   SubLObject trigger_is_firstP)

find_or_create_join_link_supporting_mapped_problems

public static final SubLObject find_or_create_join_link_supporting_mapped_problems(SubLObject store,
                                                                                   SubLObject dnf_clause,
                                                                                   SubLObject first_supporting_problem_spec)

first_problem_shared_vars

public static final SubLObject first_problem_shared_vars(SubLObject first_mapped_problem,
                                                         SubLObject second_mapped_problem)

Returns:

listp; the sorted list of variables in FIRST-MAPPED-PROBLEM that also appear (modulo variable maps) in SECOND-MAPPED-PROBLEM.

second_problem_shared_vars

public static final SubLObject second_problem_shared_vars(SubLObject first_mapped_problem,
                                                          SubLObject second_mapped_problem)

Returns:

listp; the sorted list of variables in SECOND-MAPPED-PROBLEM that also appear (modulo variable maps) in FIRST-MAPPED-PROBLEM.

shared_sibling_vars

public static final SubLObject shared_sibling_vars(SubLObject first_mapped_problem,
                                                   SubLObject second_mapped_problem)

Returns:

listp; the sorted list of variables in both FIRST-MAPPED-PROBLEM and SECOND-MAPPED-PROBLEM in the variable space of their common supported problem. Since the values (cdrs) of each variable map are already in the variable space of their common supported problem, we just take the intersection of the values of those two variable maps.

join_tactic_p

public static final SubLObject join_tactic_p(SubLObject object)

new_join_tactic

public static final SubLObject new_join_tactic(SubLObject join_link,
                                               SubLObject first_supporting_problem_spec)

join_tactic_link

public static final SubLObject join_tactic_link(SubLObject join_tactic)

Returns:

nil or problem-link-p; the link created by JOIN-TACTIC NIL should only occur if the tactic has been discarded.

join_tactic_first_supporting_problem_spec

public static final SubLObject join_tactic_first_supporting_problem_spec(SubLObject tactic)

Returns:

subclause-spec-p

join_tactic_first_problem

public static final SubLObject join_tactic_first_problem(SubLObject join_tactic)

join_tactic_second_problem

public static final SubLObject join_tactic_second_problem(SubLObject join_tactic)

join_tactic_lookahead_problems

public static final SubLObject join_tactic_lookahead_problems(SubLObject join_tactic)

determine_new_join_tactics

public static final SubLObject determine_new_join_tactics(SubLObject supported_problem,
                                                          SubLObject dnf_clause)

possibly_determine_new_join_tactic

public static final SubLObject possibly_determine_new_join_tactic(SubLObject supported_problem,
                                                                  SubLObject first_supporting_problem_spec,
                                                                  SubLObject dnf_clause)

Possibly create a new :JOIN tactic for PROBLEM in which FIRST-SUPPORTING-PROBLEM-SPEC specifies the literals of DNF-CLAUSE which should be the first supporting problem and the remaining literals should be the second supporting problem.

compute_strategic_properties_of_join_tactic

public static final SubLObject compute_strategic_properties_of_join_tactic(SubLObject tactic,
                                                                           SubLObject strategy)

compute_join_tactic_productivity

public static final SubLObject compute_join_tactic_productivity(SubLObject first_mapped_problem,
                                                                SubLObject second_mapped_problem,
                                                                SubLObject strategy)

The productivity of a :join tactic is the sum of the productivities of its subproblems.

compute_join_tactic_preference_level

public static final SubLObject compute_join_tactic_preference_level(SubLObject first_mapped_problem,
                                                                    SubLObject second_mapped_problem,
                                                                    SubLObject strategic_context)

The preference level of a :join tactic is the min of the preference levels of its subproblems.

execute_join_tactic

public static final SubLObject execute_join_tactic(SubLObject tactic)

find_or_create_join_tactic_supporting_mapped_problems

public static final SubLObject find_or_create_join_tactic_supporting_mapped_problems(SubLObject tactic)

new_join_proof

public static final SubLObject new_join_proof(SubLObject join_link,
                                              SubLObject subproofs_with_sub_bindings)

Returns:

0 proof-p

join_proof_p

public static final SubLObject join_proof_p(SubLObject object)

bubble_up_proof_to_join_link

public static final SubLObject bubble_up_proof_to_join_link(SubLObject trigger_subproof,
                                                            SubLObject variable_map,
                                                            SubLObject join_link)

mapped_proof_is_firstP

public static final SubLObject mapped_proof_is_firstP(SubLObject subproof,
                                                      SubLObject proof_variable_map,
                                                      SubLObject join_link)

bubble_up_proof_to_join_link_int

public static final SubLObject bubble_up_proof_to_join_link_int(SubLObject trigger_subproof,
                                                                SubLObject variable_map,
                                                                SubLObject join_link,
                                                                SubLObject trigger_is_firstP)

declare_inference_worker_join_file

public static final SubLObject declare_inference_worker_join_file()

init_inference_worker_join_file

public static final SubLObject init_inference_worker_join_file()

setup_inference_worker_join_file

public static final SubLObject setup_inference_worker_join_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.