com.cyc.cycjava.cycl
Class enumeration_types

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class enumeration_types
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$kw11$TRUE
static SubLSymbol	$kw12$FALSE
static SubLSymbol	$kw13$UNKNOWN
static SubLSymbol	$kw17$POS
static SubLSymbol	$kw18$NEG
static SubLSymbol	$kw25$TRUE_DEF
static SubLSymbol	$kw26$DEFAULT
static SubLSymbol	$kw27$TRUE_MON
static SubLSymbol	$kw28$MONOTONIC
static SubLSymbol	$kw29$FALSE_DEF
static SubLSymbol	$kw30$FALSE_MON
static SubLSymbol	$kw9$UNSPECIFIED
static SubLList	$list0
static SubLList	$list10
static SubLList	$list2
static SubLList	$list20
static SubLList	$list24
static SubLList	$list33
static SubLList	$list4
static SubLList	$list5
static SubLList	$list6
static SubLString	$str15$Returns_T_iff_OBJECT_is_a_valid_C
static SubLString	$str16$_S_is_not_a_TRUTH_P
static SubLString	$str19$_unknown_cannot_be_converted_into
static SubLString	$str22$Return_T_iff_OBJECT_is_a_valid_Cy
static SubLString	$str23$_S_is_not_a_SENSE_P
static SubLString	$str3$Return_T_iff_OBJECT_is_a_valid_as
static SubLString	$str31$_S_does_not_satisfy_TV_P
static SubLString	$str32$_S_is_not_a_STRENGTH_P
static SubLString	$str8$Return_T_iff_OBJECT_is_a_valid_Cy
static SubLSymbol	$sym1$DIRECTION_P
static SubLSymbol	$sym14$TRUTH_P
static SubLSymbol	$sym21$SENSE_P
static SubLSymbol	$sym7$EL_STRENGTH_P
static SubLSymbol	$term_args$
static SubLSymbol	$valid_el_strengths$
static SubLSymbol	$valid_senses$
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_enumeration_types_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	decode_direction(SubLObject fixnum)
static SubLObject	decode_tv(SubLObject fixnum)
static SubLObject	direction_p(SubLObject object) Return T iff OBJECT is a valid assertion inference direction :backward :forward or :code.
static SubLObject	el_strength_implies(SubLObject strength1, SubLObject strength2) Return T iff STRENGTH2 is subsumed by STRENGTH1
static SubLObject	el_strength_p(SubLObject object) Return T iff OBJECT is a valid CycL assertion strength :default or :monotonic.
static SubLObject	encode_direction(SubLObject direction)
static SubLObject	encode_tv(SubLObject tv)
static SubLObject	init_enumeration_types_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	inverse_sense(SubLObject sense)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	sense_p(SubLObject object) Return T iff OBJECT is a valid CycL literal sense :neg or :pos.
static SubLObject	sense_truth(SubLObject sense)
static SubLObject	setup_enumeration_types_file()
static SubLObject	truth_sense(SubLObject truth)
static SubLObject	tv_from_truth_strength(SubLObject truth, SubLObject strength)
static SubLObject	tv_strength(SubLObject tv)
static SubLObject	tv_truth(SubLObject tv)
static SubLObject	valid_directions()
static SubLObject	valid_hl_truth_values()
static SubLObject	valid_truths()

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

$valid_el_strengths$

public static SubLSymbol $valid_el_strengths$

$valid_senses$

public static SubLSymbol $valid_senses$

$term_args$

public static SubLSymbol $term_args$

$list0

public static final SubLList $list0

$sym1$DIRECTION_P

public static final SubLSymbol $sym1$DIRECTION_P

$list2

public static final SubLList $list2

$str3$Return_T_iff_OBJECT_is_a_valid_as

public static final SubLString $str3$Return_T_iff_OBJECT_is_a_valid_as

$list4

public static final SubLList $list4

$list5

public static final SubLList $list5

$list6

public static final SubLList $list6

$sym7$EL_STRENGTH_P

public static final SubLSymbol $sym7$EL_STRENGTH_P

$str8$Return_T_iff_OBJECT_is_a_valid_Cy

