com.cyc.cycjava.cycl
Class tva_inference

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class tva_inference
extends SubLTranslatedFile

Nested Class Summary

static class	tva_inference.$tva_inference_native
static class	tva_inference.$tva_inference_p$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const53$genlPreds
static SubLObject	$const62$True_JustificationTruth
static SubLSymbol	$dtp_tva_inference$
static SubLSymbol	$kw32$PROBLEM
static SubLSymbol	$kw33$ASENT_PRED
static SubLSymbol	$kw34$ASENT_ARGS
static SubLSymbol	$kw35$ARGS_ADMITTED
static SubLSymbol	$kw36$TERM_ARGNUMS
static SubLSymbol	$kw37$VAR_ARGNUMS
static SubLSymbol	$kw38$PRECOMPUTATIONS
static SubLSymbol	$kw39$REUSED_SPACES
static SubLSymbol	$kw40$ONE_ANSWER_
static SubLSymbol	$kw41$JUSTIFY_
static SubLSymbol	$kw42$RESTRICTED_ASSERTION
static SubLSymbol	$kw43$ANSWERS
static SubLSymbol	$kw46$STREAM
static SubLSymbol	$kw47$BASE
static SubLSymbol	$kw50$FAIL
static SubLSymbol	$kw51$NONE
static SubLSymbol	$kw52$TVA_MAX_TIME
static SubLSymbol	$kw55$ERROR
static SubLSymbol	$kw58$CERROR
static SubLSymbol	$kw60$WARN
static SubLSymbol	$kw63$OLD
static SubLSymbol	$kw64$RESOURCE
static SubLSymbol	$kw65$DEPTH
static SubLSymbol	$kw66$STACK
static SubLSymbol	$kw67$QUEUE
static SubLSymbol	$kw70$IGNORE
static SubLSymbol	$kw73$FOCUSED
static SubLList	$list2
static SubLList	$list3
static SubLList	$list4
static SubLList	$list49
static SubLList	$list5
static SubLList	$list71
static SubLList	$list72
static SubLList	$list77
static SubLList	$list78
static SubLList	$list79
static SubLList	$list80
static SubLList	$list84
static SubLString	$str44$Invalid_slot__S_for_construction_
static SubLString	$str45$__
static SubLString	$str56$_A_is_not_a__A
static SubLString	$str59$continue_anyway
static SubLString	$str61$_A_is_not_a_valid__sbhl_type_erro
static SubLString	$str68$attempting_to_bind_direction_link
static SubLString	$str69$Node__a_does_not_pass_sbhl_type_t
static SubLSymbol	$sym0$TVA_INFERENCE
static SubLSymbol	$sym1$TVA_INFERENCE_P
static SubLSymbol	$sym10$TVA_INF_ASENT_PRED
static SubLSymbol	$sym11$_CSETF_TVA_INF_ASENT_PRED
static SubLSymbol	$sym12$TVA_INF_ASENT_ARGS
static SubLSymbol	$sym13$_CSETF_TVA_INF_ASENT_ARGS
static SubLSymbol	$sym14$TVA_INF_ARGS_ADMITTED
static SubLSymbol	$sym15$_CSETF_TVA_INF_ARGS_ADMITTED
static SubLSymbol	$sym16$TVA_INF_TERM_ARGNUMS
static SubLSymbol	$sym17$_CSETF_TVA_INF_TERM_ARGNUMS
static SubLSymbol	$sym18$TVA_INF_VAR_ARGNUMS
static SubLSymbol	$sym19$_CSETF_TVA_INF_VAR_ARGNUMS
static SubLSymbol	$sym20$TVA_INF_PRECOMPUTATIONS
static SubLSymbol	$sym21$_CSETF_TVA_INF_PRECOMPUTATIONS
static SubLSymbol	$sym22$TVA_INF_REUSED_SPACES
static SubLSymbol	$sym23$_CSETF_TVA_INF_REUSED_SPACES
static SubLSymbol	$sym24$TVA_INF_ONE_ANSWER_
static SubLSymbol	$sym25$_CSETF_TVA_INF_ONE_ANSWER_
static SubLSymbol	$sym26$TVA_INF_JUSTIFY_
static SubLSymbol	$sym27$_CSETF_TVA_INF_JUSTIFY_
static SubLSymbol	$sym28$TVA_INF_RESTRICTED_ASSERTION
static SubLSymbol	$sym29$_CSETF_TVA_INF_RESTRICTED_ASSERTION
static SubLSymbol	$sym30$TVA_INF_ANSWERS
static SubLSymbol	$sym31$_CSETF_TVA_INF_ANSWERS
static SubLSymbol	$sym48$CLET
static SubLSymbol	$sym54$RELEVANT_SBHL_TV_IS_GENERAL_TV
static SubLSymbol	$sym57$SBHL_TRUE_TV_P
static SubLSymbol	$sym6$PRINT_TVA_INFERENCE
static SubLSymbol	$sym7$TVA_INFERENCE_PRINT_FUNCTION_TRAMPOLINE
static SubLSymbol	$sym74$TVA_UNIFY_CLOSURE_ITERATOR_DONE
static SubLSymbol	$sym75$TVA_UNIFY_CLOSURE_ITERATOR_NEXT
static SubLSymbol	$sym76$TVA_UNIFY_CLOSURE_ITERATOR_FINALIZE
static SubLSymbol	$sym8$TVA_INF_PROBLEM
static SubLSymbol	$sym81$TVA_UNIFY_CLOSURE_VAR_BINDINGS_ITERATOR_DONE
static SubLSymbol	$sym82$TVA_UNIFY_CLOSURE_VAR_BINDINGS_ITERATOR_NEXT
static SubLSymbol	$sym83$TVA_UNIFY_CLOSURE_VAR_BINDINGS_ITERATOR_FINALIZE
static SubLSymbol	$sym9$_CSETF_TVA_INF_PROBLEM
static SubLSymbol	$tva_inference$ The current TVA inference.
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_tva_inference_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	determine_term_argnums(SubLObject asent)
static SubLObject	init_tva_inference_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_tva_inference_file()
static SubLObject	tva_inference_print_function_trampoline(SubLObject object, SubLObject stream)

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

