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

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class inference_worker_rewrite
extends SubLTranslatedFile

Nested Class Summary

static class	inference_worker_rewrite.$rewrite_link_data_native
static class	inference_worker_rewrite.$rewrite_link_data_p$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$dtp_rewrite_link_data$
static SubLSymbol	$kw14$HL_MODULE
static SubLSymbol	$kw15$BINDINGS
static SubLSymbol	$kw16$SUPPORTS
static SubLSymbol	$kw21$REWRITE
static SubLSymbol	$kw22$UNDETERMINED
static SubLSymbol	$kw23$FREE
static SubLSymbol	$kw28$COMPLETE
static SubLSymbol	$kw29$SKIP
static SubLList	$list2
static SubLList	$list3
static SubLList	$list31
static SubLList	$list4
static SubLList	$list5
static SubLString	$str17$Invalid_slot__S_for_construction_
static SubLString	$str25$Bindings__a_are_not_valid_rewrite
static SubLString	$str27$No_tactic_found_for__S
static SubLSymbol	$sym0$REWRITE_LINK_DATA
static SubLSymbol	$sym1$REWRITE_LINK_DATA_P
static SubLSymbol	$sym10$RW_LINK_DATA_BINDINGS
static SubLSymbol	$sym11$_CSETF_RW_LINK_DATA_BINDINGS
static SubLSymbol	$sym12$RW_LINK_DATA_SUPPORTS
static SubLSymbol	$sym13$_CSETF_RW_LINK_DATA_SUPPORTS
static SubLSymbol	$sym18$PROBLEM_P
static SubLSymbol	$sym19$MAPPED_PROBLEM_P
static SubLSymbol	$sym20$HL_MODULE_P
static SubLSymbol	$sym24$REWRITE_LINK_P
static SubLSymbol	$sym26$HL_JUSTIFICATION_P
static SubLSymbol	$sym30$PROBLEM_QUERY_P
static SubLSymbol	$sym32$PROOF_P
static SubLSymbol	$sym33$PROBLEM_LINK_WITH_SINGLE_SUPPORTING_PROBLEM_P
static SubLSymbol	$sym6$DEFAULT_STRUCT_PRINT_FUNCTION
static SubLSymbol	$sym7$REWRITE_LINK_DATA_PRINT_FUNCTION_TRAMPOLINE
static SubLSymbol	$sym8$RW_LINK_DATA_HL_MODULE
static SubLSymbol	$sym9$_CSETF_RW_LINK_DATA_HL_MODULE
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	declare_inference_worker_rewrite_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_inference_worker_rewrite_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	literal_level_rewrite_tactic_p(SubLObject tactic)
static SubLObject	rewrite_link_data_print_function_trampoline(SubLObject object, SubLObject stream)
static SubLObject	rewrite_link_p(SubLObject object)
static SubLObject	rewrite_tactic_p(SubLObject tactic)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_inference_worker_rewrite_file()
static SubLObject	trigger_restriction_link_listeners(SubLObject link, SubLObject proof)

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

public static SubLSymbol $dtp_rewrite_link_data$

$sym0$REWRITE_LINK_DATA

public static final SubLSymbol $sym0$REWRITE_LINK_DATA

$sym1$REWRITE_LINK_DATA_P

public static final SubLSymbol $sym1$REWRITE_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$REWRITE_LINK_DATA_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym7$REWRITE_LINK_DATA_PRINT_FUNCTION_TRAMPOLINE

$sym8$RW_LINK_DATA_HL_MODULE

public static final SubLSymbol $sym8$RW_LINK_DATA_HL_MODULE

$sym9$_CSETF_RW_LINK_DATA_HL_MODULE

public static final SubLSymbol $sym9$_CSETF_RW_LINK_DATA_HL_MODULE

$sym10$RW_LINK_DATA_BINDINGS

public static final SubLSymbol $sym10$RW_LINK_DATA_BINDINGS

$sym11$_CSETF_RW_LINK_DATA_BINDINGS

public static final SubLSymbol $sym11$_CSETF_RW_LINK_DATA_BINDINGS

$sym12$RW_LINK_DATA_SUPPORTS

public static final SubLSymbol $sym12$RW_LINK_DATA_SUPPORTS

$sym13$_CSETF_RW_LINK_DATA_SUPPORTS

public static final SubLSymbol $sym13$_CSETF_RW_LINK_DATA_SUPPORTS

$kw14$HL_MODULE

public static final SubLSymbol $kw14$HL_MODULE

$kw15$BINDINGS

public static final SubLSymbol $kw15$BINDINGS

$kw16$SUPPORTS

public static final SubLSymbol $kw16$SUPPORTS

$str17$Invalid_slot__S_for_construction_

public static final SubLString $str17$Invalid_slot__S_for_construction_

$sym18$PROBLEM_P

public static final SubLSymbol $sym18$PROBLEM_P

$sym19$MAPPED_PROBLEM_P

public static final SubLSymbol $sym19$MAPPED_PROBLEM_P

$sym20$HL_MODULE_P

public static final SubLSymbol $sym20$HL_MODULE_P

$kw21$REWRITE

public static final SubLSymbol $kw21$REWRITE

$kw22$UNDETERMINED

public static final SubLSymbol $kw22$UNDETERMINED

$kw23$FREE

public static final SubLSymbol $kw23$FREE

$sym24$REWRITE_LINK_P

public static final SubLSymbol $sym24$REWRITE_LINK_P

$str25$Bindings__a_are_not_valid_rewrite

public static final SubLString $str25$Bindings__a_are_not_valid_rewrite

$sym26$HL_JUSTIFICATION_P

public static final SubLSymbol $sym26$HL_JUSTIFICATION_P

$str27$No_tactic_found_for__S

public static final SubLString $str27$No_tactic_found_for__S

$kw28$COMPLETE

public static final SubLSymbol $kw28$COMPLETE

$kw29$SKIP

public static final SubLSymbol $kw29$SKIP

$sym30$PROBLEM_QUERY_P

public static final SubLSymbol $sym30$PROBLEM_QUERY_P

$list31

public static final SubLList $list31

$sym32$PROOF_P

public static final SubLSymbol $sym32$PROOF_P

$sym33$PROBLEM_LINK_WITH_SINGLE_SUPPORTING_PROBLEM_P

public static final SubLSymbol $sym33$PROBLEM_LINK_WITH_SINGLE_SUPPORTING_PROBLEM_P

Method Detail

rewrite_link_data_print_function_trampoline

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

rewrite_link_p

public static final SubLObject rewrite_link_p(SubLObject object)

rewrite_tactic_p

public static final SubLObject rewrite_tactic_p(SubLObject tactic)

literal_level_rewrite_tactic_p

public static final SubLObject literal_level_rewrite_tactic_p(SubLObject tactic)

trigger_restriction_link_listeners

public static final SubLObject trigger_restriction_link_listeners(SubLObject link,
                                                                  SubLObject proof)

declare_inference_worker_rewrite_file

public static final SubLObject declare_inference_worker_rewrite_file()

init_inference_worker_rewrite_file

public static final SubLObject init_inference_worker_rewrite_file()

setup_inference_worker_rewrite_file

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