com.cyc.cycjava.cycl
Class hl_modifiers

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class hl_modifiers
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLList	$list10
static SubLList	$list12
static SubLList	$list14
static SubLList	$list15
static SubLList	$list19
static SubLList	$list21
static SubLList	$list22
static SubLList	$list7
static SubLList	$list9
static SubLString	$str13$Remove_ASSERTED_ARGUMENT_for_ASSE
static SubLString	$str20$Assert__PRED_ARG1_ARG2__in_MT_to_
static SubLString	$str24$Unassert__PRED_ARG1_ARG2__in_MT_f
static SubLString	$str8$Create_an_asserted_argument_for_A
static SubLSymbol	$sym0$ASSERTION_P
static SubLSymbol	$sym1$TRUTH_P
static SubLSymbol	$sym11$KB_REMOVE_ASSERTED_ARGUMENT
static SubLSymbol	$sym16$FORT_P
static SubLSymbol	$sym17$HLMT_P
static SubLSymbol	$sym18$HL_ASSERT_BOOKKEEPING_BINARY_GAF
static SubLSymbol	$sym2$EL_STRENGTH_P
static SubLSymbol	$sym23$HL_UNASSERT_BOOKKEEPING_BINARY_GAF
static SubLSymbol	$sym3$ASSERTED_ARGUMENT_P
static SubLSymbol	$sym4$KB_CREATE_ASSERTED_ARGUMENT
static SubLSymbol	$sym5$QUOTE
static SubLSymbol	$sym6$_EXIT
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_hl_modifiers_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	hl_assert_bookkeeping_binary_gaf(SubLObject pred, SubLObject arg1, SubLObject arg2, SubLObject mt) Assert (PRED ARG1 ARG2) in MT to the bookkeeping store.
static SubLObject	init_hl_modifiers_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	kb_create_asserted_argument_with_tv(SubLObject assertion, SubLObject tv)
static SubLObject	kb_create_asserted_argument(SubLObject assertion, SubLObject truth, SubLObject strength) Create an asserted argument for ASSERTION from TRUTH and STRENGTH, and hook up all the indexing between them.
static SubLObject	kb_remove_asserted_argument(SubLObject assertion, SubLObject asserted_argument) Remove ASSERTED-ARGUMENT for ASSERTION.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_hl_modifiers_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

$sym0$ASSERTION_P

public static final SubLSymbol $sym0$ASSERTION_P

$sym1$TRUTH_P

public static final SubLSymbol $sym1$TRUTH_P

$sym2$EL_STRENGTH_P

public static final SubLSymbol $sym2$EL_STRENGTH_P

$sym3$ASSERTED_ARGUMENT_P

public static final SubLSymbol $sym3$ASSERTED_ARGUMENT_P

$sym4$KB_CREATE_ASSERTED_ARGUMENT

public static final SubLSymbol $sym4$KB_CREATE_ASSERTED_ARGUMENT

$sym5$QUOTE

public static final SubLSymbol $sym5$QUOTE

$sym6$_EXIT

public static final SubLSymbol $sym6$_EXIT

$list7

public static final SubLList $list7

$str8$Create_an_asserted_argument_for_A

public static final SubLString $str8$Create_an_asserted_argument_for_A

$list9

public static final SubLList $list9

$list10

public static final SubLList $list10

$sym11$KB_REMOVE_ASSERTED_ARGUMENT

public static final SubLSymbol $sym11$KB_REMOVE_ASSERTED_ARGUMENT

$list12

public static final SubLList $list12

$str13$Remove_ASSERTED_ARGUMENT_for_ASSE

public static final SubLString $str13$Remove_ASSERTED_ARGUMENT_for_ASSE

$list14

public static final SubLList $list14

$list15

public static final SubLList $list15

$sym16$FORT_P

public static final SubLSymbol $sym16$FORT_P

$sym17$HLMT_P

public static final SubLSymbol $sym17$HLMT_P

$sym18$HL_ASSERT_BOOKKEEPING_BINARY_GAF

public static final SubLSymbol $sym18$HL_ASSERT_BOOKKEEPING_BINARY_GAF

$list19

public static final SubLList $list19

$str20$Assert__PRED_ARG1_ARG2__in_MT_to_

public static final SubLString $str20$Assert__PRED_ARG1_ARG2__in_MT_to_

$list21

public static final SubLList $list21

$list22

public static final SubLList $list22

$sym23$HL_UNASSERT_BOOKKEEPING_BINARY_GAF

public static final SubLSymbol $sym23$HL_UNASSERT_BOOKKEEPING_BINARY_GAF

$str24$Unassert__PRED_ARG1_ARG2__in_MT_f

public static final SubLString $str24$Unassert__PRED_ARG1_ARG2__in_MT_f

Method Detail

kb_create_asserted_argument_with_tv

public static final SubLObject kb_create_asserted_argument_with_tv(SubLObject assertion,
                                                                   SubLObject tv)

kb_create_asserted_argument

public static final SubLObject kb_create_asserted_argument(SubLObject assertion,
                                                           SubLObject truth,
                                                           SubLObject strength)

Create an asserted argument for ASSERTION from TRUTH and STRENGTH, and hook up all the indexing between them.

kb_remove_asserted_argument

public static final SubLObject kb_remove_asserted_argument(SubLObject assertion,
                                                           SubLObject asserted_argument)

Remove ASSERTED-ARGUMENT for ASSERTION.

hl_assert_bookkeeping_binary_gaf

public static final SubLObject hl_assert_bookkeeping_binary_gaf(SubLObject pred,
                                                                SubLObject arg1,
                                                                SubLObject arg2,
                                                                SubLObject mt)

Assert (PRED ARG1 ARG2) in MT to the bookkeeping store.

declare_hl_modifiers_file

public static final SubLObject declare_hl_modifiers_file()

init_hl_modifiers_file

public static final SubLObject init_hl_modifiers_file()

setup_hl_modifiers_file

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