com.cyc.cycjava.cycl.sbhl
Class sbhl_module_declarations

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class sbhl_module_declarations
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const0$genls
static SubLObject	$const11$disjointWith
static SubLObject	$const19$Thing
static SubLObject	$const21$Multigraph
static SubLObject	$const25$isa
static SubLObject	$const28$quotedIsa
static SubLObject	$const3$DirectedMultigraph
static SubLObject	$const30$genlMt
static SubLObject	$const33$negationMt
static SubLObject	$const34$genlPreds
static SubLObject	$const36$negationPreds
static SubLObject	$const38$genlInverse
static SubLObject	$const49$negationInverse
static SubLSymbol	$kw1$LINK_PRED
static SubLSymbol	$kw10$DISJOINS_MODULE
static SubLSymbol	$kw12$PATH_TERMINATING_MARK__FN
static SubLSymbol	$kw14$MARKING_FN
static SubLSymbol	$kw16$UNMARKING_FN
static SubLSymbol	$kw18$ROOT
static SubLSymbol	$kw2$LINK_STYLE
static SubLSymbol	$kw20$INDEX_ARG
static SubLSymbol	$kw22$DISJOINS
static SubLSymbol	$kw23$TRANSFERS_THROUGH_MODULE
static SubLSymbol	$kw24$TRANSFERS_VIA_ARG
static SubLSymbol	$kw27$TRANSFERS_THROUGH
static SubLSymbol	$kw37$MODULE_INVERTS_ARGUMENTS
static SubLSymbol	$kw4$NAUT_FORWARD_TRUE_GENERATORS
static SubLSymbol	$kw42$PREDICATE_SEARCH_P
static SubLSymbol	$kw43$ADD_NODE_TO_RESULT_TEST
static SubLSymbol	$kw45$ACCESSIBLE_LINK_PREDS
static SubLSymbol	$kw47$SIMPLE_NON_REFLEXIVE
static SubLSymbol	$kw48$INVERTS_ARGUMENTS_OF_MODULE
static SubLSymbol	$kw55$SBHL_GRAPH
static SubLSymbol	$kw56$GRAPH
static SubLSymbol	$kw6$MODULE_TYPE
static SubLSymbol	$kw7$SIMPLE_REFLEXIVE
static SubLSymbol	$kw8$TYPE_TEST
static SubLList	$list26
static SubLList	$list29
static SubLList	$list31
static SubLList	$list46
static SubLList	$list5
static SubLList	$list51
static SubLList	$list52
static SubLList	$list53
static SubLString	$str57$sbhl_module__A__graph__A__tt_modu
static SubLString	$str58$missing
static SubLSymbol	$sym13$SBHL_MARKED_P
static SubLSymbol	$sym15$SET_SBHL_MARKING_STATE_TO_MARKED
static SubLSymbol	$sym17$SET_SBHL_MARKING_STATE_TO_UNMARKED
static SubLSymbol	$sym32$MICROTHEORY_P
static SubLSymbol	$sym35$PREDICATE_P
static SubLSymbol	$sym39$SBHL_PREDICATE_PATH_TERMINATION_P
static SubLSymbol	$sym40$SBHL_PREDICATE_MARKING_FN
static SubLSymbol	$sym41$SBHL_PREDICATE_UNMARKING_FN
static SubLSymbol	$sym44$NOT_GENL_INVERSE_MODE_P
static SubLSymbol	$sym50$GENL_INVERSE_MODE_P
static SubLSymbol	$sym54$_SBHL_MODULES_INITIALIZED__
static SubLSymbol	$sym9$COLLECTION_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	declare_sbhl_module_declarations_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_sbhl_module_declarations_file()
static SubLObject	initialize_disjoint_with_module()
static SubLObject	initialize_genl_inverse_module()
static SubLObject	initialize_genl_mt_module()
static SubLObject	initialize_genl_preds_module()
static SubLObject	initialize_genls_module()
static SubLObject	initialize_isa_module()
static SubLObject	initialize_negation_inverse_module()
static SubLObject	initialize_negation_mt_module()
static SubLObject	initialize_negation_preds_module()
static SubLObject	initialize_quoted_isa_module()
static SubLObject	initialize_sbhl_modules(SubLObject forceP)
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	note_sbhl_modules_initialized()
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	sbhl_modules_initializedP()
static SubLObject	setup_sbhl_module_declarations_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

