com.cyc.cycjava.cycl
Class pred_relevance_macros

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class pred_relevance_macros
extends SubLTranslatedFile

Nested Class Summary

static class	pred_relevance_macros.$pred_info_object_native
static class	pred_relevance_macros.$pred_info_object_p$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$dtp_pred_info_object$
static SubLSymbol	$kw46$POS
static SubLSymbol	$kw60$PRED
static SubLSymbol	$kw61$RELEVANCE_FUNCTION
static SubLSymbol	$kw65$_MEMOIZED_ITEM_NOT_FOUND_
static SubLList	$list13
static SubLList	$list17
static SubLList	$list18
static SubLList	$list19
static SubLList	$list21
static SubLList	$list22
static SubLList	$list24
static SubLList	$list25
static SubLList	$list26
static SubLList	$list27
static SubLList	$list28
static SubLList	$list40
static SubLList	$list50
static SubLList	$list51
static SubLList	$list52
static SubLList	$list53
static SubLSymbol	$pred$
static SubLSymbol	$relevant_pred_function$
static SubLSymbol	$relevant_preds$
static SubLString	$str62$Invalid_slot__S_for_construction_
static SubLString	$str63$__PRED_INFO__s__s_
static SubLSymbol	$sym0$RELEVANT_PRED_IS_EVERYTHING
static SubLSymbol	$sym1$RELEVANT_PRED_IS_EQ
static SubLSymbol	$sym10$INFERENCE_GENL_PREDICATE_
static SubLSymbol	$sym11$INFERENCE_GENL_INVERSE_
static SubLSymbol	$sym12$INFERENCE_NEGATION_PREDICATE_
static SubLSymbol	$sym14$CLET
static SubLSymbol	$sym15$_RELEVANT_PRED_FUNCTION_
static SubLSymbol	$sym16$WITH_PREDICATE_FUNCTION
static SubLSymbol	$sym2$RELEVANT_PRED_IS_IN_LIST
static SubLSymbol	$sym20$_PRED_
static SubLSymbol	$sym23$_RELEVANT_PREDS_
static SubLSymbol	$sym29$PCASE
static SubLSymbol	$sym3$RELEVANT_PRED_IS_NOT_IN_LIST
static SubLSymbol	$sym30$WITH_JUST_PREDICATE
static SubLSymbol	$sym31$WITH_ALL_SPEC_PREDICATES
static SubLSymbol	$sym32$WITH_ALL_SPEC_INVERSES
static SubLSymbol	$sym33$WITH_ALL_SPEC_PREDICATES_AND_INVERSES
static SubLSymbol	$sym34$PROGN
static SubLSymbol	$sym35$PREDICATE_VAR
static SubLSymbol	$sym36$POSSIBLY_WITH_JUST_PREDICATE_DETERMINE_FUNCTION
static SubLSymbol	$sym37$POSSIBLY_WITH_JUST_PREDICATE_DETERMINE_PREDICATE
static SubLSymbol	$sym38$POSSIBLY_WITH_JUST_PREDICATE
static SubLSymbol	$sym39$FORT_P
static SubLSymbol	$sym4$RELEVANT_PRED_IS_SPEC_PRED
static SubLSymbol	$sym41$DETERMINE_INFERENCE_GENL_OR_SPEC_PRED_RELEVANCE
static SubLSymbol	$sym42$_INFERENCE_LITERAL_
static SubLSymbol	$sym43$_INFERENCE_SENSE_
static SubLSymbol	$sym44$DETERMINE_INFERENCE_GENL_OR_SPEC_INVERSE_RELEVANCE
static SubLSymbol	$sym45$WITH_INFERENCE_GENL_OR_SPEC_PRED_RELEVANCE
static SubLSymbol	$sym47$WITH_INFERENCE_GENL_OR_SPEC_INVERSE_RELEVANCE
static SubLSymbol	$sym48$PRED_INFO_OBJECT
static SubLSymbol	$sym49$PRED_INFO_OBJECT_P
static SubLSymbol	$sym5$RELEVANT_PRED_IS_SPEC_INVERSE
static SubLSymbol	$sym54$PRINT_PRED_INFO_OBJECT
static SubLSymbol	$sym55$PRED_INFO_OBJECT_PRINT_FUNCTION_TRAMPOLINE
static SubLSymbol	$sym56$PRED_INFO_PRED
static SubLSymbol	$sym57$_CSETF_PRED_INFO_PRED
static SubLSymbol	$sym58$PRED_INFO_RELEVANCE_FUNCTION
static SubLSymbol	$sym59$_CSETF_PRED_INFO_RELEVANCE_FUNCTION
static SubLSymbol	$sym6$RELEVANT_PRED_IS_SPEC_PRED_OR_INVERSE
static SubLSymbol	$sym64$PRED_INFO
static SubLSymbol	$sym7$RELEVANT_PRED_WRT_GT_
static SubLSymbol	$sym8$INFERENCE_GENL_PREDICATE_OF_
static SubLSymbol	$sym9$INFERENCE_GENL_INVERSE_OF_
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	all_preds_are_relevantP()
static SubLObject	declare_pred_relevance_macros_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	determine_inference_genl_or_spec_inverse_relevance(SubLObject sense)
static SubLObject	determine_inference_genl_or_spec_pred_relevance(SubLObject sense)
static SubLObject	inference_genl_inverse_ofP(SubLObject pred)
static SubLObject	inference_genl_predicate_ofP(SubLObject pred)
static SubLObject	init_pred_relevance_macros_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	pred_info_object_print_function_trampoline(SubLObject object, SubLObject stream)
static SubLObject	pred_relevance_undefined_p()
static SubLObject	relevant_pred_is_eq(SubLObject pred)
static SubLObject	relevant_pred_is_spec_inverse(SubLObject pred)
static SubLObject	relevant_pred_is_spec_pred(SubLObject pred)
static SubLObject	relevant_predP(SubLObject pred) return T iff PRED is a relevant predicate at this point
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_pred_relevance_macros_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

