com.cyc.cycjava.cycl
Class relation_evaluation

java.lang.Object
  extended by com.cyc.tool.subl.util.SubLTrampolineFile
      extended by com.cyc.tool.subl.util.SubLTranslatedFile
          extended by com.cyc.cycjava.cycl.relation_evaluation
All Implemented Interfaces:
CommonSymbols, SubLFile

public final class relation_evaluation
extends SubLTranslatedFile


Nested Class Summary
static class relation_evaluation.$clear_cached_evaluation_function$ZeroArityFunction
           
static class relation_evaluation.$cyc_evaluate_arg$UnaryFunction
           
 
Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
SubLTranslatedFile.SubL
 
Field Summary
static SubLObject $const1$EverythingPSC
           
static SubLObject $const17$FunctionToArg
           
static SubLObject $const2$evaluationDefn
           
static SubLSymbol $cyc_evaluate_relation$
          This is bound to the current relation being evaluated.
static SubLSymbol $kw16$_MEMOIZED_ITEM_NOT_FOUND_
           
static SubLSymbol $kw20$MAX_NUMBER
           
static SubLSymbol $kw21$ALLOW_INDETERMINATE_RESULTS_
           
static SubLSymbol $kw22$ANSWER_LANGUAGE
           
static SubLSymbol $kw23$HL
           
static SubLSymbol $kw5$TRUE
           
static SubLSymbol $kw6$UNBOUND
           
static SubLSymbol $kw7$UNEVALUATABLE
           
static SubLSymbol $kw9$RECURSION_LIMIT_EXCEEDED
           
static SubLSymbol $sym0$RELEVANT_MT_IS_EVERYTHING
           
static SubLSymbol $sym10$CYC_EVALUATE_ARG
           
static SubLSymbol $sym11$CYC_FUNCTION_TO_ARG
           
static SubLSymbol $sym12$CYC_LAMBDA
           
static SubLSymbol $sym13$CACHED_EVALUATION_FUNCTION
           
static SubLSymbol $sym14$_CACHED_EVALUATION_FUNCTION_CACHING_STATE_
           
static SubLSymbol $sym15$CLEAR_CACHED_EVALUATION_FUNCTION
           
static SubLSymbol $sym18$_VALUE
           
static SubLSymbol $sym19$MAKE_VARIABLE_BINDING
           
static SubLSymbol $sym3$SUPPORT_P
           
static SubLSymbol $sym4$SUPPORT_EQUAL
           
static SubLSymbol $sym8$THROW_UNEVALUATABLE
           
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 cached_evaluation_function_internal(SubLObject relation)
           
static SubLObject cached_evaluation_function(SubLObject relation)
           
static SubLObject clear_cached_evaluation_function()
           
static SubLObject cyc_evaluate_arg(SubLObject input_arg)
           
static SubLObject cyc_evaluate_args(SubLObject args)
          recursively evaluate any evaluatable ARGS
static SubLObject cyc_evaluate_gathering_justificationsP()
           
static SubLObject cyc_evaluate_if_evaluatable(SubLObject expression, SubLObject consider_expansionP)
          Recursively evaluate EXPRESSION if needed.
static SubLObject cyc_evaluate_internal(SubLObject formula, SubLObject consider_expansionP)
           
static SubLObject cyc_evaluate(SubLObject expression)
          Evaluate the evaluatable EXPRESSION and return the result.
static SubLObject declare_relation_evaluation_file()
           
 void declareFunctions()
          Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject evaluatable_expressionP(SubLObject object)
           
static SubLObject evaluatable_functionP(SubLObject function)
          Admits more than evaluatable-function-p
static SubLObject evaluatable_predicateP(SubLObject predicate, SubLObject mt)
           
static SubLObject evaluatable_relationP(SubLObject relation)
           
static SubLObject evaluation_arity(SubLObject relation)
          Return the expected evaluation arity for RELATION.
static SubLObject evaluation_defn(SubLObject fort, SubLObject mt)
           
static SubLObject evaluation_function(SubLObject relation)
           
static SubLObject function_to_arg_function_p(SubLObject object)
           
static SubLObject init_relation_evaluation_file()
           
 void initializeVariables()
          Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject note_evaluation_function_support(SubLObject relation, SubLObject evaluation_function)
           
static SubLObject possibly_note_contextualized_evaluatable_relation(SubLObject relation)
          Unless we've already found one, check if RELATION is contextualized, and note if it is.
 void runTopLevelForms()
          Runs all top-level forms in order.
static SubLObject setup_relation_evaluation_file()
           
static SubLObject valid_evaluation(SubLObject answer, SubLObject contextualizedP)
           
 
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

$cyc_evaluate_relation$

public static SubLSymbol $cyc_evaluate_relation$
This is bound to the current relation being evaluated.


$sym0$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym0$RELEVANT_MT_IS_EVERYTHING

$const1$EverythingPSC

public static final SubLObject $const1$EverythingPSC

$const2$evaluationDefn

public static final SubLObject $const2$evaluationDefn

$sym3$SUPPORT_P

public static final SubLSymbol $sym3$SUPPORT_P

$sym4$SUPPORT_EQUAL

