assertions

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl
Class assertions_low

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class assertions_low
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`assertions_low.$assertion_content_native`
`static class`	`assertions_low.$assertion_content_p$UnaryFunction`

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

Field Summary
`static SubLSymbol`	$dtp_assertion_content$
`static SubLInteger`	`$int2$148`
`static SubLInteger`	`$int32$60`
`static SubLSymbol`	`$kw19$FORMULA_DATA`
`static SubLSymbol`	`$kw20$MT`
`static SubLSymbol`	`$kw21$FLAGS`
`static SubLSymbol`	`$kw22$ARGUMENTS`
`static SubLSymbol`	`$kw23$PLIST`
`static SubLSymbol`	`$kw25$NOT_FOUND`
`static SubLSymbol`	`$kw27$VARIABLE_NAMES`
`static SubLSymbol`	`$kw28$DEPENDENTS`
`static SubLSymbol`	`$kw38$SKIP`
`static SubLSymbol`	`$kw46$ASSERT_INFO`
`static SubLSymbol`	`$kw49$IGNORE_ERRORS_TARGET`
`static SubLSymbol`	`$kw51$UNKNOWN`
`static SubLList`	`$list3`
`static SubLList`	`$list4`
`static SubLList`	`$list43`
`static SubLList`	`$list47`
`static SubLList`	`$list5`
`static SubLList`	`$list6`
`static SubLString`	`$str24$Invalid_slot__S_for_construction_`
`static SubLString`	`$str29$Unexpected_formula_data_type___S`
`static SubLString`	`$str36$mapping_Cyc_assertions`
`static SubLString`	`$str40$Rebuilding_the_Rule_Set`
`static SubLString`	`$str52$Unexpected_formula_data_hook___S`
`static SubLSymbol`	`$sym0$ASSERTION_CONTENT`
`static SubLSymbol`	`$sym1$ASSERTION_CONTENT_P`
`static SubLSymbol`	`$sym10$_CSETF_AS_CONTENT_FORMULA_DATA`
`static SubLSymbol`	`$sym11$AS_CONTENT_MT`
`static SubLSymbol`	`$sym12$_CSETF_AS_CONTENT_MT`
`static SubLSymbol`	`$sym13$AS_CONTENT_FLAGS`
`static SubLSymbol`	`$sym14$_CSETF_AS_CONTENT_FLAGS`
`static SubLSymbol`	`$sym15$AS_CONTENT_ARGUMENTS`
`static SubLSymbol`	`$sym16$_CSETF_AS_CONTENT_ARGUMENTS`
`static SubLSymbol`	`$sym17$AS_CONTENT_PLIST`
`static SubLSymbol`	`$sym18$_CSETF_AS_CONTENT_PLIST`
`static SubLSymbol`	`$sym26$ASSERTION_P`
`static SubLSymbol`	`$sym30$_RULE_SET_`
`static SubLSymbol`	`$sym31$_PREFER_RULE_SET_OVER_FLAGS__`
`static SubLSymbol`	`$sym33$NON_NEGATIVE_INTEGER_P`
`static SubLSymbol`	`$sym34$KB_RULE_SET`
`static SubLSymbol`	`$sym35$DO_RULES`
`static SubLSymbol`	`$sym37$STRINGP`
`static SubLSymbol`	`$sym39$CNF_P`
`static SubLSymbol`	`$sym41$LISTP`
`static SubLSymbol`	`$sym42$NON_DOTTED_LIST_P`
`static SubLSymbol`	`$sym44$CDESTRUCTURING_BIND`
`static SubLSymbol`	`$sym45$_OPTIONAL`
`static SubLSymbol`	`$sym48$VALID_ARGUMENT`
`static SubLSymbol`	`$sym50$IGNORE_ERRORS_HANDLER`
`static SubLSymbol`	`$sym53$ARGUMENT_P`
`static SubLSymbol`	`$sym54$DEDUCTION_P`
`static SubLSymbol`	`$sym7$DEFAULT_STRUCT_PRINT_FUNCTION`
`static SubLSymbol`	`$sym8$ASSERTION_CONTENT_PRINT_FUNCTION_TRAMPOLINE`
`static SubLSymbol`	`$sym9$AS_CONTENT_FORMULA_DATA`
`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

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_as_content_arguments(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_as_content_flags(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_as_content_formula_data(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_as_content_mt(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_as_content_plist(SubLObject object, SubLObject value)`
`static SubLObject`	`add_assertion_dependent(SubLObject assertion, SubLObject argument)` Add ARGUMENT as an argument depending on ASSERTION.
`static SubLObject`	`add_new_assertion_argument(SubLObject assertion, SubLObject new_argument)`
`static SubLObject`	`annihilate_assertion_formula_data(SubLObject assertion)` Primitively change the formula data of ASSERTION to nil, and update the GAF flag to t (why not?)
`static SubLObject`	`as_content_arguments(SubLObject object)`
`static SubLObject`	`as_content_flags(SubLObject object)`
`static SubLObject`	`as_content_formula_data(SubLObject object)`
`static SubLObject`	`as_content_mt(SubLObject object)`
`static SubLObject`	`as_content_plist(SubLObject object)`
`static SubLObject`	`assert_info_second(SubLObject assert_info)`
`static SubLObject`	`assert_info_when(SubLObject assert_info)`
`static SubLObject`	`assert_info_who(SubLObject assert_info)`
`static SubLObject`	`assert_info_why(SubLObject assert_info)`
`static SubLObject`	`asserted_assertion_timestampedP(SubLObject assertion)`
`static SubLObject`	`asserted_by_internal(SubLObject assertion)`
`static SubLObject`	`asserted_second_internal(SubLObject assertion)`
`static SubLObject`	`asserted_when_internal(SubLObject assertion)`
`static SubLObject`	`asserted_why_internal(SubLObject assertion)`
`static SubLObject`	`assertion_arguments_internal(SubLObject assertion)`
`static SubLObject`	`assertion_assert_info(SubLObject assertion)` Return the assert timestamping info for ASSERTION.
`static SubLObject`	`assertion_clause_struc(SubLObject assertion)` If ASSERTION has a clause struc as its HL CNF implementation, return it.
`static SubLObject`	`assertion_cnf_internal(SubLObject assertion)`
`static SubLObject`	`assertion_cons_internal(SubLObject assertion)`
`static SubLObject`	`assertion_content_p(SubLObject object)`
`static SubLObject`	`assertion_content_print_function_trampoline(SubLObject object, SubLObject stream)`
`static SubLObject`	`assertion_dependents_internal(SubLObject assertion)`
`static SubLObject`	`assertion_direction_internal(SubLObject assertion)`
`static SubLObject`	`assertion_flags_direction_code(SubLObject flags)`
`static SubLObject`	`assertion_flags_gaf_p(SubLObject assertion)` Return T iff ASSERTION is a GAF according to its internal flag bits.
`static SubLObject`	`assertion_flags_tv_code(SubLObject flags)`
`static SubLObject`	`assertion_flags(SubLObject assertion)` Return the bit-flags for ASSERTION
`static SubLObject`	`assertion_formula_data(SubLObject assertion)` Return the HL structure used to implement the formula for ASSERTION.
`static SubLObject`	`assertion_gaf_hl_formula_internal(SubLObject assertion)`
`static SubLObject`	`assertion_gaf_p(SubLObject assertion)`
`static SubLObject`	`assertion_hl_cnf(SubLObject assertion)` Return the HL structure used to implement the CNF clause for ASSERTION.
`static SubLObject`	`assertion_index(SubLObject assertion)` Return the indexing structure for ASSERTION.
`static SubLObject`	`assertion_mt_internal(SubLObject assertion)`
`static SubLObject`	`assertion_plist(SubLObject assertion)` Return the plist for ASSERTION.
`static SubLObject`	`assertion_strength_internal(SubLObject assertion)`
`static SubLObject`	`assertion_truth_internal(SubLObject assertion)`
`static SubLObject`	`assertion_tv(SubLObject assertion)` Return the hl tv of ASSERTION.
`static SubLObject`	`assertion_variable_names_internal(SubLObject assertion)` Return the list of names for the variables in ASSERTION.
`static SubLObject`	`cnf_to_gaf_formula(SubLObject cnf)` Converts a CNF representation of a gaf formula to a gaf formula.
`static SubLObject`	`connect_assertion_formula_data(SubLObject assertion, SubLObject formula_data_hook)`
`static SubLObject`	`connect_assertion(SubLObject assertion, SubLObject formula_data_hook)` Connect ASSERTION to FORMULA-DATA-HOOK and all its relevant indexes
`static SubLObject`	`create_assertion_content(SubLObject mt)`
`static SubLObject`	`declare_assertions_low_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`destroy_assertion_content(SubLObject id)`
`static SubLObject`	`determine_cnf_gaf_p(SubLObject cnf)`
`static SubLObject`	`disconnect_assertion_formula_data(SubLObject assertion)`
`static SubLObject`	`disconnect_assertion(SubLObject assertion)` Disconnect ASSERTION from all its connections.
`static SubLObject`	`find_cnf_formula_data_hook(SubLObject cnf)`
`static SubLObject`	`find_gaf_formula_hook(SubLObject gaf)`
`static SubLObject`	`find_hl_cnf_hook(SubLObject cnf)`
`static SubLObject`	`gaf_formula_to_cnf(SubLObject gaf)` Converts a gaf formula to a CNF clause.
`static SubLObject`	`get_assertion_prop(SubLObject assertion, SubLObject indicator, SubLObject v_default)`
`static SubLObject`	`init_assertions_low_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`kb_create_assertion_int(SubLObject assertion, SubLObject internal_id, SubLObject cnf, SubLObject mt)`
`static SubLObject`	`kb_create_assertion_kb_store(SubLObject cnf, SubLObject mt)`
`static SubLObject`	`kb_remove_assertion_internal(SubLObject assertion)`
`static SubLObject`	`kb_set_assertion_direction_internal(SubLObject assertion, SubLObject new_direction)`
`static SubLObject`	`load_assertion_content_int(SubLObject id, SubLObject formula_data, SubLObject mt, SubLObject flags, SubLObject v_arguments, SubLObject plist)`
`static SubLObject`	`load_assertion_content(SubLObject assertion, SubLObject stream)`
`static SubLObject`	`load_rule_set_from_stream(SubLObject stream)`
`static SubLObject`	`lookup_assertion_arguments(SubLObject id)`
`static SubLObject`	`lookup_assertion_flags(SubLObject id)`
`static SubLObject`	`lookup_assertion_formula_data(SubLObject id)`
`static SubLObject`	`lookup_assertion_mt(SubLObject id)`
`static SubLObject`	`lookup_assertion_plist(SubLObject id)`
`static SubLObject`	`make_assert_info(SubLObject who, SubLObject when, SubLObject why, SubLObject second)`
`static SubLObject`	`make_assertion_content(SubLObject arglist)`
`static SubLObject`	`possibly_assertion_cnf_internal(SubLObject assertion)`
`static SubLObject`	`rem_assertion_prop(SubLObject assertion, SubLObject indicator)`
`static SubLObject`	`remove_assertion_argument(SubLObject assertion, SubLObject argument)`
`static SubLObject`	`remove_assertion_dependent(SubLObject assertion, SubLObject argument)` Remove ARGUMENT as an argument depending on ASSERTION.
`static SubLObject`	`reset_assertion_assert_info(SubLObject assertion, SubLObject new_info)` Primitively change the assert timestamping info for ASSERTION to NEW-INFO.
`static SubLObject`	`reset_assertion_cnf(SubLObject assertion, SubLObject new_cnf)` Primitively change the formula data of ASSERTION to NEW-CNF, and update the GAF flag.
`static SubLObject`	`reset_assertion_dependents(SubLObject assertion, SubLObject new_dependents)` Primitively set the dependent arguments of ASSERTION to NEW-DEPENDENTS.
`static SubLObject`	`reset_assertion_direction(SubLObject assertion, SubLObject new_direction)` Primitively change direction of ASSERTION to NEW-DIRECTION.
`static SubLObject`	`reset_assertion_flags(SubLObject assertion, SubLObject new_flags)`
`static SubLObject`	`reset_assertion_formula_data(SubLObject assertion, SubLObject new_formula_data)` Primitively sets the HL structure used to implement the formula for ASSERTION.
`static SubLObject`	`reset_assertion_gaf_formula(SubLObject assertion, SubLObject new_gaf_formula)` Primitively change the formula data of ASSERTION to NEW-GAF-FORMULA, and set the GAF flag to t.
`static SubLObject`	`reset_assertion_index(SubLObject assertion, SubLObject new_index)` Primitively change the indexing structure for ASSERTION to NEW-INDEX.
`static SubLObject`	`reset_assertion_plist(SubLObject assertion, SubLObject plist)` Primitively set the plist of ASSERTION to PLIST.
`static SubLObject`	`reset_assertion_strength(SubLObject assertion, SubLObject new_strength)`
`static SubLObject`	`reset_assertion_truth(SubLObject assertion, SubLObject new_truth)`
`static SubLObject`	`reset_assertion_tv(SubLObject assertion, SubLObject new_tv)` Primitively change the hl tv of ASSERTION to NEW-TV.
`static SubLObject`	`reset_assertion_variable_names(SubLObject assertion, SubLObject new_variable_names)` Primitively change the variable names for ASSERTION to NEW-VARIABLE-NAMES.
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`set_assertion_arguments(SubLObject id, SubLObject new_arguments)`
`static SubLObject`	`set_assertion_asserted_by(SubLObject assertion, SubLObject assertor)`
`static SubLObject`	`set_assertion_asserted_second(SubLObject assertion, SubLObject universal_second)`
`static SubLObject`	`set_assertion_asserted_when(SubLObject assertion, SubLObject universal_date)`
`static SubLObject`	`set_assertion_asserted_why(SubLObject assertion, SubLObject reason)`
`static SubLObject`	`set_assertion_flags_direction_code(SubLObject flags, SubLObject code)`
`static SubLObject`	`set_assertion_flags_gaf_code(SubLObject flags, SubLObject code)`
`static SubLObject`	`set_assertion_flags_gaf_p(SubLObject assertion, SubLObject gafP)` Primitively set the gaf flag of ASSERTION
`static SubLObject`	`set_assertion_flags_tv_code(SubLObject flags, SubLObject code)`
`static SubLObject`	`set_assertion_flags(SubLObject id, SubLObject new_flags)`
`static SubLObject`	`set_assertion_formula_data(SubLObject id, SubLObject new_formula_data)`
`static SubLObject`	`set_assertion_gaf_p(SubLObject assertion, SubLObject gafP)` Primitively set the gaf flag of ASSERTION
`static SubLObject`	`set_assertion_plist(SubLObject id, SubLObject new_plist)`
`static SubLObject`	`set_assertion_prop(SubLObject assertion, SubLObject indicator, SubLObject value)`
`static SubLObject`	`setup_assertions_low_file()`
`static SubLObject`	`setup_rule_set(SubLObject estimated_assertion_size)`
`static SubLObject`	`update_assertion_formula_data(SubLObject assertion, SubLObject new_formula_data)` Primitively change the formula data of ASSERTION to NEW-FORMULA-DATA, and update the GAF flag.
`static SubLObject`	`valid_assertion_with_contentP(SubLObject assertion)` Does ASSERTION have content?

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_assertion_content$