$pred$

public static SubLSymbol $pred$

$relevant_preds$

public static SubLSymbol $relevant_preds$

$relevant_pred_function$

public static SubLSymbol $relevant_pred_function$

$dtp_pred_info_object$

public static SubLSymbol $dtp_pred_info_object$

$sym0$RELEVANT_PRED_IS_EVERYTHING

public static final SubLSymbol $sym0$RELEVANT_PRED_IS_EVERYTHING

$sym1$RELEVANT_PRED_IS_EQ

public static final SubLSymbol $sym1$RELEVANT_PRED_IS_EQ

$sym2$RELEVANT_PRED_IS_IN_LIST

public static final SubLSymbol $sym2$RELEVANT_PRED_IS_IN_LIST

$sym3$RELEVANT_PRED_IS_NOT_IN_LIST

public static final SubLSymbol $sym3$RELEVANT_PRED_IS_NOT_IN_LIST

$sym4$RELEVANT_PRED_IS_SPEC_PRED

public static final SubLSymbol $sym4$RELEVANT_PRED_IS_SPEC_PRED

$sym5$RELEVANT_PRED_IS_SPEC_INVERSE

public static final SubLSymbol $sym5$RELEVANT_PRED_IS_SPEC_INVERSE

$sym6$RELEVANT_PRED_IS_SPEC_PRED_OR_INVERSE

public static final SubLSymbol $sym6$RELEVANT_PRED_IS_SPEC_PRED_OR_INVERSE

$sym7$RELEVANT_PRED_WRT_GT_

public static final SubLSymbol $sym7$RELEVANT_PRED_WRT_GT_

$sym8$INFERENCE_GENL_PREDICATE_OF_

public static final SubLSymbol $sym8$INFERENCE_GENL_PREDICATE_OF_

