com.cyc.cycjava.cycl
Class tva_utilities

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class tva_utilities
extends SubLTranslatedFile

Nested Class Summary

static class	tva_utilities.$clear_cached_some_cva_for_predicate$ZeroArityFunction
static class	tva_utilities.$clear_cached_some_tva_for_predicate$ZeroArityFunction
static class	tva_utilities.$clear_cached_tva_spec_preds_and_inverses$ZeroArityFunction
static class	tva_utilities.$some_conservative_via_arg_assertionP$UnaryFunction
static class	tva_utilities.$some_transitive_via_arg_assertionP$UnaryFunction
static class	tva_utilities.$tva_assertion_p$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const10$argAdmittanceTestedDuringTransiti
static SubLObject	$const18$transitiveViaArg
static SubLObject	$const20$transitiveViaArgInverse
static SubLObject	$const21$conservativeViaArg
static SubLObject	$const23$conservativeViaArgInverse
static SubLObject	$const26$EverythingPSC
static SubLObject	$const29$InferencePSC
static SubLObject	$const52$genlPreds
static SubLObject	$const74$genlInverse
static SubLInteger	$int11$60
static SubLInteger	$int33$100
static SubLSymbol	$kw3$ALLOW_OTHER_KEYS
static SubLSymbol	$kw35$_MEMOIZED_ITEM_NOT_FOUND_
static SubLSymbol	$kw4$DONE
static SubLSymbol	$kw41$DEPTH
static SubLSymbol	$kw42$STACK
static SubLSymbol	$kw43$QUEUE
static SubLSymbol	$kw45$ERROR
static SubLSymbol	$kw48$CERROR
static SubLSymbol	$kw50$WARN
static SubLSymbol	$kw61$BACKWARD
static SubLSymbol	$kw62$FORWARD
static SubLSymbol	$kw65$PREDICATE
static SubLSymbol	$kw66$INVERSE
static SubLSymbol	$kw71$TRANSITIVITY
static SubLSymbol	$kw72$CONTEXTUAL_TRANSITIVITY
static SubLSymbol	$kw73$GENLPREDS
static SubLSymbol	$kw75$CODE
static SubLList	$list0
static SubLList	$list1
static SubLList	$list12
static SubLList	$list15
static SubLList	$list2
static SubLList	$list57
static SubLList	$list6
static SubLList	$list68
static SubLList	$list69
static SubLList	$list70
static SubLString	$str46$_A_is_not_a__A
static SubLString	$str49$continue_anyway
static SubLString	$str51$_A_is_not_a_valid__sbhl_type_erro
static SubLString	$str53$attempting_to_bind_direction_link
static SubLString	$str54$Node__a_does_not_pass_sbhl_type_t
static SubLString	$str63$Continue
static SubLString	$str64$Error_in_tva_pred____a
static SubLString	$str67$Error_in_direction____a
static SubLSymbol	$sym13$PROGN
static SubLSymbol	$sym14$CHECK_TYPE
static SubLSymbol	$sym16$CLET
static SubLSymbol	$sym17$_TVA_PRECOMPUTE_CLOSURE_THRESHOLD_
static SubLSymbol	$sym19$TVA_ASSERTION_P
static SubLSymbol	$sym22$CVA_ASSERTION_P
static SubLSymbol	$sym24$CACHED_SOME_TVA_FOR_PREDICATE
static SubLSymbol	$sym25$RELEVANT_MT_IS_EVERYTHING
static SubLSymbol	$sym27$SOME_TRANSITIVE_VIA_ARG_ASSERTION_
static SubLSymbol	$sym28$RELEVANT_MT_IS_ANY_MT
static SubLSymbol	$sym30$RELEVANT_MT_IS_GENL_MT_OF_LIST_MEMBER
static SubLSymbol	$sym31$RELEVANT_MT_IS_GENL_MT
static SubLSymbol	$sym32$_CACHED_SOME_TVA_FOR_PREDICATE_CACHING_STATE_
static SubLSymbol	$sym34$CLEAR_CACHED_SOME_TVA_FOR_PREDICATE
static SubLSymbol	$sym36$CACHED_SOME_CVA_FOR_PREDICATE
static SubLSymbol	$sym37$SOME_CONSERVATIVE_VIA_ARG_ASSERTION_
static SubLSymbol	$sym38$_CACHED_SOME_CVA_FOR_PREDICATE_CACHING_STATE_
static SubLSymbol	$sym39$CLEAR_CACHED_SOME_CVA_FOR_PREDICATE
static SubLSymbol	$sym40$CACHED_TVA_SPEC_PREDS_AND_INVERSES
static SubLSymbol	$sym44$RELEVANT_SBHL_TV_IS_GENERAL_TV
static SubLSymbol	$sym47$SBHL_TRUE_TV_P
static SubLSymbol	$sym5$CSOME
static SubLSymbol	$sym55$_CACHED_TVA_SPEC_PREDS_AND_INVERSES_CACHING_STATE_
static SubLSymbol	$sym56$CLEAR_CACHED_TVA_SPEC_PREDS_AND_INVERSES
static SubLSymbol	$sym58$CDOLIST
static SubLSymbol	$sym59$TVA_GATHER_TRANSITIVE_PREDICATES_FOR_ARG
static SubLSymbol	$sym60$CACHED_ANY_TVA_FOR_ARG_
static SubLSymbol	$sym7$_TVA_PRECOMPUTES_SKSI_CLOSURES__
static SubLSymbol	$sym8$_TVA_ITERATES_KB_PREDICATE_EXTENT__
static SubLSymbol	$sym9$_TVA_ITERATES_SKSI_PREDICATE_EXTENT__
static SubLSymbol	$tva_precompute_closure_threshold$ The cardinality below which a closure should be marked, regardless of direction
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	any_tva_for_argP(SubLObject pred, SubLObject argnum) For PRED, are there any tva assertions that apply to arg ARGNUM?
static SubLObject	cached_any_tva_for_argP_internal(SubLObject pred, SubLObject argnum, SubLObject mt, SubLObject relevant_mt_function)
static SubLObject	cached_any_tva_for_argP(SubLObject pred, SubLObject argnum, SubLObject mt, SubLObject relevant_mt_function)
static SubLObject	cached_some_cva_for_predicate_internal(SubLObject predicate, SubLObject mt_info)
static SubLObject	cached_some_cva_for_predicate(SubLObject predicate, SubLObject mt_info)
static SubLObject	cached_some_tva_for_predicate_internal(SubLObject predicate, SubLObject mt_info)
static SubLObject	cached_some_tva_for_predicate(SubLObject predicate, SubLObject mt_info)
static SubLObject	clear_cached_some_cva_for_predicate()
static SubLObject	clear_cached_some_tva_for_predicate()
static SubLObject	declare_tva_utilities_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	determine_tva_gather_argnum(SubLObject argnum, SubLObject inverseP)
static SubLObject	get_tva_predicates()
static SubLObject	init_tva_utilities_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_utilities_file()
static SubLObject	some_conservative_via_arg_assertionP(SubLObject predicate)
static SubLObject	some_cva_for_predicate(SubLObject predicate)
static SubLObject	some_transitive_via_arg_assertionP(SubLObject predicate)
static SubLObject	some_tva_for_predicate(SubLObject predicate)
static SubLObject	tva_assertion_p(SubLObject assertion)
static SubLObject	tva_gather_transitive_predicates_for_arg(SubLObject tva_pred, SubLObject index_pred, SubLObject argnum, SubLObject inverseP)

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