$dtp_tva_inference$

public static SubLSymbol $dtp_tva_inference$

$tva_inference$

public static SubLSymbol $tva_inference$

The current TVA inference.

$sym0$TVA_INFERENCE

public static final SubLSymbol $sym0$TVA_INFERENCE

$sym1$TVA_INFERENCE_P

public static final SubLSymbol $sym1$TVA_INFERENCE_P

$list2

public static final SubLList $list2

$list3

public static final SubLList $list3

$list4

public static final SubLList $list4

$list5

public static final SubLList $list5

$sym6$PRINT_TVA_INFERENCE

public static final SubLSymbol $sym6$PRINT_TVA_INFERENCE

$sym7$TVA_INFERENCE_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym7$TVA_INFERENCE_PRINT_FUNCTION_TRAMPOLINE

$sym8$TVA_INF_PROBLEM

public static final SubLSymbol $sym8$TVA_INF_PROBLEM

$sym9$_CSETF_TVA_INF_PROBLEM

public static final SubLSymbol $sym9$_CSETF_TVA_INF_PROBLEM

$sym10$TVA_INF_ASENT_PRED

public static final SubLSymbol $sym10$TVA_INF_ASENT_PRED

$sym11$_CSETF_TVA_INF_ASENT_PRED

public static final SubLSymbol $sym11$_CSETF_TVA_INF_ASENT_PRED

$sym12$TVA_INF_ASENT_ARGS

public static final SubLSymbol $sym12$TVA_INF_ASENT_ARGS

$sym13$_CSETF_TVA_INF_ASENT_ARGS

public static final SubLSymbol $sym13$_CSETF_TVA_INF_ASENT_ARGS

$sym14$TVA_INF_ARGS_ADMITTED

public static final SubLSymbol $sym14$TVA_INF_ARGS_ADMITTED

$sym15$_CSETF_TVA_INF_ARGS_ADMITTED

public static final SubLSymbol $sym15$_CSETF_TVA_INF_ARGS_ADMITTED