$sym9$INFERENCE_GENL_INVERSE_OF_

public static final SubLSymbol $sym9$INFERENCE_GENL_INVERSE_OF_

$sym10$INFERENCE_GENL_PREDICATE_

public static final SubLSymbol $sym10$INFERENCE_GENL_PREDICATE_

$sym11$INFERENCE_GENL_INVERSE_

public static final SubLSymbol $sym11$INFERENCE_GENL_INVERSE_

$sym12$INFERENCE_NEGATION_PREDICATE_

public static final SubLSymbol $sym12$INFERENCE_NEGATION_PREDICATE_

$list13

public static final SubLList $list13

$sym14$CLET

public static final SubLSymbol $sym14$CLET

$sym15$_RELEVANT_PRED_FUNCTION_

public static final SubLSymbol $sym15$_RELEVANT_PRED_FUNCTION_

$sym16$WITH_PREDICATE_FUNCTION

public static final SubLSymbol $sym16$WITH_PREDICATE_FUNCTION

$list17

public static final SubLList $list17

$list18

public static final SubLList $list18

$list19

public static final SubLList $list19

$sym20$_PRED_

public static final SubLSymbol $sym20$_PRED_

$list21

public static final SubLList $list21

$list22

public static final SubLList $list22

$sym23$_RELEVANT_PREDS_

public static final SubLSymbol $sym23$_RELEVANT_PREDS_

$list24

public static final SubLList $list24

$list25

public static final SubLList $list25

$list26

public static final SubLList $list26

$list27

public static final SubLList $list27

$list28

public static final SubLList $list28

$sym29$PCASE

public static final SubLSymbol $sym29$PCASE

$sym30$WITH_JUST_PREDICATE

public static final SubLSymbol $sym30$WITH_JUST_PREDICATE

$sym31$WITH_ALL_SPEC_PREDICATES

public static final SubLSymbol $sym31$WITH_ALL_SPEC_PREDICATES

$sym32$WITH_ALL_SPEC_INVERSES

public static final SubLSymbol $sym32$WITH_ALL_SPEC_INVERSES

$sym33$WITH_ALL_SPEC_PREDICATES_AND_INVERSES

public static final SubLSymbol $sym33$WITH_ALL_SPEC_PREDICATES_AND_INVERSES

$sym34$PROGN

public static final SubLSymbol $sym34$PROGN

$sym35$PREDICATE_VAR

public static final SubLSymbol $sym35$PREDICATE_VAR

$sym36$POSSIBLY_WITH_JUST_PREDICATE_DETERMINE_FUNCTION

public static final SubLSymbol $sym36$POSSIBLY_WITH_JUST_PREDICATE_DETERMINE_FUNCTION

$sym37$POSSIBLY_WITH_JUST_PREDICATE_DETERMINE_PREDICATE

public static final SubLSymbol $sym37$POSSIBLY_WITH_JUST_PREDICATE_DETERMINE_PREDICATE

$sym38$POSSIBLY_WITH_JUST_PREDICATE

public static final SubLSymbol $sym38$POSSIBLY_WITH_JUST_PREDICATE

$sym39$FORT_P

public static final SubLSymbol $sym39$FORT_P

$list40

public static final SubLList $list40

$sym41$DETERMINE_INFERENCE_GENL_OR_SPEC_PRED_RELEVANCE

public static final SubLSymbol $sym41$DETERMINE_INFERENCE_GENL_OR_SPEC_PRED_RELEVANCE

$sym42$_INFERENCE_LITERAL_

public static final SubLSymbol $sym42$_INFERENCE_LITERAL_

$sym43$_INFERENCE_SENSE_

public static final SubLSymbol $sym43$_INFERENCE_SENSE_

$sym44$DETERMINE_INFERENCE_GENL_OR_SPEC_INVERSE_RELEVANCE

public static final SubLSymbol $sym44$DETERMINE_INFERENCE_GENL_OR_SPEC_INVERSE_RELEVANCE