public static SubLSymbol $dtp_assertion_content$

$sym0$ASSERTION_CONTENT

public static final SubLSymbol $sym0$ASSERTION_CONTENT

$sym1$ASSERTION_CONTENT_P

public static final SubLSymbol $sym1$ASSERTION_CONTENT_P

$int2$148

public static final SubLInteger $int2$148

$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$ASSERTION_CONTENT_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym8$ASSERTION_CONTENT_PRINT_FUNCTION_TRAMPOLINE

$sym9$AS_CONTENT_FORMULA_DATA

public static final SubLSymbol $sym9$AS_CONTENT_FORMULA_DATA

$sym10$_CSETF_AS_CONTENT_FORMULA_DATA

public static final SubLSymbol $sym10$_CSETF_AS_CONTENT_FORMULA_DATA

$sym11$AS_CONTENT_MT

public static final SubLSymbol $sym11$AS_CONTENT_MT

$sym12$_CSETF_AS_CONTENT_MT

public static final SubLSymbol $sym12$_CSETF_AS_CONTENT_MT

$sym13$AS_CONTENT_FLAGS

public static final SubLSymbol $sym13$AS_CONTENT_FLAGS

$sym14$_CSETF_AS_CONTENT_FLAGS

public static final SubLSymbol $sym14$_CSETF_AS_CONTENT_FLAGS

