com.cyc.cycjava.cycl
Class kb_gp_mapping

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class kb_gp_mapping
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const26$EverythingPSC
static SubLSymbol	$kw2$ALLOW_OTHER_KEYS
static SubLSymbol	$kw21$MAPPING_DONE
static SubLSymbol	$kw23$GAF
static SubLSymbol	$kw3$INDEX
static SubLSymbol	$kw4$DONE
static SubLSymbol	$kw51$PREDICATE
static SubLSymbol	$kw8$TRUTH
static SubLSymbol	$kw9$TRUE
static SubLList	$list0
static SubLList	$list1
static SubLList	$list15
static SubLList	$list17
static SubLList	$list35
static SubLList	$list39
static SubLList	$list40
static SubLList	$list46
static SubLList	$list49
static SubLSymbol	$mapping_arg_swap$
static SubLSymbol	$sym10$PWHEN
static SubLSymbol	$sym11$DGAIGP_BINARY_
static SubLSymbol	$sym12$WITH_ALL_SPEC_INVERSES
static SubLSymbol	$sym13$BINARY_ARG_SWAP
static SubLSymbol	$sym14$CLET
static SubLSymbol	$sym16$DO_GAF_ARG_INDEX_GP
static SubLSymbol	$sym18$ASSERTION
static SubLSymbol	$sym19$DGAIVGP_ARG
static SubLSymbol	$sym20$DO_GAF_ARG_INDEX_VALUES_GP
static SubLSymbol	$sym22$RELEVANT_PRED_IS_SPEC_PRED
static SubLSymbol	$sym24$RELEVANT_PRED_IS_SPEC_INVERSE
static SubLSymbol	$sym25$RELEVANT_MT_IS_EVERYTHING
static SubLSymbol	$sym27$RELEVANT_MT_IS_EQ
static SubLSymbol	$sym28$INDEXED_TERM_P
static SubLSymbol	$sym29$FORT_P
static SubLSymbol	$sym30$INTEGERP
static SubLSymbol	$sym31$HLMT_P
static SubLSymbol	$sym32$RELEVANT_MT_IS_GENL_MT
static SubLSymbol	$sym33$LISTP
static SubLSymbol	$sym34$RELEVANT_MT_IS_IN_LIST
static SubLSymbol	$sym36$CDOLIST
static SubLSymbol	$sym37$ALL_SPEC_PREDS
static SubLSymbol	$sym38$ALL_SPEC_INVERSES
static SubLSymbol	$sym41$SPEC_PRED
static SubLSymbol	$sym42$DO_ALL_SPEC_PREDICATES2
static SubLSymbol	$sym43$DO_PREDICATE_EXTENT_INDEX
static SubLSymbol	$sym44$BINARY_
static SubLSymbol	$sym45$DO_ALL_SPEC_INVERSES2
static SubLSymbol	$sym47$SPEC_PRED
static SubLSymbol	$sym48$WITH_ALL_MTS
static SubLSymbol	$sym5$PROGN
static SubLSymbol	$sym50$SPEC_PRED
static SubLSymbol	$sym52$DO_ARG_INDEX_WITH_SPEC_PREDS
static SubLSymbol	$sym6$WITH_ALL_SPEC_PREDICATES
static SubLSymbol	$sym7$DO_GAF_ARG_INDEX
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_kb_gp_mapping_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	dgaigp_binaryP(SubLObject predicate)
static SubLObject	gp_map_arg_index(SubLObject function, SubLObject v_term, SubLObject arg, SubLObject predicate) Like MAP-ARG-INDEX, except all spec-predicates of PREDICATE are relevant, and :true is assumed for TRUTH.
static SubLObject	init_kb_gp_mapping_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	num_spec_pred_index(SubLObject pred, SubLObject mt) only use this where PRED is a predicate.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_kb_gp_mapping_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

$mapping_arg_swap$

public static SubLSymbol $mapping_arg_swap$

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

public static final SubLSymbol $kw3$INDEX

$kw4$DONE

public static final SubLSymbol $kw4$DONE

$sym5$PROGN

public static final SubLSymbol $sym5$PROGN

$sym6$WITH_ALL_SPEC_PREDICATES

public static final SubLSymbol $sym6$WITH_ALL_SPEC_PREDICATES

$sym7$DO_GAF_ARG_INDEX

public static final SubLSymbol $sym7$DO_GAF_ARG_INDEX

$kw8$TRUTH

public static final SubLSymbol $kw8$TRUTH

$kw9$TRUE

public static final SubLSymbol $kw9$TRUE

$sym10$PWHEN

public static final SubLSymbol $sym10$PWHEN

$sym11$DGAIGP_BINARY_

public static final SubLSymbol $sym11$DGAIGP_BINARY_

$sym12$WITH_ALL_SPEC_INVERSES

public static final SubLSymbol $sym12$WITH_ALL_SPEC_INVERSES