$tva_precompute_closure_threshold$

public static SubLSymbol $tva_precompute_closure_threshold$

The cardinality below which a closure should be marked, regardless of direction

$list0

public static final SubLList $list0

$list1

public static final SubLList $list1

$list2

public static final SubLList $list2

$kw3$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw3$ALLOW_OTHER_KEYS

$kw4$DONE

public static final SubLSymbol $kw4$DONE

$sym5$CSOME

public static final SubLSymbol $sym5$CSOME

$list6

public static final SubLList $list6

$sym7$_TVA_PRECOMPUTES_SKSI_CLOSURES__

public static final SubLSymbol $sym7$_TVA_PRECOMPUTES_SKSI_CLOSURES__

$sym8$_TVA_ITERATES_KB_PREDICATE_EXTENT__

public static final SubLSymbol $sym8$_TVA_ITERATES_KB_PREDICATE_EXTENT__

$sym9$_TVA_ITERATES_SKSI_PREDICATE_EXTENT__

public static final SubLSymbol $sym9$_TVA_ITERATES_SKSI_PREDICATE_EXTENT__

$const10$argAdmittanceTestedDuringTransiti

public static final SubLObject $const10$argAdmittanceTestedDuringTransiti

$int11$60

public static final SubLInteger $int11$60

$list12