$sym15$AS_CONTENT_ARGUMENTS

public static final SubLSymbol $sym15$AS_CONTENT_ARGUMENTS

$sym16$_CSETF_AS_CONTENT_ARGUMENTS

public static final SubLSymbol $sym16$_CSETF_AS_CONTENT_ARGUMENTS

$sym17$AS_CONTENT_PLIST

public static final SubLSymbol $sym17$AS_CONTENT_PLIST

$sym18$_CSETF_AS_CONTENT_PLIST

public static final SubLSymbol $sym18$_CSETF_AS_CONTENT_PLIST

$kw19$FORMULA_DATA

public static final SubLSymbol $kw19$FORMULA_DATA

$kw20$MT

public static final SubLSymbol $kw20$MT

$kw21$FLAGS

public static final SubLSymbol $kw21$FLAGS

$kw22$ARGUMENTS

public static final SubLSymbol $kw22$ARGUMENTS

$kw23$PLIST

public static final SubLSymbol $kw23$PLIST

$str24$Invalid_slot__S_for_construction_

public static final SubLString $str24$Invalid_slot__S_for_construction_

$kw25$NOT_FOUND

public static final SubLSymbol $kw25$NOT_FOUND

$sym26$ASSERTION_P

public static final SubLSymbol $sym26$ASSERTION_P

