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

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class inference_datastructures_forward_propagate
extends SubLTranslatedFile

Nested Class Summary

static class	inference_datastructures_forward_propagate.$forward_propagate_native
static class	inference_datastructures_forward_propagate.$forward_propagate_p$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$dtp_forward_propagate$
static SubLSymbol	$kw12$OLD_QUEUE
static SubLSymbol	$kw13$NEW_QUEUE
static SubLSymbol	$kw19$FREE
static SubLList	$list2
static SubLList	$list3
static SubLList	$list4
static SubLList	$list5
static SubLString	$str14$Invalid_slot__S_for_construction_
static SubLString	$str15$_Forward_Propagate_old__a_new__a
static SubLString	$str16$_Invalid_Forward_Propagate__s_
static SubLSymbol	$sym0$FORWARD_PROPAGATE
static SubLSymbol	$sym1$FORWARD_PROPAGATE_P
static SubLSymbol	$sym10$FPMT_NEW_QUEUE
static SubLSymbol	$sym11$_CSETF_FPMT_NEW_QUEUE
static SubLSymbol	$sym17$QUEUE_P
static SubLSymbol	$sym18$RULE_ASSERTION_
static SubLSymbol	$sym20$NON_DOTTED_LIST_P
static SubLSymbol	$sym21$ASSERTION_P
static SubLSymbol	$sym6$PRINT_FORWARD_PROPAGATE
static SubLSymbol	$sym7$FORWARD_PROPAGATE_PRINT_FUNCTION_TRAMPOLINE
static SubLSymbol	$sym8$FPMT_OLD_QUEUE
static SubLSymbol	$sym9$_CSETF_FPMT_OLD_QUEUE
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_datastructures_forward_propagate_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	destroy_forward_propagate(SubLObject forward_propagate)
static SubLObject	forward_propagate_p(SubLObject object)
static SubLObject	forward_propagate_print_function_trampoline(SubLObject object, SubLObject stream)
static SubLObject	init_inference_datastructures_forward_propagate_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_inference_datastructures_forward_propagate_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

$dtp_forward_propagate$

public static SubLSymbol $dtp_forward_propagate$

$sym0$FORWARD_PROPAGATE

public static final SubLSymbol $sym0$FORWARD_PROPAGATE

$sym1$FORWARD_PROPAGATE_P

public static final SubLSymbol $sym1$FORWARD_PROPAGATE_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$PRINT_FORWARD_PROPAGATE

public static final SubLSymbol $sym6$PRINT_FORWARD_PROPAGATE

$sym7$FORWARD_PROPAGATE_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym7$FORWARD_PROPAGATE_PRINT_FUNCTION_TRAMPOLINE

$sym8$FPMT_OLD_QUEUE

public static final SubLSymbol $sym8$FPMT_OLD_QUEUE

$sym9$_CSETF_FPMT_OLD_QUEUE

public static final SubLSymbol $sym9$_CSETF_FPMT_OLD_QUEUE

$sym10$FPMT_NEW_QUEUE

public static final SubLSymbol $sym10$FPMT_NEW_QUEUE

$sym11$_CSETF_FPMT_NEW_QUEUE

public static final SubLSymbol $sym11$_CSETF_FPMT_NEW_QUEUE

$kw12$OLD_QUEUE

public static final SubLSymbol $kw12$OLD_QUEUE

$kw13$NEW_QUEUE

public static final SubLSymbol $kw13$NEW_QUEUE

$str14$Invalid_slot__S_for_construction_

public static final SubLString $str14$Invalid_slot__S_for_construction_

$str15$_Forward_Propagate_old__a_new__a

public static final SubLString $str15$_Forward_Propagate_old__a_new__a

$str16$_Invalid_Forward_Propagate__s_

public static final SubLString $str16$_Invalid_Forward_Propagate__s_

$sym17$QUEUE_P

public static final SubLSymbol $sym17$QUEUE_P

$sym18$RULE_ASSERTION_

public static final SubLSymbol $sym18$RULE_ASSERTION_

$kw19$FREE

public static final SubLSymbol $kw19$FREE

$sym20$NON_DOTTED_LIST_P

public static final SubLSymbol $sym20$NON_DOTTED_LIST_P

$sym21$ASSERTION_P

public static final SubLSymbol $sym21$ASSERTION_P

Method Detail

forward_propagate_print_function_trampoline

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

forward_propagate_p

public static final SubLObject forward_propagate_p(SubLObject object)

destroy_forward_propagate

public static final SubLObject destroy_forward_propagate(SubLObject forward_propagate)

declare_inference_datastructures_forward_propagate_file

public static final SubLObject declare_inference_datastructures_forward_propagate_file()

init_inference_datastructures_forward_propagate_file

public static final SubLObject init_inference_datastructures_forward_propagate_file()

setup_inference_datastructures_forward_propagate_file

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