$sym45$WITH_INFERENCE_GENL_OR_SPEC_PRED_RELEVANCE

public static final SubLSymbol $sym45$WITH_INFERENCE_GENL_OR_SPEC_PRED_RELEVANCE

$kw46$POS

public static final SubLSymbol $kw46$POS

$sym47$WITH_INFERENCE_GENL_OR_SPEC_INVERSE_RELEVANCE

public static final SubLSymbol $sym47$WITH_INFERENCE_GENL_OR_SPEC_INVERSE_RELEVANCE

$sym48$PRED_INFO_OBJECT

public static final SubLSymbol $sym48$PRED_INFO_OBJECT

$sym49$PRED_INFO_OBJECT_P

public static final SubLSymbol $sym49$PRED_INFO_OBJECT_P

$list50

public static final SubLList $list50

$list51

public static final SubLList $list51

$list52

public static final SubLList $list52

$list53

public static final SubLList $list53

$sym54$PRINT_PRED_INFO_OBJECT

public static final SubLSymbol $sym54$PRINT_PRED_INFO_OBJECT

$sym55$PRED_INFO_OBJECT_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym55$PRED_INFO_OBJECT_PRINT_FUNCTION_TRAMPOLINE

$sym56$PRED_INFO_PRED

public static final SubLSymbol $sym56$PRED_INFO_PRED

$sym57$_CSETF_PRED_INFO_PRED

public static final SubLSymbol $sym57$_CSETF_PRED_INFO_PRED

$sym58$PRED_INFO_RELEVANCE_FUNCTION

public static final SubLSymbol $sym58$PRED_INFO_RELEVANCE_FUNCTION

$sym59$_CSETF_PRED_INFO_RELEVANCE_FUNCTION

public static final SubLSymbol $sym59$_CSETF_PRED_INFO_RELEVANCE_FUNCTION

$kw60$PRED

public static final SubLSymbol $kw60$PRED

$kw61$RELEVANCE_FUNCTION

public static final SubLSymbol $kw61$RELEVANCE_FUNCTION

$str62$Invalid_slot__S_for_construction_

public static final SubLString $str62$Invalid_slot__S_for_construction_

$str63$__PRED_INFO__s__s_

public static final SubLString $str63$__PRED_INFO__s__s_

$sym64$PRED_INFO

public static final SubLSymbol $sym64$PRED_INFO

$kw65$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw65$_MEMOIZED_ITEM_NOT_FOUND_

Method Detail

relevant_pred_is_eq

public static final SubLObject relevant_pred_is_eq(SubLObject pred)

relevant_pred_is_spec_pred

public static final SubLObject relevant_pred_is_spec_pred(SubLObject pred)

relevant_pred_is_spec_inverse

public static final SubLObject relevant_pred_is_spec_inverse(SubLObject pred)

relevant_predP

public static final SubLObject relevant_predP(SubLObject pred)

return T iff PRED is a relevant predicate at this point

pred_relevance_undefined_p

public static final SubLObject pred_relevance_undefined_p()

all_preds_are_relevantP

public static final SubLObject all_preds_are_relevantP()

inference_genl_predicate_ofP

public static final SubLObject inference_genl_predicate_ofP(SubLObject pred)

inference_genl_inverse_ofP

public static final SubLObject inference_genl_inverse_ofP(SubLObject pred)

determine_inference_genl_or_spec_pred_relevance

public static final SubLObject determine_inference_genl_or_spec_pred_relevance(SubLObject sense)

determine_inference_genl_or_spec_inverse_relevance

public static final SubLObject determine_inference_genl_or_spec_inverse_relevance(SubLObject sense)

pred_info_object_print_function_trampoline

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

declare_pred_relevance_macros_file

public static final SubLObject declare_pred_relevance_macros_file()

init_pred_relevance_macros_file

public static final SubLObject init_pred_relevance_macros_file()

setup_pred_relevance_macros_file

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