$kw27$VARIABLE_NAMES

public static final SubLSymbol $kw27$VARIABLE_NAMES

$kw28$DEPENDENTS

public static final SubLSymbol $kw28$DEPENDENTS

$str29$Unexpected_formula_data_type___S

public static final SubLString $str29$Unexpected_formula_data_type___S

$sym30$_RULE_SET_

public static final SubLSymbol $sym30$_RULE_SET_

$sym31$_PREFER_RULE_SET_OVER_FLAGS__

public static final SubLSymbol $sym31$_PREFER_RULE_SET_OVER_FLAGS__

$int32$60

public static final SubLInteger $int32$60

$sym33$NON_NEGATIVE_INTEGER_P

public static final SubLSymbol $sym33$NON_NEGATIVE_INTEGER_P

$sym34$KB_RULE_SET

public static final SubLSymbol $sym34$KB_RULE_SET

$sym35$DO_RULES

public static final SubLSymbol $sym35$DO_RULES

$str36$mapping_Cyc_assertions

public static final SubLString $str36$mapping_Cyc_assertions

$sym37$STRINGP

public static final SubLSymbol $sym37$STRINGP

$kw38$SKIP

public static final SubLSymbol $kw38$SKIP

$sym39$CNF_P

public static final SubLSymbol $sym39$CNF_P

