com.cyc.cycjava.cycl
Class deductions_low

java.lang.Object
  com.cyc.tool.subl.util.SubLTrampolineFile
      com.cyc.tool.subl.util.SubLTranslatedFile
          com.cyc.cycjava.cycl.deductions_low

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class deductions_low
extends SubLTranslatedFile

Nested Class Summary

static class	deductions_low.$deduction_content_native
static class	deductions_low.$deduction_content_p$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$dtp_deduction_content$
static SubLInteger	$int2$149
static SubLSymbol	$kw15$TV
static SubLSymbol	$kw16$ASSERTION
static SubLSymbol	$kw17$SUPPORTS
static SubLSymbol	$kw19$UNKNOWN
static SubLSymbol	$kw20$DEFAULT
static SubLSymbol	$kw22$TRUE
static SubLList	$list3
static SubLList	$list4
static SubLList	$list5
static SubLList	$list6
static SubLString	$str18$Invalid_slot__S_for_construction_
static SubLSymbol	$sym0$DEDUCTION_CONTENT
static SubLSymbol	$sym1$DEDUCTION_CONTENT_P
static SubLSymbol	$sym10$_CSETF_D_CONTENT_TV
static SubLSymbol	$sym11$D_CONTENT_ASSERTION
static SubLSymbol	$sym12$_CSETF_D_CONTENT_ASSERTION
static SubLSymbol	$sym13$D_CONTENT_SUPPORTS
static SubLSymbol	$sym14$_CSETF_D_CONTENT_SUPPORTS
static SubLSymbol	$sym21$DEDUCTION_P
static SubLSymbol	$sym7$DEFAULT_STRUCT_PRINT_FUNCTION
static SubLSymbol	$sym8$DEDUCTION_CONTENT_PRINT_FUNCTION_TRAMPOLINE
static SubLSymbol	$sym9$D_CONTENT_TV
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_d_content_assertion(SubLObject object, SubLObject value)
static SubLObject	_csetf_d_content_supports(SubLObject object, SubLObject value)
static SubLObject	_csetf_d_content_tv(SubLObject object, SubLObject value)
static SubLObject	add_deduction_dependents(SubLObject deduction)
static SubLObject	create_deduction_content(SubLObject id, SubLObject assertion, SubLObject supports)
static SubLObject	d_content_assertion(SubLObject object)
static SubLObject	d_content_supports(SubLObject object)
static SubLObject	d_content_tv(SubLObject object)
static SubLObject	declare_deductions_low_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	deduction_assertion_internal(SubLObject deduction)
static SubLObject	deduction_content_p(SubLObject object)
static SubLObject	deduction_content_print_function_trampoline(SubLObject object, SubLObject stream)
static SubLObject	deduction_matches_specification(SubLObject deduction, SubLObject assertion, SubLObject supports, SubLObject truth)
static SubLObject	deduction_strength_internal(SubLObject deduction)
static SubLObject	deduction_supports_internal(SubLObject deduction)
static SubLObject	deduction_truth_internal(SubLObject deduction)
static SubLObject	deduction_tv(SubLObject deduction) Return the tv of DEDUCTION.
static SubLObject	destroy_deduction_content(SubLObject id)
static SubLObject	find_deduction_internal(SubLObject assertion, SubLObject supports, SubLObject truth)
static SubLObject	init_deductions_low_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	kb_create_deduction_int(SubLObject deduction, SubLObject internal_id, SubLObject assertion, SubLObject supports, SubLObject truth)
static SubLObject	kb_create_deduction_kb_store(SubLObject assertion, SubLObject supports, SubLObject truth)
static SubLObject	kb_remove_deduction_internal(SubLObject deduction)
static SubLObject	kb_set_deduction_strength_internal(SubLObject deduction, SubLObject new_strength)
static SubLObject	load_deduction_content_int(SubLObject id, SubLObject assertion, SubLObject supports, SubLObject tv)
static SubLObject	load_deduction_content(SubLObject deduction, SubLObject stream)
static SubLObject	lookup_deduction_assertion(SubLObject id)
static SubLObject	lookup_deduction_supports(SubLObject id)
static SubLObject	lookup_deduction_tv(SubLObject id)
static SubLObject	make_deduction_content(SubLObject arglist)
static SubLObject	remove_deduction_dependents(SubLObject deduction)
static SubLObject	reset_deduction_tv(SubLObject deduction, SubLObject new_tv) Primitively change the tv of DEDUCTION to NEW-TV.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	set_deduction_tv(SubLObject id, SubLObject new_tv)
static SubLObject	setup_deductions_low_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_deduction_content$

public static SubLSymbol $dtp_deduction_content$

$sym0$DEDUCTION_CONTENT

public static final SubLSymbol $sym0$DEDUCTION_CONTENT

$sym1$DEDUCTION_CONTENT_P

public static final SubLSymbol $sym1$DEDUCTION_CONTENT_P

$int2$149

public static final SubLInteger $int2$149

$list3

public static final SubLList $list3

$list4

public static final SubLList $list4

$list5

public static final SubLList $list5

$list6

public static final SubLList $list6

$sym7$DEFAULT_STRUCT_PRINT_FUNCTION

public static final SubLSymbol $sym7$DEFAULT_STRUCT_PRINT_FUNCTION