public static final SubLString $str8$Return_T_iff_OBJECT_is_a_valid_Cy

$kw9$UNSPECIFIED

public static final SubLSymbol $kw9$UNSPECIFIED

$list10

public static final SubLList $list10

$kw11$TRUE

public static final SubLSymbol $kw11$TRUE

$kw12$FALSE

public static final SubLSymbol $kw12$FALSE

$kw13$UNKNOWN

public static final SubLSymbol $kw13$UNKNOWN

$sym14$TRUTH_P

public static final SubLSymbol $sym14$TRUTH_P

$str15$Returns_T_iff_OBJECT_is_a_valid_C

public static final SubLString $str15$Returns_T_iff_OBJECT_is_a_valid_C

$str16$_S_is_not_a_TRUTH_P

public static final SubLString $str16$_S_is_not_a_TRUTH_P

$kw17$POS

public static final SubLSymbol $kw17$POS

$kw18$NEG

public static final SubLSymbol $kw18$NEG

$str19$_unknown_cannot_be_converted_into

public static final SubLString $str19$_unknown_cannot_be_converted_into

$list20

public static final SubLList $list20

$sym21$SENSE_P

public static final SubLSymbol $sym21$SENSE_P

$str22$Return_T_iff_OBJECT_is_a_valid_Cy

public static final SubLString $str22$Return_T_iff_OBJECT_is_a_valid_Cy

$str23$_S_is_not_a_SENSE_P

public static final SubLString $str23$_S_is_not_a_SENSE_P

$list24

public static final SubLList $list24

$kw25$TRUE_DEF

public static final SubLSymbol $kw25$TRUE_DEF

$kw26$DEFAULT

public static final SubLSymbol $kw26$DEFAULT

$kw27$TRUE_MON

public static final SubLSymbol $kw27$TRUE_MON

$kw28$MONOTONIC

public static final SubLSymbol $kw28$MONOTONIC

$kw29$FALSE_DEF

public static final SubLSymbol $kw29$FALSE_DEF

$kw30$FALSE_MON

public static final SubLSymbol $kw30$FALSE_MON

$str31$_S_does_not_satisfy_TV_P

public static final SubLString $str31$_S_does_not_satisfy_TV_P

$str32$_S_is_not_a_STRENGTH_P

public static final SubLString $str32$_S_is_not_a_STRENGTH_P

$list33

public static final SubLList $list33

Method Detail

valid_directions

public static final SubLObject valid_directions()

direction_p

public static final SubLObject direction_p(SubLObject object)

Return T iff OBJECT is a valid assertion inference direction :backward :forward or :code.

encode_direction

public static final SubLObject encode_direction(SubLObject direction)

decode_direction

public static final SubLObject decode_direction(SubLObject fixnum)

el_strength_p

public static final SubLObject el_strength_p(SubLObject object)

Return T iff OBJECT is a valid CycL assertion strength :default or :monotonic.

el_strength_implies

public static final SubLObject el_strength_implies(SubLObject strength1,
                                                   SubLObject strength2)

Return T iff STRENGTH2 is subsumed by STRENGTH1

valid_truths

public static final SubLObject valid_truths()

truth_sense

public static final SubLObject truth_sense(SubLObject truth)

sense_p

public static final SubLObject sense_p(SubLObject object)

Return T iff OBJECT is a valid CycL literal sense :neg or :pos.

inverse_sense

public static final SubLObject inverse_sense(SubLObject sense)

sense_truth

public static final SubLObject sense_truth(SubLObject sense)

valid_hl_truth_values

public static final SubLObject valid_hl_truth_values()

encode_tv

public static final SubLObject encode_tv(SubLObject tv)

decode_tv

public static final SubLObject decode_tv(SubLObject fixnum)

tv_strength

public static final SubLObject tv_strength(SubLObject tv)

tv_truth

public static final SubLObject tv_truth(SubLObject tv)

tv_from_truth_strength

public static final SubLObject tv_from_truth_strength(SubLObject truth,
                                                      SubLObject strength)

declare_enumeration_types_file

public static final SubLObject declare_enumeration_types_file()

init_enumeration_types_file

public static final SubLObject init_enumeration_types_file()

setup_enumeration_types_file

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