$str40$Rebuilding_the_Rule_Set

public static final SubLString $str40$Rebuilding_the_Rule_Set

$sym41$LISTP

public static final SubLSymbol $sym41$LISTP

$sym42$NON_DOTTED_LIST_P

public static final SubLSymbol $sym42$NON_DOTTED_LIST_P

$list43

public static final SubLList $list43

$sym44$CDESTRUCTURING_BIND

public static final SubLSymbol $sym44$CDESTRUCTURING_BIND

$sym45$_OPTIONAL

public static final SubLSymbol $sym45$_OPTIONAL

$kw46$ASSERT_INFO

public static final SubLSymbol $kw46$ASSERT_INFO

$list47

public static final SubLList $list47

$sym48$VALID_ARGUMENT

public static final SubLSymbol $sym48$VALID_ARGUMENT

$kw49$IGNORE_ERRORS_TARGET

public static final SubLSymbol $kw49$IGNORE_ERRORS_TARGET

$sym50$IGNORE_ERRORS_HANDLER

public static final SubLSymbol $sym50$IGNORE_ERRORS_HANDLER

$kw51$UNKNOWN

public static final SubLSymbol $kw51$UNKNOWN

$str52$Unexpected_formula_data_hook___S

public static final SubLString $str52$Unexpected_formula_data_hook___S

$sym53$ARGUMENT_P

public static final SubLSymbol $sym53$ARGUMENT_P

$sym54$DEDUCTION_P

public static final SubLSymbol $sym54$DEDUCTION_P

Method Detail

assertion_content_print_function_trampoline

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

assertion_content_p

public static final SubLObject assertion_content_p(SubLObject object)

as_content_formula_data

public static final SubLObject as_content_formula_data(SubLObject object)

as_content_mt

public static final SubLObject as_content_mt(SubLObject object)

as_content_flags

public static final SubLObject as_content_flags(SubLObject object)

as_content_arguments

public static final SubLObject as_content_arguments(SubLObject object)

as_content_plist

public static final SubLObject as_content_plist(SubLObject object)

_csetf_as_content_formula_data

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

_csetf_as_content_mt

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

_csetf_as_content_flags

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

_csetf_as_content_arguments

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

_csetf_as_content_plist

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

make_assertion_content

public static final SubLObject make_assertion_content(SubLObject arglist)

create_assertion_content

public static final SubLObject create_assertion_content(SubLObject mt)

destroy_assertion_content

public static final SubLObject destroy_assertion_content(SubLObject id)

lookup_assertion_formula_data

public static final SubLObject lookup_assertion_formula_data(SubLObject id)

lookup_assertion_mt

public static final SubLObject lookup_assertion_mt(SubLObject id)

lookup_assertion_flags

public static final SubLObject lookup_assertion_flags(SubLObject id)

lookup_assertion_arguments

public static final SubLObject lookup_assertion_arguments(SubLObject id)

lookup_assertion_plist

public static final SubLObject lookup_assertion_plist(SubLObject id)

set_assertion_formula_data

public static final SubLObject set_assertion_formula_data(SubLObject id,
                                                          SubLObject new_formula_data)

set_assertion_flags

public static final SubLObject set_assertion_flags(SubLObject id,
                                                   SubLObject new_flags)

set_assertion_arguments

public static final SubLObject set_assertion_arguments(SubLObject id,
                                                       SubLObject new_arguments)

set_assertion_plist

public static final SubLObject set_assertion_plist(SubLObject id,
                                                   SubLObject new_plist)

load_assertion_content

public static final SubLObject load_assertion_content(SubLObject assertion,
                                                      SubLObject stream)

load_assertion_content_int

public static final SubLObject load_assertion_content_int(SubLObject id,
                                                          SubLObject formula_data,
                                                          SubLObject mt,
                                                          SubLObject flags,
                                                          SubLObject v_arguments,
                                                          SubLObject plist)

assertion_cnf_internal

public static final SubLObject assertion_cnf_internal(SubLObject assertion)

possibly_assertion_cnf_internal

public static final SubLObject possibly_assertion_cnf_internal(SubLObject assertion)

assertion_mt_internal

public static final SubLObject assertion_mt_internal(SubLObject assertion)

assertion_gaf_hl_formula_internal

public static final SubLObject assertion_gaf_hl_formula_internal(SubLObject assertion)

assertion_cons_internal

public static final SubLObject assertion_cons_internal(SubLObject assertion)

assertion_direction_internal

public static final SubLObject assertion_direction_internal(SubLObject assertion)

assertion_truth_internal

public static final SubLObject assertion_truth_internal(SubLObject assertion)

assertion_strength_internal

public static final SubLObject assertion_strength_internal(SubLObject assertion)

assertion_tv

public static final SubLObject assertion_tv(SubLObject assertion)