$const0$genls

public static final SubLObject $const0$genls

$kw1$LINK_PRED

public static final SubLSymbol $kw1$LINK_PRED

$kw2$LINK_STYLE

public static final SubLSymbol $kw2$LINK_STYLE

$const3$DirectedMultigraph

public static final SubLObject $const3$DirectedMultigraph

$kw4$NAUT_FORWARD_TRUE_GENERATORS

public static final SubLSymbol $kw4$NAUT_FORWARD_TRUE_GENERATORS

$list5

public static final SubLList $list5

$kw6$MODULE_TYPE

public static final SubLSymbol $kw6$MODULE_TYPE

$kw7$SIMPLE_REFLEXIVE

public static final SubLSymbol $kw7$SIMPLE_REFLEXIVE

$kw8$TYPE_TEST

public static final SubLSymbol $kw8$TYPE_TEST

$sym9$COLLECTION_P

public static final SubLSymbol $sym9$COLLECTION_P

$kw10$DISJOINS_MODULE

public static final SubLSymbol $kw10$DISJOINS_MODULE

$const11$disjointWith

public static final SubLObject $const11$disjointWith

$kw12$PATH_TERMINATING_MARK__FN

public static final SubLSymbol $kw12$PATH_TERMINATING_MARK__FN

$sym13$SBHL_MARKED_P

public static final SubLSymbol $sym13$SBHL_MARKED_P

$kw14$MARKING_FN

public static final SubLSymbol $kw14$MARKING_FN

$sym15$SET_SBHL_MARKING_STATE_TO_MARKED

public static final SubLSymbol $sym15$SET_SBHL_MARKING_STATE_TO_MARKED

$kw16$UNMARKING_FN

public static final SubLSymbol $kw16$UNMARKING_FN

$sym17$SET_SBHL_MARKING_STATE_TO_UNMARKED

public static final SubLSymbol $sym17$SET_SBHL_MARKING_STATE_TO_UNMARKED

$kw18$ROOT

public static final SubLSymbol $kw18$ROOT

$const19$Thing

public static final SubLObject $const19$Thing

$kw20$INDEX_ARG

public static final SubLSymbol $kw20$INDEX_ARG

$const21$Multigraph

public static final SubLObject $const21$Multigraph

$kw22$DISJOINS

public static final SubLSymbol $kw22$DISJOINS

$kw23$TRANSFERS_THROUGH_MODULE

public static final SubLSymbol $kw23$TRANSFERS_THROUGH_MODULE

$kw24$TRANSFERS_VIA_ARG

public static final SubLSymbol $kw24$TRANSFERS_VIA_ARG

$const25$isa

public static final SubLObject $const25$isa

$list26

public static final SubLList $list26

$kw27$TRANSFERS_THROUGH

public static final SubLSymbol $kw27$TRANSFERS_THROUGH

$const28$quotedIsa

public static final SubLObject $const28$quotedIsa

$list29

public static final SubLList $list29

$const30$genlMt

public static final SubLObject $const30$genlMt

$list31

public static final SubLList $list31

$sym32$MICROTHEORY_P

public static final SubLSymbol $sym32$MICROTHEORY_P

$const33$negationMt

public static final SubLObject $const33$negationMt

$const34$genlPreds

public static final SubLObject $const34$genlPreds

$sym35$PREDICATE_P

public static final SubLSymbol $sym35$PREDICATE_P

$const36$negationPreds

