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

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class inference_worker_residual_transformation
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLInteger	$int9$150
static SubLSymbol	$kw0$RESIDUAL_TRANSFORMATION
static SubLSymbol	$kw4$JOIN_ORDERED
static SubLSymbol	$kw5$TRANSFORMATION
static SubLList	$list12
static SubLList	$list14
static SubLSymbol	$sym1$MAPPED_PROBLEM_P
static SubLSymbol	$sym10$RESIDUAL_TRANSFORMATION_PROOF_P
static SubLSymbol	$sym11$PROBLEM_STORE_PROBLEMATIC_RESIDUAL_TRANSFORMATION_LINKS
static SubLSymbol	$sym13$PROBLEM_STORE_PROBLEMATIC_RESIDUAL_TRANSFORMATION_LINK_COUNT
static SubLSymbol	$sym2$JOIN_ORDERED_LINK_P
static SubLSymbol	$sym3$TRANSFORMATION_LINK_P
static SubLSymbol	$sym6$RESIDUAL_TRANSFORMATION_LINK_P
static SubLSymbol	$sym7$PROOF_P
static SubLSymbol	$sym8$SINGLE_CLAUSE_PROBLEM_QUERY_P
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_residual_transformation_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_inference_worker_residual_transformation_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	maybe_possibly_add_residual_transformation_links_via_join_ordered_link(SubLObject join_ordered_link)
static SubLObject	maybe_possibly_add_residual_transformation_links_via_transformation_link(SubLObject transformation_link)
static SubLObject	possibly_add_residual_transformation_links_via_join_ordered_link(SubLObject join_ordered_link)
static SubLObject	possibly_add_residual_transformation_links_via_transformation_link(SubLObject transformation_link)
static SubLObject	residual_transformation_link_p(SubLObject object)
static SubLObject	residual_transformation_proof_p(SubLObject object)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_inference_worker_residual_transformation_file()

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

$kw0$RESIDUAL_TRANSFORMATION

public static final SubLSymbol $kw0$RESIDUAL_TRANSFORMATION

$sym1$MAPPED_PROBLEM_P

public static final SubLSymbol $sym1$MAPPED_PROBLEM_P

$sym2$JOIN_ORDERED_LINK_P

public static final SubLSymbol $sym2$JOIN_ORDERED_LINK_P

$sym3$TRANSFORMATION_LINK_P

public static final SubLSymbol $sym3$TRANSFORMATION_LINK_P

$kw4$JOIN_ORDERED

public static final SubLSymbol $kw4$JOIN_ORDERED

$kw5$TRANSFORMATION

public static final SubLSymbol $kw5$TRANSFORMATION

$sym6$RESIDUAL_TRANSFORMATION_LINK_P

public static final SubLSymbol $sym6$RESIDUAL_TRANSFORMATION_LINK_P

$sym7$PROOF_P

public static final SubLSymbol $sym7$PROOF_P

$sym8$SINGLE_CLAUSE_PROBLEM_QUERY_P

public static final SubLSymbol $sym8$SINGLE_CLAUSE_PROBLEM_QUERY_P

$int9$150

public static final SubLInteger $int9$150

$sym10$RESIDUAL_TRANSFORMATION_PROOF_P

public static final SubLSymbol $sym10$RESIDUAL_TRANSFORMATION_PROOF_P

$sym11$PROBLEM_STORE_PROBLEMATIC_RESIDUAL_TRANSFORMATION_LINKS

public static final SubLSymbol $sym11$PROBLEM_STORE_PROBLEMATIC_RESIDUAL_TRANSFORMATION_LINKS

$list12

public static final SubLList $list12

$sym13$PROBLEM_STORE_PROBLEMATIC_RESIDUAL_TRANSFORMATION_LINK_COUNT

public static final SubLSymbol $sym13$PROBLEM_STORE_PROBLEMATIC_RESIDUAL_TRANSFORMATION_LINK_COUNT

$list14

public static final SubLList $list14

Method Detail

residual_transformation_link_p

public static final SubLObject residual_transformation_link_p(SubLObject object)

maybe_possibly_add_residual_transformation_links_via_join_ordered_link

public static final SubLObject maybe_possibly_add_residual_transformation_links_via_join_ordered_link(SubLObject join_ordered_link)

maybe_possibly_add_residual_transformation_links_via_transformation_link

public static final SubLObject maybe_possibly_add_residual_transformation_links_via_transformation_link(SubLObject transformation_link)

possibly_add_residual_transformation_links_via_join_ordered_link

public static final SubLObject possibly_add_residual_transformation_links_via_join_ordered_link(SubLObject join_ordered_link)

possibly_add_residual_transformation_links_via_transformation_link

public static final SubLObject possibly_add_residual_transformation_links_via_transformation_link(SubLObject transformation_link)

residual_transformation_proof_p

public static final SubLObject residual_transformation_proof_p(SubLObject object)

declare_inference_worker_residual_transformation_file

public static final SubLObject declare_inference_worker_residual_transformation_file()

init_inference_worker_residual_transformation_file

public static final SubLObject init_inference_worker_residual_transformation_file()

setup_inference_worker_residual_transformation_file

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