Return the hl tv of ASSERTION.

assertion_variable_names_internal

public static final SubLObject assertion_variable_names_internal(SubLObject assertion)

Return the list of names for the variables in ASSERTION.

asserted_by_internal

public static final SubLObject asserted_by_internal(SubLObject assertion)

asserted_when_internal

public static final SubLObject asserted_when_internal(SubLObject assertion)

asserted_why_internal

public static final SubLObject asserted_why_internal(SubLObject assertion)

asserted_second_internal

public static final SubLObject asserted_second_internal(SubLObject assertion)

assertion_arguments_internal

public static final SubLObject assertion_arguments_internal(SubLObject assertion)

assertion_dependents_internal

public static final SubLObject assertion_dependents_internal(SubLObject assertion)

assertion_formula_data

public static final SubLObject assertion_formula_data(SubLObject assertion)

Return the HL structure used to implement the formula for ASSERTION. This will either be a clause struc containing a cnf, a cnf, or a gaf formula.

reset_assertion_formula_data

public static final SubLObject reset_assertion_formula_data(SubLObject assertion,
                                                            SubLObject new_formula_data)

Primitively sets the HL structure used to implement the formula for ASSERTION. This should either be a clause struc containing a cnf, a cnf, or a gaf formula.

assertion_hl_cnf

public static final SubLObject assertion_hl_cnf(SubLObject assertion)

Return the HL structure used to implement the CNF clause for ASSERTION. This will either be a clause struc containing a cnf, or a cnf. gaf formulas are expanded into CNFs.

update_assertion_formula_data

public static final SubLObject update_assertion_formula_data(SubLObject assertion,
                                                             SubLObject new_formula_data)

Primitively change the formula data of ASSERTION to NEW-FORMULA-DATA, and update the GAF flag. Assumes that NEW-FORMULA-DATA is either a CNF clause, a gaf formula, a clause-struc, or NIL.

assertion_clause_struc

public static final SubLObject assertion_clause_struc(SubLObject assertion)

If ASSERTION has a clause struc as its HL CNF implementation, return it. Otherwise, return NIL.

reset_assertion_cnf

public static final SubLObject reset_assertion_cnf(SubLObject assertion,
                                                   SubLObject new_cnf)

Primitively change the formula data of ASSERTION to NEW-CNF, and update the GAF flag. Shrinks NEW-CNF to a gaf formula if possible.

Parameters:: NEW-CNF - cnf-p

reset_assertion_gaf_formula

public static final SubLObject reset_assertion_gaf_formula(SubLObject assertion,
                                                           SubLObject new_gaf_formula)

Primitively change the formula data of ASSERTION to NEW-GAF-FORMULA, and set the GAF flag to t. Assumes that NEW-GAF-FORMULA is a valid gaf formula.

annihilate_assertion_formula_data

public static final SubLObject annihilate_assertion_formula_data(SubLObject assertion)

Primitively change the formula data of ASSERTION to nil, and update the GAF flag to t (why not?)

assertion_flags

public static final SubLObject assertion_flags(SubLObject assertion)

Return the bit-flags for ASSERTION

reset_assertion_flags

public static final SubLObject reset_assertion_flags(SubLObject assertion,
                                                     SubLObject new_flags)

set_assertion_flags_gaf_code

public static final SubLObject set_assertion_flags_gaf_code(SubLObject flags,
                                                            SubLObject code)

assertion_flags_direction_code

public static final SubLObject assertion_flags_direction_code(SubLObject flags)

set_assertion_flags_direction_code

public static final SubLObject set_assertion_flags_direction_code(SubLObject flags,
                                                                  SubLObject code)

assertion_flags_tv_code

public static final SubLObject assertion_flags_tv_code(SubLObject flags)

set_assertion_flags_tv_code

public static final SubLObject set_assertion_flags_tv_code(SubLObject flags,
                                                           SubLObject code)

assertion_flags_gaf_p

public static final SubLObject assertion_flags_gaf_p(SubLObject assertion)

Return T iff ASSERTION is a GAF according to its internal flag bits.

set_assertion_flags_gaf_p

public static final SubLObject set_assertion_flags_gaf_p(SubLObject assertion,
                                                         SubLObject gafP)

Primitively set the gaf flag of ASSERTION

setup_rule_set

public static final SubLObject setup_rule_set(SubLObject estimated_assertion_size)

assertion_gaf_p

public static final SubLObject assertion_gaf_p(SubLObject assertion)

set_assertion_gaf_p

public static final SubLObject set_assertion_gaf_p(SubLObject assertion,
                                                   SubLObject gafP)

Primitively set the gaf flag of ASSERTION

determine_cnf_gaf_p

public static final SubLObject determine_cnf_gaf_p(SubLObject cnf)

Parameters:: CNF - cnf-p
Returns:: boolean; the recomputed value for the gaf flag of ASSERTION

load_rule_set_from_stream