public static final SubLObject $const36$negationPreds

$kw37$MODULE_INVERTS_ARGUMENTS

public static final SubLSymbol $kw37$MODULE_INVERTS_ARGUMENTS

$const38$genlInverse

public static final SubLObject $const38$genlInverse

$sym39$SBHL_PREDICATE_PATH_TERMINATION_P

public static final SubLSymbol $sym39$SBHL_PREDICATE_PATH_TERMINATION_P

$sym40$SBHL_PREDICATE_MARKING_FN

public static final SubLSymbol $sym40$SBHL_PREDICATE_MARKING_FN

$sym41$SBHL_PREDICATE_UNMARKING_FN

public static final SubLSymbol $sym41$SBHL_PREDICATE_UNMARKING_FN

$kw42$PREDICATE_SEARCH_P

public static final SubLSymbol $kw42$PREDICATE_SEARCH_P

$kw43$ADD_NODE_TO_RESULT_TEST

public static final SubLSymbol $kw43$ADD_NODE_TO_RESULT_TEST

$sym44$NOT_GENL_INVERSE_MODE_P

public static final SubLSymbol $sym44$NOT_GENL_INVERSE_MODE_P

$kw45$ACCESSIBLE_LINK_PREDS

public static final SubLSymbol $kw45$ACCESSIBLE_LINK_PREDS

$list46

public static final SubLList $list46

$kw47$SIMPLE_NON_REFLEXIVE

public static final SubLSymbol $kw47$SIMPLE_NON_REFLEXIVE

$kw48$INVERTS_ARGUMENTS_OF_MODULE

public static final SubLSymbol $kw48$INVERTS_ARGUMENTS_OF_MODULE

$const49$negationInverse

public static final SubLObject $const49$negationInverse

$sym50$GENL_INVERSE_MODE_P

public static final SubLSymbol $sym50$GENL_INVERSE_MODE_P

$list51

public static final SubLList $list51

$list52

public static final SubLList $list52

$list53

public static final SubLList $list53

$sym54$_SBHL_MODULES_INITIALIZED__

public static final SubLSymbol $sym54$_SBHL_MODULES_INITIALIZED__

$kw55$SBHL_GRAPH

public static final SubLSymbol $kw55$SBHL_GRAPH

$kw56$GRAPH

public static final SubLSymbol $kw56$GRAPH

$str57$sbhl_module__A__graph__A__tt_modu

public static final SubLString $str57$sbhl_module__A__graph__A__tt_modu

$str58$missing

public static final SubLString $str58$missing

Method Detail

initialize_genls_module

public static final SubLObject initialize_genls_module()

initialize_disjoint_with_module

public static final SubLObject initialize_disjoint_with_module()

initialize_isa_module

public static final SubLObject initialize_isa_module()

initialize_quoted_isa_module

public static final SubLObject initialize_quoted_isa_module()

initialize_genl_mt_module

public static final SubLObject initialize_genl_mt_module()

initialize_negation_mt_module

public static final SubLObject initialize_negation_mt_module()

initialize_genl_preds_module

public static final SubLObject initialize_genl_preds_module()

initialize_genl_inverse_module

public static final SubLObject initialize_genl_inverse_module()

initialize_negation_preds_module

public static final SubLObject initialize_negation_preds_module()

initialize_negation_inverse_module

public static final SubLObject initialize_negation_inverse_module()

sbhl_modules_initializedP

public static final SubLObject sbhl_modules_initializedP()

note_sbhl_modules_initialized

public static final SubLObject note_sbhl_modules_initialized()

initialize_sbhl_modules

public static final SubLObject initialize_sbhl_modules(SubLObject forceP)

declare_sbhl_module_declarations_file

public static final SubLObject declare_sbhl_module_declarations_file()

init_sbhl_module_declarations_file

public static final SubLObject init_sbhl_module_declarations_file()

setup_sbhl_module_declarations_file

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