$sym8$DEDUCTION_CONTENT_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym8$DEDUCTION_CONTENT_PRINT_FUNCTION_TRAMPOLINE

$sym9$D_CONTENT_TV

public static final SubLSymbol $sym9$D_CONTENT_TV

$sym10$_CSETF_D_CONTENT_TV

public static final SubLSymbol $sym10$_CSETF_D_CONTENT_TV

$sym11$D_CONTENT_ASSERTION

public static final SubLSymbol $sym11$D_CONTENT_ASSERTION

$sym12$_CSETF_D_CONTENT_ASSERTION

public static final SubLSymbol $sym12$_CSETF_D_CONTENT_ASSERTION

$sym13$D_CONTENT_SUPPORTS

public static final SubLSymbol $sym13$D_CONTENT_SUPPORTS

$sym14$_CSETF_D_CONTENT_SUPPORTS

public static final SubLSymbol $sym14$_CSETF_D_CONTENT_SUPPORTS

$kw15$TV

public static final SubLSymbol $kw15$TV

$kw16$ASSERTION

public static final SubLSymbol $kw16$ASSERTION

$kw17$SUPPORTS

public static final SubLSymbol $kw17$SUPPORTS

$str18$Invalid_slot__S_for_construction_

public static final SubLString $str18$Invalid_slot__S_for_construction_

$kw19$UNKNOWN

public static final SubLSymbol $kw19$UNKNOWN

$kw20$DEFAULT

public static final SubLSymbol $kw20$DEFAULT

$sym21$DEDUCTION_P

public static final SubLSymbol $sym21$DEDUCTION_P

$kw22$TRUE

public static final SubLSymbol $kw22$TRUE

Method Detail

deduction_content_print_function_trampoline

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

deduction_content_p

public static final SubLObject deduction_content_p(SubLObject object)

d_content_tv

public static final SubLObject d_content_tv(SubLObject object)

d_content_assertion

public static final SubLObject d_content_assertion(SubLObject object)

d_content_supports

public static final SubLObject d_content_supports(SubLObject object)

_csetf_d_content_tv

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

_csetf_d_content_assertion

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

_csetf_d_content_supports

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

make_deduction_content

public static final SubLObject make_deduction_content(SubLObject arglist)

create_deduction_content

public static final SubLObject create_deduction_content(SubLObject id,
                                                        SubLObject assertion,
                                                        SubLObject supports)

destroy_deduction_content

public static final SubLObject destroy_deduction_content(SubLObject id)

lookup_deduction_tv

public static final SubLObject lookup_deduction_tv(SubLObject id)

lookup_deduction_assertion

public static final SubLObject lookup_deduction_assertion(SubLObject id)

lookup_deduction_supports

public static final SubLObject lookup_deduction_supports(SubLObject id)

set_deduction_tv

public static final SubLObject set_deduction_tv(SubLObject id,
                                                SubLObject new_tv)

load_deduction_content

public static final SubLObject load_deduction_content(SubLObject deduction,
                                                      SubLObject stream)

load_deduction_content_int

public static final SubLObject load_deduction_content_int(SubLObject id,
                                                          SubLObject assertion,
                                                          SubLObject supports,
                                                          SubLObject tv)

kb_create_deduction_kb_store

public static final SubLObject kb_create_deduction_kb_store(SubLObject assertion,
                                                            SubLObject supports,
                                                            SubLObject truth)

kb_create_deduction_int

public static final SubLObject kb_create_deduction_int(SubLObject deduction,
                                                       SubLObject internal_id,
                                                       SubLObject assertion,
                                                       SubLObject supports,
                                                       SubLObject truth)

add_deduction_dependents

public static final SubLObject add_deduction_dependents(SubLObject deduction)

kb_remove_deduction_internal

public static final SubLObject kb_remove_deduction_internal(SubLObject deduction)

remove_deduction_dependents

public static final SubLObject remove_deduction_dependents(SubLObject deduction)

reset_deduction_tv

public static final SubLObject reset_deduction_tv(SubLObject deduction,
                                                  SubLObject new_tv)

Primitively change the tv of DEDUCTION to NEW-TV.

kb_set_deduction_strength_internal

public static final SubLObject kb_set_deduction_strength_internal(SubLObject deduction,
                                                                  SubLObject new_strength)

find_deduction_internal

public static final SubLObject find_deduction_internal(SubLObject assertion,
                                                       SubLObject supports,
                                                       SubLObject truth)

deduction_matches_specification

public static final SubLObject deduction_matches_specification(SubLObject deduction,
                                                               SubLObject assertion,
                                                               SubLObject supports,
                                                               SubLObject truth)

deduction_assertion_internal

public static final SubLObject deduction_assertion_internal(SubLObject deduction)

deduction_tv

public static final SubLObject deduction_tv(SubLObject deduction)

Return the tv of DEDUCTION.

deduction_supports_internal

public static final SubLObject deduction_supports_internal(SubLObject deduction)

deduction_truth_internal

public static final SubLObject deduction_truth_internal(SubLObject deduction)

deduction_strength_internal

public static final SubLObject deduction_strength_internal(SubLObject deduction)

declare_deductions_low_file

public static final SubLObject declare_deductions_low_file()

init_deductions_low_file

public static final SubLObject init_deductions_low_file()

setup_deductions_low_file

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