public static final SubLObject load_rule_set_from_stream(SubLObject stream)

gaf_formula_to_cnf

public static final SubLObject gaf_formula_to_cnf(SubLObject gaf)

Converts a gaf formula to a CNF clause.

Parameters:: gaf - el-formula-p
Returns:: cnf-p

cnf_to_gaf_formula

public static final SubLObject cnf_to_gaf_formula(SubLObject cnf)

Converts a CNF representation of a gaf formula to a gaf formula.

Parameters:: cnf - cnf-p
Returns:: el-formula-p

kb_set_assertion_direction_internal

public static final SubLObject kb_set_assertion_direction_internal(SubLObject assertion,
                                                                   SubLObject new_direction)

reset_assertion_direction

public static final SubLObject reset_assertion_direction(SubLObject assertion,
                                                         SubLObject new_direction)

Primitively change direction of ASSERTION to NEW-DIRECTION.

reset_assertion_tv

public static final SubLObject reset_assertion_tv(SubLObject assertion,
                                                  SubLObject new_tv)

Primitively change the hl tv of ASSERTION to NEW-TV.

reset_assertion_truth

public static final SubLObject reset_assertion_truth(SubLObject assertion,
                                                     SubLObject new_truth)

reset_assertion_strength

public static final SubLObject reset_assertion_strength(SubLObject assertion,
                                                        SubLObject new_strength)

assertion_plist

public static final SubLObject assertion_plist(SubLObject assertion)

Return the plist for ASSERTION.

reset_assertion_plist

public static final SubLObject reset_assertion_plist(SubLObject assertion,
                                                     SubLObject plist)

Primitively set the plist of ASSERTION to PLIST.

get_assertion_prop

public static final SubLObject get_assertion_prop(SubLObject assertion,
                                                  SubLObject indicator,
                                                  SubLObject v_default)

set_assertion_prop

public static final SubLObject set_assertion_prop(SubLObject assertion,
                                                  SubLObject indicator,
                                                  SubLObject value)

rem_assertion_prop

public static final SubLObject rem_assertion_prop(SubLObject assertion,
                                                  SubLObject indicator)

reset_assertion_variable_names

public static final SubLObject reset_assertion_variable_names(SubLObject assertion,
                                                              SubLObject new_variable_names)

Primitively change the variable names for ASSERTION to NEW-VARIABLE-NAMES.

assertion_index

public static final SubLObject assertion_index(SubLObject assertion)

Return the indexing structure for ASSERTION.

reset_assertion_index

public static final SubLObject reset_assertion_index(SubLObject assertion,
                                                     SubLObject new_index)

Primitively change the indexing structure for ASSERTION to NEW-INDEX.

assertion_assert_info

public static final SubLObject assertion_assert_info(SubLObject assertion)

Return the assert timestamping info for ASSERTION.

reset_assertion_assert_info

public static final SubLObject reset_assertion_assert_info(SubLObject assertion,
                                                           SubLObject new_info)

Primitively change the assert timestamping info for ASSERTION to NEW-INFO.

asserted_assertion_timestampedP

public static final SubLObject asserted_assertion_timestampedP(SubLObject assertion)

make_assert_info

public static final SubLObject make_assert_info(SubLObject who,
                                                SubLObject when,
                                                SubLObject why,
                                                SubLObject second)

assert_info_who

public static final SubLObject assert_info_who(SubLObject assert_info)

assert_info_when

public static final SubLObject assert_info_when(SubLObject assert_info)

assert_info_why

public static final SubLObject assert_info_why(SubLObject assert_info)

assert_info_second

public static final SubLObject assert_info_second(SubLObject assert_info)

set_assertion_asserted_by

public static final SubLObject set_assertion_asserted_by(SubLObject assertion,
                                                         SubLObject assertor)

set_assertion_asserted_when

public static final SubLObject set_assertion_asserted_when(SubLObject assertion,
                                                           SubLObject universal_date)

set_assertion_asserted_why

public static final SubLObject set_assertion_asserted_why(SubLObject assertion,
                                                          SubLObject reason)

set_assertion_asserted_second

public static final SubLObject set_assertion_asserted_second(SubLObject assertion,
                                                             SubLObject universal_second)

valid_assertion_with_contentP

public static final SubLObject valid_assertion_with_contentP(SubLObject assertion)

Does ASSERTION have content?

kb_create_assertion_kb_store

public static final SubLObject kb_create_assertion_kb_store(SubLObject cnf,
                                                            SubLObject mt)

kb_create_assertion_int

public static final SubLObject kb_create_assertion_int(SubLObject assertion,
                                                       SubLObject internal_id,
                                                       SubLObject cnf,
                                                       SubLObject mt)

find_cnf_formula_data_hook

public static final SubLObject find_cnf_formula_data_hook(SubLObject cnf)

find_hl_cnf_hook

public static final SubLObject find_hl_cnf_hook(SubLObject cnf)

