com.cyc.cycjava.cycl
Class deductions_high

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class deductions_high
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const11$skolem
static SubLSymbol	$deduction_dump_id_table$
static SubLSymbol	$kw17$UNKNOWN
static SubLSymbol	$kw2$ALLOW_OTHER_KEYS
static SubLSymbol	$kw3$DONE
static SubLSymbol	$kw6$DEDUCTION
static SubLSymbol	$kw9$TRUE
static SubLList	$list0
static SubLList	$list1
static SubLList	$list13
static SubLList	$list15
static SubLList	$list16
static SubLList	$list20
static SubLList	$list23
static SubLList	$list25
static SubLList	$list27
static SubLString	$str14$Return_the_support_for_which_DEDU
static SubLString	$str19$Return_the_truth_of_DEDUCTION____
static SubLString	$str22$Return_the_current_argumentation_
static SubLSymbol	$sym10$SUPPORT_EQUAL
static SubLSymbol	$sym12$DEDUCTION_ASSERTION
static SubLSymbol	$sym18$DEDUCTION_TRUTH
static SubLSymbol	$sym21$DEDUCTION_STRENGTH
static SubLSymbol	$sym24$NON_NEGATIVE_INTEGER_P
static SubLSymbol	$sym26$CLET
static SubLSymbol	$sym4$DO_LIST
static SubLSymbol	$sym5$DEDUCTION_SUPPORTS
static SubLSymbol	$sym7$HL_JUSTIFICATION_P
static SubLSymbol	$sym8$DEDUCTION_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	create_deduction_for_hl_support(SubLObject hl_support, SubLObject justification)
static SubLObject	create_deduction_spec(SubLObject supports)
static SubLObject	create_deduction_with_tv(SubLObject assertion, SubLObject supports, SubLObject tv)
static SubLObject	create_deduction(SubLObject assertion, SubLObject supports, SubLObject truth)
static SubLObject	declare_deductions_high_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	deduction_assertion(SubLObject deduction) Return the support for which DEDUCTION is a deduction.
static SubLObject	deduction_spec_supports(SubLObject deduction_spec) Returns the list of supports specified by DEDUCTION-SPEC
static SubLObject	deduction_strength(SubLObject deduction) Return the current argumentation strength of DEDUCTION -- either :monotonic, :default, or :unknown.
static SubLObject	deduction_supports_equal(SubLObject supports1, SubLObject supports2)
static SubLObject	deduction_supports(SubLObject deduction) Return the assertions which together constitute this DEDUCTION.
static SubLObject	deduction_truth(SubLObject deduction) Return the truth of DEDUCTION -- either :true :false or :unknown.
static SubLObject	find_deduction_by_dump_id(SubLObject dump_id)
static SubLObject	find_deduction(SubLObject assertion, SubLObject supports, SubLObject truth) Find the deduction that justifies ASSERTION via SUPPORTS having TRUTH.
static SubLObject	init_deductions_high_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	remove_deduction(SubLObject deduction)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	set_deduction_strength(SubLObject deduction, SubLObject new_strength)
static SubLObject	setup_deductions_high_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

$deduction_dump_id_table$

public static SubLSymbol $deduction_dump_id_table$

$list0

public static final SubLList $list0

$list1

public static final SubLList $list1

$kw2$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw2$ALLOW_OTHER_KEYS

$kw3$DONE

public static final SubLSymbol $kw3$DONE

$sym4$DO_LIST

public static final SubLSymbol $sym4$DO_LIST

$sym5$DEDUCTION_SUPPORTS

public static final SubLSymbol $sym5$DEDUCTION_SUPPORTS

$kw6$DEDUCTION

public static final SubLSymbol $kw6$DEDUCTION

$sym7$HL_JUSTIFICATION_P

public static final SubLSymbol $sym7$HL_JUSTIFICATION_P

$sym8$DEDUCTION_P

public static final SubLSymbol $sym8$DEDUCTION_P

$kw9$TRUE

public static final SubLSymbol $kw9$TRUE

$sym10$SUPPORT_EQUAL

public static final SubLSymbol $sym10$SUPPORT_EQUAL

$const11$skolem

public static final SubLObject $const11$skolem

$sym12$DEDUCTION_ASSERTION

public static final SubLSymbol $sym12$DEDUCTION_ASSERTION

$list13

public static final SubLList $list13

$str14$Return_the_support_for_which_DEDU

public static final SubLString $str14$Return_the_support_for_which_DEDU

$list15

public static final SubLList $list15

$list16

public static final SubLList $list16

$kw17$UNKNOWN

public static final SubLSymbol $kw17$UNKNOWN

$sym18$DEDUCTION_TRUTH

public static final SubLSymbol $sym18$DEDUCTION_TRUTH

$str19$Return_the_truth_of_DEDUCTION____

public static final SubLString $str19$Return_the_truth_of_DEDUCTION____

$list20

public static final SubLList $list20

$sym21$DEDUCTION_STRENGTH

public static final SubLSymbol $sym21$DEDUCTION_STRENGTH

$str22$Return_the_current_argumentation_

public static final SubLString $str22$Return_the_current_argumentation_

$list23

public static final SubLList $list23

$sym24$NON_NEGATIVE_INTEGER_P

public static final SubLSymbol $sym24$NON_NEGATIVE_INTEGER_P

$list25

public static final SubLList $list25

$sym26$CLET

public static final SubLSymbol $sym26$CLET

$list27

public static final SubLList $list27

Method Detail

create_deduction_spec

public static final SubLObject create_deduction_spec(SubLObject supports)

deduction_spec_supports

public static final SubLObject deduction_spec_supports(SubLObject deduction_spec)

Returns the list of supports specified by DEDUCTION-SPEC

create_deduction_with_tv

public static final SubLObject create_deduction_with_tv(SubLObject assertion,
                                                        SubLObject supports,
                                                        SubLObject tv)

create_deduction_for_hl_support

public static final SubLObject create_deduction_for_hl_support(SubLObject hl_support,
                                                               SubLObject justification)

create_deduction

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

remove_deduction

public static final SubLObject remove_deduction(SubLObject deduction)

set_deduction_strength

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

find_deduction

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

Find the deduction that justifies ASSERTION via SUPPORTS having TRUTH. Return NIL if not present.

deduction_supports_equal

public static final SubLObject deduction_supports_equal(SubLObject supports1,
                                                        SubLObject supports2)

deduction_assertion

public static final SubLObject deduction_assertion(SubLObject deduction)

Return the support for which DEDUCTION is a deduction.

deduction_truth

public static final SubLObject deduction_truth(SubLObject deduction)

Return the truth of DEDUCTION -- either :true :false or :unknown.

deduction_strength

public static final SubLObject deduction_strength(SubLObject deduction)

Return the current argumentation strength of DEDUCTION -- either :monotonic, :default, or :unknown.

deduction_supports

public static final SubLObject deduction_supports(SubLObject deduction)

Return the assertions which together constitute this DEDUCTION.

find_deduction_by_dump_id

public static final SubLObject find_deduction_by_dump_id(SubLObject dump_id)

declare_deductions_high_file

public static final SubLObject declare_deductions_high_file()

init_deductions_high_file

public static final SubLObject init_deductions_high_file()

setup_deductions_high_file

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