com.cyc.cycjava.cycl
Class function_terms

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class function_terms
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const3$termOfUnit
static SubLObject	$const6$EverythingPSC
static SubLInteger	$int7$256
static SubLSymbol	$kw4$GAF
static SubLList	$list10
static SubLList	$list14
static SubLSymbol	$sym0$TERM_OF_UNIT
static SubLSymbol	$sym1$NART_P
static SubLSymbol	$sym11$TERM_FUNCTIONAL_COMPLEXITY_INTERNAL_CONS_METHOD
static SubLSymbol	$sym12$TERM_RELATIONAL_COMPLEXITY_INTERNAL_CONSTANT_METHOD
static SubLSymbol	$sym13$TERM_RELATIONAL_COMPLEXITY_INTERNAL_NART_METHOD
static SubLSymbol	$sym15$TERM_RELATIONAL_COMPLEXITY_INTERNAL_CONS_METHOD
static SubLSymbol	$sym16$FORT_P
static SubLSymbol	$sym17$INTEGERP
static SubLSymbol	$sym2$RELEVANT_MT_IS_EQ
static SubLSymbol	$sym5$RELEVANT_MT_IS_EVERYTHING
static SubLSymbol	$sym8$TERM_FUNCTIONAL_COMPLEXITY_INTERNAL_CONSTANT_METHOD
static SubLSymbol	$sym9$TERM_FUNCTIONAL_COMPLEXITY_INTERNAL_NART_METHOD
static SubLSymbol	$term_functional_complexity_internal_method_table$
static SubLSymbol	$term_relational_complexity_internal_method_table$
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_function_terms_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_function_terms_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	nat_formula_p(SubLObject object) Return T iff OBJECT could be interpreted as a nat formula
static SubLObject	naut_to_nart(SubLObject obj) If OBJ is a ground NAUT (EL nat), convert it to an HL nart and return it, else return OBJ.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_function_terms_file()
static SubLObject	term_functional_complexity_internal_cons_method(SubLObject object) Fancy way of returning max term functional complexity within a NART.
static SubLObject	term_functional_complexity_internal_constant_method(SubLObject object)
static SubLObject	term_functional_complexity_internal_nart_method(SubLObject object)
static SubLObject	term_functional_complexity_internal(SubLObject object)
static SubLObject	term_functional_complexity(SubLObject object) Return the maximum functional nesting depth of OBJECT.
static SubLObject	term_of_unit_assertion_p(SubLObject object)
static SubLObject	term_relational_complexity_internal_cons_method(SubLObject object)
static SubLObject	term_relational_complexity_internal_constant_method(SubLObject object)
static SubLObject	term_relational_complexity_internal_nart_method(SubLObject object)
static SubLObject	tou_assertionP(SubLObject assertion) obsolete

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

$term_functional_complexity_internal_method_table$

public static SubLSymbol $term_functional_complexity_internal_method_table$

$term_relational_complexity_internal_method_table$

public static SubLSymbol $term_relational_complexity_internal_method_table$

$sym0$TERM_OF_UNIT

public static final SubLSymbol $sym0$TERM_OF_UNIT

$sym1$NART_P

public static final SubLSymbol $sym1$NART_P

$sym2$RELEVANT_MT_IS_EQ

public static final SubLSymbol $sym2$RELEVANT_MT_IS_EQ

$const3$termOfUnit

public static final SubLObject $const3$termOfUnit

$kw4$GAF

public static final SubLSymbol $kw4$GAF

$sym5$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym5$RELEVANT_MT_IS_EVERYTHING

$const6$EverythingPSC

public static final SubLObject $const6$EverythingPSC

$int7$256

public static final SubLInteger $int7$256

$sym8$TERM_FUNCTIONAL_COMPLEXITY_INTERNAL_CONSTANT_METHOD

public static final SubLSymbol $sym8$TERM_FUNCTIONAL_COMPLEXITY_INTERNAL_CONSTANT_METHOD

$sym9$TERM_FUNCTIONAL_COMPLEXITY_INTERNAL_NART_METHOD

public static final SubLSymbol $sym9$TERM_FUNCTIONAL_COMPLEXITY_INTERNAL_NART_METHOD

$list10

public static final SubLList $list10

$sym11$TERM_FUNCTIONAL_COMPLEXITY_INTERNAL_CONS_METHOD

public static final SubLSymbol $sym11$TERM_FUNCTIONAL_COMPLEXITY_INTERNAL_CONS_METHOD

$sym12$TERM_RELATIONAL_COMPLEXITY_INTERNAL_CONSTANT_METHOD

public static final SubLSymbol $sym12$TERM_RELATIONAL_COMPLEXITY_INTERNAL_CONSTANT_METHOD

$sym13$TERM_RELATIONAL_COMPLEXITY_INTERNAL_NART_METHOD

public static final SubLSymbol $sym13$TERM_RELATIONAL_COMPLEXITY_INTERNAL_NART_METHOD

$list14

public static final SubLList $list14

$sym15$TERM_RELATIONAL_COMPLEXITY_INTERNAL_CONS_METHOD

public static final SubLSymbol $sym15$TERM_RELATIONAL_COMPLEXITY_INTERNAL_CONS_METHOD

$sym16$FORT_P

public static final SubLSymbol $sym16$FORT_P

$sym17$INTEGERP

public static final SubLSymbol $sym17$INTEGERP

Method Detail

term_of_unit_assertion_p

public static final SubLObject term_of_unit_assertion_p(SubLObject object)

nat_formula_p

public static final SubLObject nat_formula_p(SubLObject object)

Return T iff OBJECT could be interpreted as a nat formula

tou_assertionP

public static final SubLObject tou_assertionP(SubLObject assertion)

obsolete

term_functional_complexity

public static final SubLObject term_functional_complexity(SubLObject object)

Return the maximum functional nesting depth of OBJECT.

term_functional_complexity_internal

public static final SubLObject term_functional_complexity_internal(SubLObject object)

term_functional_complexity_internal_constant_method

public static final SubLObject term_functional_complexity_internal_constant_method(SubLObject object)

term_functional_complexity_internal_nart_method

public static final SubLObject term_functional_complexity_internal_nart_method(SubLObject object)

term_functional_complexity_internal_cons_method

public static final SubLObject term_functional_complexity_internal_cons_method(SubLObject object)

Fancy way of returning max term functional complexity within a NART.

term_relational_complexity_internal_constant_method

public static final SubLObject term_relational_complexity_internal_constant_method(SubLObject object)

term_relational_complexity_internal_nart_method

public static final SubLObject term_relational_complexity_internal_nart_method(SubLObject object)

term_relational_complexity_internal_cons_method

public static final SubLObject term_relational_complexity_internal_cons_method(SubLObject object)

naut_to_nart

public static final SubLObject naut_to_nart(SubLObject obj)

If OBJ is a ground NAUT (EL nat), convert it to an HL nart and return it, else return OBJ.

declare_function_terms_file

public static final SubLObject declare_function_terms_file()

init_function_terms_file

public static final SubLObject init_function_terms_file()

setup_function_terms_file

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