public static final SubLList $list12

$sym13$PROGN

public static final SubLSymbol $sym13$PROGN

$sym14$CHECK_TYPE

public static final SubLSymbol $sym14$CHECK_TYPE

$list15

public static final SubLList $list15

$sym16$CLET

public static final SubLSymbol $sym16$CLET

$sym17$_TVA_PRECOMPUTE_CLOSURE_THRESHOLD_

public static final SubLSymbol $sym17$_TVA_PRECOMPUTE_CLOSURE_THRESHOLD_

$const18$transitiveViaArg

public static final SubLObject $const18$transitiveViaArg

$sym19$TVA_ASSERTION_P

public static final SubLSymbol $sym19$TVA_ASSERTION_P

$const20$transitiveViaArgInverse

public static final SubLObject $const20$transitiveViaArgInverse

$const21$conservativeViaArg

public static final SubLObject $const21$conservativeViaArg

$sym22$CVA_ASSERTION_P

public static final SubLSymbol $sym22$CVA_ASSERTION_P

$const23$conservativeViaArgInverse

public static final SubLObject $const23$conservativeViaArgInverse

$sym24$CACHED_SOME_TVA_FOR_PREDICATE

public static final SubLSymbol $sym24$CACHED_SOME_TVA_FOR_PREDICATE

$sym25$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym25$RELEVANT_MT_IS_EVERYTHING

$const26$EverythingPSC

public static final SubLObject $const26$EverythingPSC

$sym27$SOME_TRANSITIVE_VIA_ARG_ASSERTION_

public static final SubLSymbol $sym27$SOME_TRANSITIVE_VIA_ARG_ASSERTION_

$sym28$RELEVANT_MT_IS_ANY_MT

public static final SubLSymbol $sym28$RELEVANT_MT_IS_ANY_MT

$const29$InferencePSC

public static final SubLObject $const29$InferencePSC

$sym30$RELEVANT_MT_IS_GENL_MT_OF_LIST_MEMBER

public static final SubLSymbol $sym30$RELEVANT_MT_IS_GENL_MT_OF_LIST_MEMBER

$sym31$RELEVANT_MT_IS_GENL_MT

public static final SubLSymbol $sym31$RELEVANT_MT_IS_GENL_MT

$sym32$_CACHED_SOME_TVA_FOR_PREDICATE_CACHING_STATE_

public static final SubLSymbol $sym32$_CACHED_SOME_TVA_FOR_PREDICATE_CACHING_STATE_

$int33$100

public static final SubLInteger $int33$100

$sym34$CLEAR_CACHED_SOME_TVA_FOR_PREDICATE

public static final SubLSymbol $sym34$CLEAR_CACHED_SOME_TVA_FOR_PREDICATE

$kw35$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw35$_MEMOIZED_ITEM_NOT_FOUND_

$sym36$CACHED_SOME_CVA_FOR_PREDICATE

public static final SubLSymbol $sym36$CACHED_SOME_CVA_FOR_PREDICATE