public static final SubLSymbol $sym4$SUPPORT_EQUAL

$kw5$TRUE

public static final SubLSymbol $kw5$TRUE

$kw6$UNBOUND

public static final SubLSymbol $kw6$UNBOUND

$kw7$UNEVALUATABLE

public static final SubLSymbol $kw7$UNEVALUATABLE

$sym8$THROW_UNEVALUATABLE

public static final SubLSymbol $sym8$THROW_UNEVALUATABLE

$kw9$RECURSION_LIMIT_EXCEEDED

public static final SubLSymbol $kw9$RECURSION_LIMIT_EXCEEDED

$sym10$CYC_EVALUATE_ARG

public static final SubLSymbol $sym10$CYC_EVALUATE_ARG

$sym11$CYC_FUNCTION_TO_ARG

public static final SubLSymbol $sym11$CYC_FUNCTION_TO_ARG

$sym12$CYC_LAMBDA

public static final SubLSymbol $sym12$CYC_LAMBDA

$sym13$CACHED_EVALUATION_FUNCTION

public static final SubLSymbol $sym13$CACHED_EVALUATION_FUNCTION

$sym14$_CACHED_EVALUATION_FUNCTION_CACHING_STATE_

public static final SubLSymbol $sym14$_CACHED_EVALUATION_FUNCTION_CACHING_STATE_

$sym15$CLEAR_CACHED_EVALUATION_FUNCTION

public static final SubLSymbol $sym15$CLEAR_CACHED_EVALUATION_FUNCTION

$kw16$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw16$_MEMOIZED_ITEM_NOT_FOUND_

$const17$FunctionToArg

public static final SubLObject $const17$FunctionToArg

$sym18$_VALUE

public static final SubLSymbol $sym18$_VALUE

$sym19$MAKE_VARIABLE_BINDING

public static final SubLSymbol $sym19$MAKE_VARIABLE_BINDING

$kw20$MAX_NUMBER

public static final SubLSymbol $kw20$MAX_NUMBER

$kw21$ALLOW_INDETERMINATE_RESULTS_

public static final SubLSymbol $kw21$ALLOW_INDETERMINATE_RESULTS_

$kw22$ANSWER_LANGUAGE

public static final SubLSymbol $kw22$ANSWER_LANGUAGE

$kw23$HL

public static final SubLSymbol $kw23$HL
Method Detail

evaluatable_functionP

public static final SubLObject evaluatable_functionP(SubLObject function)
Admits more than evaluatable-function-p

See Also:
evaluatable-function-p

evaluatable_predicateP

public static final SubLObject evaluatable_predicateP(SubLObject predicate,
                                                      SubLObject mt)

evaluatable_relationP

public static final SubLObject evaluatable_relationP(SubLObject relation)

evaluatable_expressionP

public static final SubLObject evaluatable_expressionP(SubLObject object)

evaluation_defn

public static final SubLObject evaluation_defn(SubLObject fort,
                                               SubLObject mt)

cyc_evaluate_gathering_justificationsP

public static final SubLObject cyc_evaluate_gathering_justificationsP()

note_evaluation_function_support

public static final SubLObject note_evaluation_function_support(SubLObject relation,
                                                                SubLObject evaluation_function)

possibly_note_contextualized_evaluatable_relation

public static final SubLObject possibly_note_contextualized_evaluatable_relation(SubLObject relation)
Unless we've already found one, check if RELATION is contextualized, and note if it is.


cyc_evaluate

public static final SubLObject cyc_evaluate(SubLObject expression)
Evaluate the evaluatable EXPRESSION and return the result. A second returned value is T iff the result was valid. A third returned value is T iff the evaluation included evaluation of a contextualized relation.


valid_evaluation

public static final SubLObject valid_evaluation(SubLObject answer,
                                                SubLObject contextualizedP)

cyc_evaluate_internal

public static final SubLObject cyc_evaluate_internal(SubLObject formula,
                                                     SubLObject consider_expansionP)

cyc_evaluate_args

public static final SubLObject cyc_evaluate_args(SubLObject args)
recursively evaluate any evaluatable ARGS


cyc_evaluate_arg

public static final SubLObject cyc_evaluate_arg(SubLObject input_arg)

cyc_evaluate_if_evaluatable

public static final SubLObject cyc_evaluate_if_evaluatable(SubLObject expression,
                                                           SubLObject consider_expansionP)
Recursively evaluate EXPRESSION if needed.


evaluation_function

public static final SubLObject evaluation_function(SubLObject relation)

evaluation_arity

public static final SubLObject evaluation_arity(SubLObject relation)
Return the expected evaluation arity for RELATION.


clear_cached_evaluation_function

public static final SubLObject clear_cached_evaluation_function()

cached_evaluation_function_internal

public static final SubLObject cached_evaluation_function_internal(SubLObject relation)

cached_evaluation_function

public static final SubLObject cached_evaluation_function(SubLObject relation)

function_to_arg_function_p

public static final SubLObject function_to_arg_function_p(SubLObject object)

declare_relation_evaluation_file

public static final SubLObject declare_relation_evaluation_file()

init_relation_evaluation_file

public static final SubLObject init_relation_evaluation_file()

setup_relation_evaluation_file

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