$sym16$TVA_INF_TERM_ARGNUMS

public static final SubLSymbol $sym16$TVA_INF_TERM_ARGNUMS

$sym17$_CSETF_TVA_INF_TERM_ARGNUMS

public static final SubLSymbol $sym17$_CSETF_TVA_INF_TERM_ARGNUMS

$sym18$TVA_INF_VAR_ARGNUMS

public static final SubLSymbol $sym18$TVA_INF_VAR_ARGNUMS

$sym19$_CSETF_TVA_INF_VAR_ARGNUMS

public static final SubLSymbol $sym19$_CSETF_TVA_INF_VAR_ARGNUMS

$sym20$TVA_INF_PRECOMPUTATIONS

public static final SubLSymbol $sym20$TVA_INF_PRECOMPUTATIONS

$sym21$_CSETF_TVA_INF_PRECOMPUTATIONS

public static final SubLSymbol $sym21$_CSETF_TVA_INF_PRECOMPUTATIONS

$sym22$TVA_INF_REUSED_SPACES

public static final SubLSymbol $sym22$TVA_INF_REUSED_SPACES

$sym23$_CSETF_TVA_INF_REUSED_SPACES

public static final SubLSymbol $sym23$_CSETF_TVA_INF_REUSED_SPACES

$sym24$TVA_INF_ONE_ANSWER_

public static final SubLSymbol $sym24$TVA_INF_ONE_ANSWER_

$sym25$_CSETF_TVA_INF_ONE_ANSWER_

public static final SubLSymbol $sym25$_CSETF_TVA_INF_ONE_ANSWER_

$sym26$TVA_INF_JUSTIFY_

public static final SubLSymbol $sym26$TVA_INF_JUSTIFY_

$sym27$_CSETF_TVA_INF_JUSTIFY_

public static final SubLSymbol $sym27$_CSETF_TVA_INF_JUSTIFY_

$sym28$TVA_INF_RESTRICTED_ASSERTION

public static final SubLSymbol $sym28$TVA_INF_RESTRICTED_ASSERTION

$sym29$_CSETF_TVA_INF_RESTRICTED_ASSERTION

public static final SubLSymbol $sym29$_CSETF_TVA_INF_RESTRICTED_ASSERTION

$sym30$TVA_INF_ANSWERS

public static final SubLSymbol $sym30$TVA_INF_ANSWERS

$sym31$_CSETF_TVA_INF_ANSWERS

public static final SubLSymbol $sym31$_CSETF_TVA_INF_ANSWERS

$kw32$PROBLEM

public static final SubLSymbol $kw32$PROBLEM

$kw33$ASENT_PRED

public static final SubLSymbol $kw33$ASENT_PRED

$kw34$ASENT_ARGS

public static final SubLSymbol $kw34$ASENT_ARGS

$kw35$ARGS_ADMITTED

public static final SubLSymbol $kw35$ARGS_ADMITTED

$kw36$TERM_ARGNUMS

public static final SubLSymbol $kw36$TERM_ARGNUMS

$kw37$VAR_ARGNUMS

public static final SubLSymbol $kw37$VAR_ARGNUMS

$kw38$PRECOMPUTATIONS

public static final SubLSymbol $kw38$PRECOMPUTATIONS

$kw39$REUSED_SPACES

public static final SubLSymbol $kw39$REUSED_SPACES

$kw40$ONE_ANSWER_

public static final SubLSymbol $kw40$ONE_ANSWER_

$kw41$JUSTIFY_

public static final SubLSymbol $kw41$JUSTIFY_

$kw42$RESTRICTED_ASSERTION

public static final SubLSymbol $kw42$RESTRICTED_ASSERTION

$kw43$ANSWERS

public static final SubLSymbol $kw43$ANSWERS

$str44$Invalid_slot__S_for_construction_

public static final SubLString $str44$Invalid_slot__S_for_construction_

$str45$__

public static final SubLString $str45$__

$kw46$STREAM

public static final SubLSymbol $kw46$STREAM

$kw47$BASE