find_gaf_formula_hook

public static final SubLObject find_gaf_formula_hook(SubLObject gaf)

connect_assertion

public static final SubLObject connect_assertion(SubLObject assertion,
                                                 SubLObject formula_data_hook)

Connect ASSERTION to FORMULA-DATA-HOOK and all its relevant indexes

connect_assertion_formula_data

public static final SubLObject connect_assertion_formula_data(SubLObject assertion,
                                                              SubLObject formula_data_hook)

kb_remove_assertion_internal

public static final SubLObject kb_remove_assertion_internal(SubLObject assertion)

disconnect_assertion

public static final SubLObject disconnect_assertion(SubLObject assertion)

Disconnect ASSERTION from all its connections.

disconnect_assertion_formula_data

public static final SubLObject disconnect_assertion_formula_data(SubLObject assertion)

add_new_assertion_argument

public static final SubLObject add_new_assertion_argument(SubLObject assertion,
                                                          SubLObject new_argument)

remove_assertion_argument

public static final SubLObject remove_assertion_argument(SubLObject assertion,
                                                         SubLObject argument)

reset_assertion_dependents

public static final SubLObject reset_assertion_dependents(SubLObject assertion,
                                                          SubLObject new_dependents)

Primitively set the dependent arguments of ASSERTION to NEW-DEPENDENTS.

add_assertion_dependent

public static final SubLObject add_assertion_dependent(SubLObject assertion,
                                                       SubLObject argument)

Add ARGUMENT as an argument depending on ASSERTION. Return ASSERTION.

remove_assertion_dependent

public static final SubLObject remove_assertion_dependent(SubLObject assertion,
                                                          SubLObject argument)

Remove ARGUMENT as an argument depending on ASSERTION. Return ASSERTION.

declare_assertions_low_file

public static final SubLObject declare_assertions_low_file()

init_assertions_low_file

public static final SubLObject init_assertions_low_file()

setup_assertions_low_file

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

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl Class assertions_low

me

myName

$dtp_assertion_content$

$sym0$ASSERTION_CONTENT

$sym1$ASSERTION_CONTENT_P

$int2$148

$list3

$list4

$list5

$list6

$sym7$DEFAULT_STRUCT_PRINT_FUNCTION

$sym8$ASSERTION_CONTENT_PRINT_FUNCTION_TRAMPOLINE

$sym9$AS_CONTENT_FORMULA_DATA

$sym10$_CSETF_AS_CONTENT_FORMULA_DATA

$sym11$AS_CONTENT_MT

$sym12$_CSETF_AS_CONTENT_MT

$sym13$AS_CONTENT_FLAGS

$sym14$_CSETF_AS_CONTENT_FLAGS

$sym15$AS_CONTENT_ARGUMENTS

$sym16$_CSETF_AS_CONTENT_ARGUMENTS

$sym17$AS_CONTENT_PLIST

$sym18$_CSETF_AS_CONTENT_PLIST

$kw19$FORMULA_DATA

$kw20$MT

$kw21$FLAGS

$kw22$ARGUMENTS

$kw23$PLIST

$str24$Invalid_slot__S_for_construction_

$kw25$NOT_FOUND

$sym26$ASSERTION_P

$kw27$VARIABLE_NAMES

$kw28$DEPENDENTS

$str29$Unexpected_formula_data_type___S

$sym30$_RULE_SET_

$sym31$_PREFER_RULE_SET_OVER_FLAGS__

$int32$60

$sym33$NON_NEGATIVE_INTEGER_P

$sym34$KB_RULE_SET

$sym35$DO_RULES

$str36$mapping_Cyc_assertions

$sym37$STRINGP

$kw38$SKIP

$sym39$CNF_P

$str40$Rebuilding_the_Rule_Set

$sym41$LISTP

$sym42$NON_DOTTED_LIST_P

$list43

$sym44$CDESTRUCTURING_BIND

$sym45$_OPTIONAL

$kw46$ASSERT_INFO

$list47

$sym48$VALID_ARGUMENT

$kw49$IGNORE_ERRORS_TARGET

$sym50$IGNORE_ERRORS_HANDLER

$kw51$UNKNOWN

$str52$Unexpected_formula_data_hook___S

$sym53$ARGUMENT_P

$sym54$DEDUCTION_P

assertion_content_print_function_trampoline

assertion_content_p

as_content_formula_data

as_content_mt

as_content_flags

as_content_arguments

as_content_plist

_csetf_as_content_formula_data

_csetf_as_content_mt

_csetf_as_content_flags

_csetf_as_content_arguments

_csetf_as_content_plist

make_assertion_content

create_assertion_content

destroy_assertion_content

lookup_assertion_formula_data

lookup_assertion_mt

lookup_assertion_flags

lookup_assertion_arguments

lookup_assertion_plist

set_assertion_formula_data

com.cyc.cycjava.cycl
Class assertions_low