$sym37$SOME_CONSERVATIVE_VIA_ARG_ASSERTION_

public static final SubLSymbol $sym37$SOME_CONSERVATIVE_VIA_ARG_ASSERTION_

$sym38$_CACHED_SOME_CVA_FOR_PREDICATE_CACHING_STATE_

public static final SubLSymbol $sym38$_CACHED_SOME_CVA_FOR_PREDICATE_CACHING_STATE_

$sym39$CLEAR_CACHED_SOME_CVA_FOR_PREDICATE

public static final SubLSymbol $sym39$CLEAR_CACHED_SOME_CVA_FOR_PREDICATE

$sym40$CACHED_TVA_SPEC_PREDS_AND_INVERSES

public static final SubLSymbol $sym40$CACHED_TVA_SPEC_PREDS_AND_INVERSES

$kw41$DEPTH

public static final SubLSymbol $kw41$DEPTH

$kw42$STACK

public static final SubLSymbol $kw42$STACK

$kw43$QUEUE

public static final SubLSymbol $kw43$QUEUE

$sym44$RELEVANT_SBHL_TV_IS_GENERAL_TV

public static final SubLSymbol $sym44$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw45$ERROR

public static final SubLSymbol $kw45$ERROR

$str46$_A_is_not_a__A

public static final SubLString $str46$_A_is_not_a__A

$sym47$SBHL_TRUE_TV_P

public static final SubLSymbol $sym47$SBHL_TRUE_TV_P

$kw48$CERROR

public static final SubLSymbol $kw48$CERROR

$str49$continue_anyway

public static final SubLString $str49$continue_anyway

$kw50$WARN

public static final SubLSymbol $kw50$WARN

$str51$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str51$_A_is_not_a_valid__sbhl_type_erro

$const52$genlPreds

public static final SubLObject $const52$genlPreds

$str53$attempting_to_bind_direction_link

public static final SubLString $str53$attempting_to_bind_direction_link

$str54$Node__a_does_not_pass_sbhl_type_t

public static final SubLString $str54$Node__a_does_not_pass_sbhl_type_t

$sym55$_CACHED_TVA_SPEC_PREDS_AND_INVERSES_CACHING_STATE_

public static final SubLSymbol $sym55$_CACHED_TVA_SPEC_PREDS_AND_INVERSES_CACHING_STATE_

$sym56$CLEAR_CACHED_TVA_SPEC_PREDS_AND_INVERSES

public static final SubLSymbol $sym56$CLEAR_CACHED_TVA_SPEC_PREDS_AND_INVERSES

$list57

public static final SubLList $list57

$sym58$CDOLIST

public static final SubLSymbol $sym58$CDOLIST

$sym59$TVA_GATHER_TRANSITIVE_PREDICATES_FOR_ARG

public static final SubLSymbol $sym59$TVA_GATHER_TRANSITIVE_PREDICATES_FOR_ARG

$sym60$CACHED_ANY_TVA_FOR_ARG_

public static final SubLSymbol $sym60$CACHED_ANY_TVA_FOR_ARG_

$kw61$BACKWARD

public static final SubLSymbol $kw61$BACKWARD

$kw62$FORWARD

public static final SubLSymbol $kw62$FORWARD

$str63$Continue

public static final SubLString $str63$Continue

$str64$Error_in_tva_pred____a

public static final SubLString $str64$Error_in_tva_pred____a

$kw65$PREDICATE

public static final SubLSymbol $kw65$PREDICATE

$kw66$INVERSE

public static final SubLSymbol $kw66$INVERSE

$str67$Error_in_direction____a

public static final SubLString $str67$Error_in_direction____a

$list68

public static final SubLList $list68

$list69

public static final SubLList $list69

$list70

public static final SubLList $list70

$kw71$TRANSITIVITY

public static final SubLSymbol $kw71$TRANSITIVITY

$kw72$CONTEXTUAL_TRANSITIVITY