$sym13$BINARY_ARG_SWAP

public static final SubLSymbol $sym13$BINARY_ARG_SWAP

$sym14$CLET

public static final SubLSymbol $sym14$CLET

$list15

public static final SubLList $list15

$sym16$DO_GAF_ARG_INDEX_GP

public static final SubLSymbol $sym16$DO_GAF_ARG_INDEX_GP

$list17

public static final SubLList $list17

$sym18$ASSERTION

public static final SubLSymbol $sym18$ASSERTION

$sym19$DGAIVGP_ARG

public static final SubLSymbol $sym19$DGAIVGP_ARG

$sym20$DO_GAF_ARG_INDEX_VALUES_GP

public static final SubLSymbol $sym20$DO_GAF_ARG_INDEX_VALUES_GP

$kw21$MAPPING_DONE

public static final SubLSymbol $kw21$MAPPING_DONE

$sym22$RELEVANT_PRED_IS_SPEC_PRED

public static final SubLSymbol $sym22$RELEVANT_PRED_IS_SPEC_PRED

$kw23$GAF

public static final SubLSymbol $kw23$GAF

$sym24$RELEVANT_PRED_IS_SPEC_INVERSE

public static final SubLSymbol $sym24$RELEVANT_PRED_IS_SPEC_INVERSE

$sym25$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym25$RELEVANT_MT_IS_EVERYTHING

$const26$EverythingPSC

public static final SubLObject $const26$EverythingPSC

$sym27$RELEVANT_MT_IS_EQ

public static final SubLSymbol $sym27$RELEVANT_MT_IS_EQ

$sym28$INDEXED_TERM_P

public static final SubLSymbol $sym28$INDEXED_TERM_P

$sym29$FORT_P

public static final SubLSymbol $sym29$FORT_P

$sym30$INTEGERP

public static final SubLSymbol $sym30$INTEGERP

$sym31$HLMT_P

public static final SubLSymbol $sym31$HLMT_P

$sym32$RELEVANT_MT_IS_GENL_MT

public static final SubLSymbol $sym32$RELEVANT_MT_IS_GENL_MT

$sym33$LISTP

public static final SubLSymbol $sym33$LISTP

$sym34$RELEVANT_MT_IS_IN_LIST

public static final SubLSymbol $sym34$RELEVANT_MT_IS_IN_LIST

$list35

public static final SubLList $list35

$sym36$CDOLIST

public static final SubLSymbol $sym36$CDOLIST

$sym37$ALL_SPEC_PREDS

public static final SubLSymbol $sym37$ALL_SPEC_PREDS

$sym38$ALL_SPEC_INVERSES

public static final SubLSymbol $sym38$ALL_SPEC_INVERSES

$list39

public static final SubLList $list39

$list40

public static final SubLList $list40

$sym41$SPEC_PRED

public static final SubLSymbol $sym41$SPEC_PRED

$sym42$DO_ALL_SPEC_PREDICATES2

public static final SubLSymbol $sym42$DO_ALL_SPEC_PREDICATES2

$sym43$DO_PREDICATE_EXTENT_INDEX

public static final SubLSymbol $sym43$DO_PREDICATE_EXTENT_INDEX

$sym44$BINARY_

public static final SubLSymbol $sym44$BINARY_

$sym45$DO_ALL_SPEC_INVERSES2

public static final SubLSymbol $sym45$DO_ALL_SPEC_INVERSES2

$list46

public static final SubLList $list46

$sym47$SPEC_PRED

public static final SubLSymbol $sym47$SPEC_PRED

$sym48$WITH_ALL_MTS

public static final SubLSymbol $sym48$WITH_ALL_MTS

$list49

public static final SubLList $list49

$sym50$SPEC_PRED

public static final SubLSymbol $sym50$SPEC_PRED

$kw51$PREDICATE

public static final SubLSymbol $kw51$PREDICATE

$sym52$DO_ARG_INDEX_WITH_SPEC_PREDS

public static final SubLSymbol $sym52$DO_ARG_INDEX_WITH_SPEC_PREDS

Method Detail

dgaigp_binaryP

public static final SubLObject dgaigp_binaryP(SubLObject predicate)

gp_map_arg_index

public static final SubLObject gp_map_arg_index(SubLObject function,
                                                SubLObject v_term,
                                                SubLObject arg,
                                                SubLObject predicate)

Like MAP-ARG-INDEX, except all spec-predicates of PREDICATE are relevant, and :true is assumed for TRUTH.

num_spec_pred_index

public static final SubLObject num_spec_pred_index(SubLObject pred,
                                                   SubLObject mt)

only use this where PRED is a predicate.

declare_kb_gp_mapping_file

public static final SubLObject declare_kb_gp_mapping_file()

init_kb_gp_mapping_file

public static final SubLObject init_kb_gp_mapping_file()

setup_kb_gp_mapping_file

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