public static final SubLSymbol $kw47$BASE

$sym48$CLET

public static final SubLSymbol $sym48$CLET

$list49

public static final SubLList $list49

$kw50$FAIL

public static final SubLSymbol $kw50$FAIL

$kw51$NONE

public static final SubLSymbol $kw51$NONE

$kw52$TVA_MAX_TIME

public static final SubLSymbol $kw52$TVA_MAX_TIME

$const53$genlPreds

public static final SubLObject $const53$genlPreds

$sym54$RELEVANT_SBHL_TV_IS_GENERAL_TV

public static final SubLSymbol $sym54$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw55$ERROR

public static final SubLSymbol $kw55$ERROR

$str56$_A_is_not_a__A

public static final SubLString $str56$_A_is_not_a__A

$sym57$SBHL_TRUE_TV_P

public static final SubLSymbol $sym57$SBHL_TRUE_TV_P

$kw58$CERROR

public static final SubLSymbol $kw58$CERROR

$str59$continue_anyway

public static final SubLString $str59$continue_anyway

$kw60$WARN

public static final SubLSymbol $kw60$WARN

$str61$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str61$_A_is_not_a_valid__sbhl_type_erro

$const62$True_JustificationTruth

public static final SubLObject $const62$True_JustificationTruth

$kw63$OLD

public static final SubLSymbol $kw63$OLD

$kw64$RESOURCE

public static final SubLSymbol $kw64$RESOURCE

$kw65$DEPTH

public static final SubLSymbol $kw65$DEPTH

$kw66$STACK

public static final SubLSymbol $kw66$STACK

$kw67$QUEUE

public static final SubLSymbol $kw67$QUEUE

$str68$attempting_to_bind_direction_link

public static final SubLString $str68$attempting_to_bind_direction_link

$str69$Node__a_does_not_pass_sbhl_type_t

public static final SubLString $str69$Node__a_does_not_pass_sbhl_type_t

$kw70$IGNORE

public static final SubLSymbol $kw70$IGNORE

$list71

public static final SubLList $list71

$list72

public static final SubLList $list72

$kw73$FOCUSED

public static final SubLSymbol $kw73$FOCUSED

$sym74$TVA_UNIFY_CLOSURE_ITERATOR_DONE

public static final SubLSymbol $sym74$TVA_UNIFY_CLOSURE_ITERATOR_DONE

$sym75$TVA_UNIFY_CLOSURE_ITERATOR_NEXT

public static final SubLSymbol $sym75$TVA_UNIFY_CLOSURE_ITERATOR_NEXT

$sym76$TVA_UNIFY_CLOSURE_ITERATOR_FINALIZE

public static final SubLSymbol $sym76$TVA_UNIFY_CLOSURE_ITERATOR_FINALIZE

$list77

public static final SubLList $list77

$list78

public static final SubLList $list78

$list79

public static final SubLList $list79

$list80

public static final SubLList $list80

$sym81$TVA_UNIFY_CLOSURE_VAR_BINDINGS_ITERATOR_DONE

public static final SubLSymbol $sym81$TVA_UNIFY_CLOSURE_VAR_BINDINGS_ITERATOR_DONE

$sym82$TVA_UNIFY_CLOSURE_VAR_BINDINGS_ITERATOR_NEXT

public static final SubLSymbol $sym82$TVA_UNIFY_CLOSURE_VAR_BINDINGS_ITERATOR_NEXT

$sym83$TVA_UNIFY_CLOSURE_VAR_BINDINGS_ITERATOR_FINALIZE

public static final SubLSymbol $sym83$TVA_UNIFY_CLOSURE_VAR_BINDINGS_ITERATOR_FINALIZE

$list84

public static final SubLList $list84

Method Detail

tva_inference_print_function_trampoline

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

determine_term_argnums

public static final SubLObject determine_term_argnums(SubLObject asent)

Returns:

listp. Determines the argnums for each of the fully bound terms in ASENT.

declare_tva_inference_file

public static final SubLObject declare_tva_inference_file()

init_tva_inference_file

public static final SubLObject init_tva_inference_file()

setup_tva_inference_file

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