public static final SubLSymbol $kw72$CONTEXTUAL_TRANSITIVITY

$kw73$GENLPREDS

public static final SubLSymbol $kw73$GENLPREDS

$const74$genlInverse

public static final SubLObject $const74$genlInverse

$kw75$CODE

public static final SubLSymbol $kw75$CODE

Method Detail

get_tva_predicates

public static final SubLObject get_tva_predicates()

tva_assertion_p

public static final SubLObject tva_assertion_p(SubLObject assertion)

Returns:

booleanp. Returns whether the arg 2 of ASSERTION is a GAF.

some_transitive_via_arg_assertionP

public static final SubLObject some_transitive_via_arg_assertionP(SubLObject predicate)

Returns:

booleanp. Returns whether PREDICATE should has any pertinent TVA[I] assertions

some_conservative_via_arg_assertionP

public static final SubLObject some_conservative_via_arg_assertionP(SubLObject predicate)

Returns:

booleanp. Returns whether PREDICATE should has any pertinent CVA[I] assertions

some_tva_for_predicate

public static final SubLObject some_tva_for_predicate(SubLObject predicate)

Returns:

booleanp. Returns whether PREDICATE has a #$transitiveViaArg... assertion somewhere, and should use the :tva module

some_cva_for_predicate

public static final SubLObject some_cva_for_predicate(SubLObject predicate)

Returns:

booleanp. Returns whether PREDICATE has a #$conservativeViaArg... assertion somewhere should use the :tva module

clear_cached_some_tva_for_predicate

public static final SubLObject clear_cached_some_tva_for_predicate()

cached_some_tva_for_predicate_internal

public static final SubLObject cached_some_tva_for_predicate_internal(SubLObject predicate,
                                                                      SubLObject mt_info)

Returns:

booleanp; Whether PREDICATE is the arg1 of any transitive-via assertion.

cached_some_tva_for_predicate

public static final SubLObject cached_some_tva_for_predicate(SubLObject predicate,
                                                             SubLObject mt_info)

clear_cached_some_cva_for_predicate

public static final SubLObject clear_cached_some_cva_for_predicate()

cached_some_cva_for_predicate_internal

public static final SubLObject cached_some_cva_for_predicate_internal(SubLObject predicate,
                                                                      SubLObject mt_info)

Returns:

booleanp; Whether PREDICATE is the arg1 of any conservative-via assertion.

cached_some_cva_for_predicate

public static final SubLObject cached_some_cva_for_predicate(SubLObject predicate,
                                                             SubLObject mt_info)

tva_gather_transitive_predicates_for_arg

public static final SubLObject tva_gather_transitive_predicates_for_arg(SubLObject tva_pred,
                                                                        SubLObject index_pred,
                                                                        SubLObject argnum,
                                                                        SubLObject inverseP)

Returns:

listp; Returns the transitive predicates, X, s.t. (TVA-PRED INDEX-PRED X ARGNUM).

any_tva_for_argP

public static final SubLObject any_tva_for_argP(SubLObject pred,
                                                SubLObject argnum)

For PRED, are there any tva assertions that apply to arg ARGNUM?

cached_any_tva_for_argP_internal

public static final SubLObject cached_any_tva_for_argP_internal(SubLObject pred,
                                                                SubLObject argnum,
                                                                SubLObject mt,
                                                                SubLObject relevant_mt_function)

cached_any_tva_for_argP

public static final SubLObject cached_any_tva_for_argP(SubLObject pred,
                                                       SubLObject argnum,
                                                       SubLObject mt,
                                                       SubLObject relevant_mt_function)

determine_tva_gather_argnum

public static final SubLObject determine_tva_gather_argnum(SubLObject argnum,
                                                           SubLObject inverseP)

declare_tva_utilities_file

public static final SubLObject declare_tva_utilities_file()

init_tva_utilities_file

public static final SubLObject init_tva_utilities_file()

setup_tva_utilities_file

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