com.cyc.cycjava.cycl
Class at_routines

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class at_routines
extends SubLTranslatedFile

Nested Class Summary

static class

at_routines.$clear_arg_collections$ZeroArityFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$at_applicable_arg_types_with_assertions$ Storage for the applicable arg-type (e.g.
static SubLObject	$const25$termOfUnit
static SubLObject	$const26$CycLReifiableNonAtomicTerm
static SubLObject	$const29$Thing
static SubLObject	$const43$interArgNotIsa1_2
static SubLObject	$const44$interArgNotIsa2_1
static SubLObject	$const45$interArgGenl1_2
static SubLObject	$const46$interArgGenl2_1
static SubLObject	$const47$interArgGenl2_4
static SubLObject	$const48$genlPreds
static SubLObject	$const5$Quote
static SubLObject	$const70$interArgDifferent
static SubLObject	$const86$argsIsa
static SubLObject	$const87$argAndRestIsa
static SubLInteger	$int78$1024
static SubLSymbol	$kw11$SELF
static SubLSymbol	$kw12$AT_CONSTRAINT_GAF
static SubLSymbol	$kw13$WFF_FORMULA
static SubLSymbol	$kw14$WFF_EXPANSION_FORMULA
static SubLSymbol	$kw15$WFF_ORIGINAL_FORMULA
static SubLSymbol	$kw16$MAL_RELN_WRT_ARG_ISA_REQUIRED
static SubLSymbol	$kw17$ISA
static SubLSymbol	$kw18$NAUT
static SubLSymbol	$kw20$MAL_ARG_WRT_ARG_NOT_ISA_DISJOINT
static SubLSymbol	$kw21$ARG_QUOTED_ISA
static SubLSymbol	$kw22$MAL_ARG_WRT_COL_QUOTED_DEFN
static SubLSymbol	$kw23$MAL_ARG_WRT_ARG_QUOTED_ISA
static SubLSymbol	$kw24$QUOTED_ISA
static SubLSymbol	$kw27$MAL_ARG_WRT_ARG_NOT_QUOTED_ISA_DISJOINT
static SubLSymbol	$kw28$ARG_GENLS
static SubLSymbol	$kw30$MAL_ARG_WRT_ARG_GENL
static SubLSymbol	$kw31$GENLS
static SubLSymbol	$kw32$MAL_ARG_WRT_ARG_NOT_GENLS_DISJOINT
static SubLSymbol	$kw33$FORMAT
static SubLSymbol	$kw34$MAL_ARG_WRT_ARG_FORMAT
static SubLSymbol	$kw35$INTER_ARG_ISA
static SubLSymbol	$kw37$MAL_ARG_WRT_INTER_ARG_DEFN
static SubLSymbol	$kw38$MAL_ARG_WRT_INTER_ARG_ISA
static SubLSymbol	$kw40$INTER_ARG_NOT_ISA
static SubLSymbol	$kw41$MAL_ARG_WRT_INTER_ARG_NOT_ISA
static SubLSymbol	$kw42$MAL_ARG_WRT_INTER_ARG_NOT_DEFN
static SubLSymbol	$kw49$DEPTH
static SubLSymbol	$kw50$STACK
static SubLSymbol	$kw51$QUEUE
static SubLSymbol	$kw53$ERROR
static SubLSymbol	$kw56$CERROR
static SubLSymbol	$kw58$WARN
static SubLSymbol	$kw6$ARG_ISA
static SubLSymbol	$kw62$INTER_ARG_GENL
static SubLSymbol	$kw64$MAL_ARG_WRT_INTER_ARG_GENL
static SubLSymbol	$kw65$MAL_ARG_WRT_INTER_ARG_NOT_ISA_DISJOINT
static SubLSymbol	$kw66$MAL_ARG_WRT_INTER_ARG_NOT_GENL_DISJOINT
static SubLSymbol	$kw67$INTER_ARG_FORMAT
static SubLSymbol	$kw69$MAL_ARG_WRT_INTER_ARG_FORMAT
static SubLSymbol	$kw71$INTER_ARG_DIFFERENT
static SubLSymbol	$kw73$MAL_ARG_WRT_INTER_ARG_DIFFERENT
static SubLSymbol	$kw75$STRONG_FORT
static SubLSymbol	$kw76$WEAK_FORT
static SubLSymbol	$kw8$MAL_ARG_WRT_COL_DEFN
static SubLSymbol	$kw80$_MEMOIZED_ITEM_NOT_FOUND_
static SubLSymbol	$kw82$VIA_GENL_PRED
static SubLSymbol	$kw83$VIA_GENL_INVERSE
static SubLSymbol	$kw84$GAF
static SubLSymbol	$kw85$TRUE
static SubLSymbol	$kw89$FORT
static SubLSymbol	$kw9$MAL_ARG_WRT_ARG_ISA
static SubLSymbol	$kw90$NON_FORT
static SubLList	$list1
static SubLList	$list10
static SubLList	$list36
static SubLList	$list39
static SubLList	$list63
static SubLList	$list68
static SubLList	$list72
static SubLString	$str54$_A_is_not_a__A
static SubLString	$str57$continue_anyway
static SubLString	$str59$_A_is_not_a_valid__sbhl_type_erro
static SubLString	$str60$attempting_to_bind_direction_link
static SubLString	$str61$Node__a_does_not_pass_sbhl_type_t
static SubLString	$str88$Unknown_constraint_type__s
static SubLSymbol	$sym0$CLET
static SubLSymbol	$sym19$VARIABLE_TERM_WRT_ARG_TYPE_
static SubLSymbol	$sym2$ALLOW_ESCAPE_QUOTE_WHEN_QUOTE_PREDICATE
static SubLSymbol	$sym3$RELN
static SubLSymbol	$sym4$WITH_SBHL_RESOURCED_MARKING_SPACES
static SubLSymbol	$sym52$RELEVANT_SBHL_TV_IS_GENERAL_TV
static SubLSymbol	$sym55$SBHL_TRUE_TV_P
static SubLSymbol	$sym7$VALID_FORT_TYPE_
static SubLSymbol	$sym74$ARG_COLLECTIONS
static SubLSymbol	$sym77$_ARG_COLLECTIONS_CACHING_STATE_
static SubLSymbol	$sym79$CLEAR_ARG_COLLECTIONS
static SubLSymbol	$sym81$CYC_VAR_
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	applicable_arg_type_collections_int(SubLObject constraint_pred, SubLObject reln, SubLObject argnum, SubLObject constraint_type, SubLObject via)
static SubLObject	applicable_arg_type_collections(SubLObject reln, SubLObject argnum, SubLObject constraint_type)
static SubLObject	applicable_inter_arg_type_collections(SubLObject reln, SubLObject ind_arg, SubLObject ind_argnum, SubLObject dep_argnum, SubLObject constraint_type, SubLObject check_non_constantP)
static SubLObject	applicable_inter_arg_type_pred_collections_int(SubLObject constraint_pred, SubLObject reln, SubLObject ind_arg, SubLObject via, SubLObject ind_type, SubLObject constraint_type)
static SubLObject	applicable_inter_arg_type_pred_collections(SubLObject reln, SubLObject ind_arg, SubLObject ind_argnum, SubLObject dep_argnum, SubLObject constraint_type, SubLObject ind_type)
static SubLObject	arg_collections_internal(SubLObject arg, SubLObject constraint_type, SubLObject v_arg_type, SubLObject mt_info)
static SubLObject	arg_collections(SubLObject arg, SubLObject constraint_type, SubLObject v_arg_type, SubLObject mt_info)
static SubLObject	arg_genl_violation(SubLObject reln, SubLObject arg, SubLObject argnum, SubLObject col, SubLObject constraint_details)
static SubLObject	arg_genl_violations(SubLObject reln, SubLObject arg, SubLObject argnum, SubLObject col)
static SubLObject	arg_isa_violation_int(SubLObject reln, SubLObject arg, SubLObject argnum, SubLObject col, SubLObject constraint_details, SubLObject module)
static SubLObject	arg_isa_violation(SubLObject reln, SubLObject arg, SubLObject argnum, SubLObject col, SubLObject constraint_details)
static SubLObject	arg_isa_violations(SubLObject reln, SubLObject arg, SubLObject argnum, SubLObject col)
static SubLObject	clear_arg_collections()
static SubLObject	constraint_pred(SubLObject constraint_type, SubLObject argnum, SubLObject reln)
static SubLObject	constraint_preds(SubLObject constraint_type, SubLObject argnum, SubLObject reln)
static SubLObject	declare_at_routines_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	gather_ind_arg_relevant_constraints(SubLObject ind_arg, SubLObject constraint_type)
static SubLObject	init_at_routines_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	inter_arg_constraint_pred(SubLObject constraint_type, SubLObject ind_argnum, SubLObject dep_argnum)
static SubLObject	inter_arg_inverse_pred(SubLObject constraint_type, SubLObject ind_arg, SubLObject dep_arg)
static SubLObject	inverse_pred(SubLObject constraint_type, SubLObject argnum, SubLObject reln)
static SubLObject	mal_arg_formatP(SubLObject reln, SubLObject arg, SubLObject argnum)
static SubLObject	mal_arg_genlsP(SubLObject reln, SubLObject arg, SubLObject argnum) do the arg-genl collections applicable to arg number of relation include ?
static SubLObject	mal_arg_isaP(SubLObject reln, SubLObject arg, SubLObject argnum) do the arg-isa collections applicable to arg number of relation include ?
static SubLObject	mal_arg_not_genls_disjointP(SubLObject reln, SubLObject arg, SubLObject argnum) are any arg-isa collections applicable to arg number of relation known to not include ?
static SubLObject	mal_arg_not_isa_disjointP(SubLObject reln, SubLObject arg, SubLObject argnum) are any arg-isa collections applicable to arg number of relation known to not include
static SubLObject	mal_arg_not_quoted_isa_disjointP(SubLObject reln, SubLObject arg, SubLObject argnum)
static SubLObject	mal_arg_quoted_isaP(SubLObject reln, SubLObject arg, SubLObject argnum) do the arg-quoted-isa collections applicable to arg number of relation include ?
static SubLObject	mal_inter_arg_differentP(SubLObject reln, SubLObject ind_arg, SubLObject ind_argnum, SubLObject dep_arg, SubLObject dep_argnum)
static SubLObject	mal_inter_arg_formatP(SubLObject reln, SubLObject ind_arg, SubLObject ind_argnum, SubLObject dep_arg, SubLObject dep_argnum) the inter-arg-format collections applicable to arg number of relation that do not include
static SubLObject	mal_inter_arg_isaP(SubLObject reln, SubLObject ind_arg, SubLObject ind_argnum, SubLObject dep_arg, SubLObject dep_argnum) the inter-arg-isa collections applicable to arg number of relation that do not include
static SubLObject	mal_inter_arg_not_isa_disjointP(SubLObject reln, SubLObject ind_arg, SubLObject ind_argnum, SubLObject dep_arg, SubLObject dep_argnum) the inter-arg-isa collections applicable to arg number of relation that are known to not include
static SubLObject	mal_inter_arg_not_isaP(SubLObject reln, SubLObject ind_arg, SubLObject ind_argnum, SubLObject dep_arg, SubLObject dep_argnum) the inter-arg-not-isa collections applicable to arg number of relation that do not include
static SubLObject	note_at_violations(SubLObject at_violations)
static SubLObject	relevant_constraintP(SubLObject ind_arg, SubLObject ind_arg_type, SubLObject ind_type, SubLObject constraint_type)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_at_routines_file()
static SubLObject	some_inter_arg_different_assertion_somewhereP(SubLObject reln)
static SubLObject	some_inter_arg_different_constraint_somewhereP(SubLObject reln)
static SubLObject	some_inter_arg_not_isa_constraint_somewhereP(SubLObject reln)
static SubLObject	weak_fort_genls_collections(SubLObject v_term)
static SubLObject	weak_fort_isa_collections(SubLObject v_term)
static SubLObject	wff_violation_verbose_data()

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

$at_applicable_arg_types_with_assertions$

public static SubLSymbol $at_applicable_arg_types_with_assertions$

Storage for the applicable arg-type (e.g. argIsa argGenls) with the KB assertions

$sym0$CLET

public static final SubLSymbol $sym0$CLET

$list1

public static final SubLList $list1

$sym2$ALLOW_ESCAPE_QUOTE_WHEN_QUOTE_PREDICATE

public static final SubLSymbol $sym2$ALLOW_ESCAPE_QUOTE_WHEN_QUOTE_PREDICATE

$sym3$RELN

public static final SubLSymbol $sym3$RELN

$sym4$WITH_SBHL_RESOURCED_MARKING_SPACES

public static final SubLSymbol $sym4$WITH_SBHL_RESOURCED_MARKING_SPACES

$const5$Quote

public static final SubLObject $const5$Quote

$kw6$ARG_ISA

public static final SubLSymbol $kw6$ARG_ISA

$sym7$VALID_FORT_TYPE_

public static final SubLSymbol $sym7$VALID_FORT_TYPE_

$kw8$MAL_ARG_WRT_COL_DEFN

public static final SubLSymbol $kw8$MAL_ARG_WRT_COL_DEFN

$kw9$MAL_ARG_WRT_ARG_ISA

public static final SubLSymbol $kw9$MAL_ARG_WRT_ARG_ISA

$list10

public static final SubLList $list10

$kw11$SELF

public static final SubLSymbol $kw11$SELF

$kw12$AT_CONSTRAINT_GAF

public static final SubLSymbol $kw12$AT_CONSTRAINT_GAF

$kw13$WFF_FORMULA

public static final SubLSymbol $kw13$WFF_FORMULA

$kw14$WFF_EXPANSION_FORMULA

public static final SubLSymbol $kw14$WFF_EXPANSION_FORMULA

$kw15$WFF_ORIGINAL_FORMULA

public static final SubLSymbol $kw15$WFF_ORIGINAL_FORMULA

$kw16$MAL_RELN_WRT_ARG_ISA_REQUIRED

public static final SubLSymbol $kw16$MAL_RELN_WRT_ARG_ISA_REQUIRED

$kw17$ISA

public static final SubLSymbol $kw17$ISA

$kw18$NAUT

public static final SubLSymbol $kw18$NAUT

$sym19$VARIABLE_TERM_WRT_ARG_TYPE_

public static final SubLSymbol $sym19$VARIABLE_TERM_WRT_ARG_TYPE_

$kw20$MAL_ARG_WRT_ARG_NOT_ISA_DISJOINT

public static final SubLSymbol $kw20$MAL_ARG_WRT_ARG_NOT_ISA_DISJOINT

$kw21$ARG_QUOTED_ISA

public static final SubLSymbol $kw21$ARG_QUOTED_ISA

$kw22$MAL_ARG_WRT_COL_QUOTED_DEFN

public static final SubLSymbol $kw22$MAL_ARG_WRT_COL_QUOTED_DEFN

$kw23$MAL_ARG_WRT_ARG_QUOTED_ISA

public static final SubLSymbol $kw23$MAL_ARG_WRT_ARG_QUOTED_ISA

$kw24$QUOTED_ISA

public static final SubLSymbol $kw24$QUOTED_ISA

$const25$termOfUnit

public static final SubLObject $const25$termOfUnit

$const26$CycLReifiableNonAtomicTerm

public static final SubLObject $const26$CycLReifiableNonAtomicTerm

$kw27$MAL_ARG_WRT_ARG_NOT_QUOTED_ISA_DISJOINT

public static final SubLSymbol $kw27$MAL_ARG_WRT_ARG_NOT_QUOTED_ISA_DISJOINT

$kw28$ARG_GENLS

public static final SubLSymbol $kw28$ARG_GENLS

$const29$Thing

public static final SubLObject $const29$Thing

$kw30$MAL_ARG_WRT_ARG_GENL

public static final SubLSymbol $kw30$MAL_ARG_WRT_ARG_GENL

$kw31$GENLS

public static final SubLSymbol $kw31$GENLS

$kw32$MAL_ARG_WRT_ARG_NOT_GENLS_DISJOINT

public static final SubLSymbol $kw32$MAL_ARG_WRT_ARG_NOT_GENLS_DISJOINT

$kw33$FORMAT

public static final SubLSymbol $kw33$FORMAT

$kw34$MAL_ARG_WRT_ARG_FORMAT

public static final SubLSymbol $kw34$MAL_ARG_WRT_ARG_FORMAT

$kw35$INTER_ARG_ISA

public static final SubLSymbol $kw35$INTER_ARG_ISA

$list36

public static final SubLList $list36

$kw37$MAL_ARG_WRT_INTER_ARG_DEFN

public static final SubLSymbol $kw37$MAL_ARG_WRT_INTER_ARG_DEFN

$kw38$MAL_ARG_WRT_INTER_ARG_ISA

public static final SubLSymbol $kw38$MAL_ARG_WRT_INTER_ARG_ISA

$list39

public static final SubLList $list39

$kw40$INTER_ARG_NOT_ISA

public static final SubLSymbol $kw40$INTER_ARG_NOT_ISA

$kw41$MAL_ARG_WRT_INTER_ARG_NOT_ISA

public static final SubLSymbol $kw41$MAL_ARG_WRT_INTER_ARG_NOT_ISA

$kw42$MAL_ARG_WRT_INTER_ARG_NOT_DEFN

public static final SubLSymbol $kw42$MAL_ARG_WRT_INTER_ARG_NOT_DEFN

$const43$interArgNotIsa1_2

public static final SubLObject $const43$interArgNotIsa1_2

$const44$interArgNotIsa2_1

public static final SubLObject $const44$interArgNotIsa2_1

$const45$interArgGenl1_2

public static final SubLObject $const45$interArgGenl1_2

$const46$interArgGenl2_1

public static final SubLObject $const46$interArgGenl2_1

$const47$interArgGenl2_4

public static final SubLObject $const47$interArgGenl2_4

$const48$genlPreds

public static final SubLObject $const48$genlPreds

$kw49$DEPTH

public static final SubLSymbol $kw49$DEPTH

$kw50$STACK

public static final SubLSymbol $kw50$STACK

$kw51$QUEUE

public static final SubLSymbol $kw51$QUEUE

$sym52$RELEVANT_SBHL_TV_IS_GENERAL_TV

public static final SubLSymbol $sym52$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw53$ERROR

public static final SubLSymbol $kw53$ERROR

$str54$_A_is_not_a__A

public static final SubLString $str54$_A_is_not_a__A

$sym55$SBHL_TRUE_TV_P

public static final SubLSymbol $sym55$SBHL_TRUE_TV_P

$kw56$CERROR

public static final SubLSymbol $kw56$CERROR

$str57$continue_anyway

public static final SubLString $str57$continue_anyway

$kw58$WARN

public static final SubLSymbol $kw58$WARN

$str59$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str59$_A_is_not_a_valid__sbhl_type_erro

$str60$attempting_to_bind_direction_link

public static final SubLString $str60$attempting_to_bind_direction_link

$str61$Node__a_does_not_pass_sbhl_type_t

public static final SubLString $str61$Node__a_does_not_pass_sbhl_type_t

$kw62$INTER_ARG_GENL

public static final SubLSymbol $kw62$INTER_ARG_GENL

$list63

public static final SubLList $list63

$kw64$MAL_ARG_WRT_INTER_ARG_GENL

public static final SubLSymbol $kw64$MAL_ARG_WRT_INTER_ARG_GENL

$kw65$MAL_ARG_WRT_INTER_ARG_NOT_ISA_DISJOINT

public static final SubLSymbol $kw65$MAL_ARG_WRT_INTER_ARG_NOT_ISA_DISJOINT

$kw66$MAL_ARG_WRT_INTER_ARG_NOT_GENL_DISJOINT

public static final SubLSymbol $kw66$MAL_ARG_WRT_INTER_ARG_NOT_GENL_DISJOINT

$kw67$INTER_ARG_FORMAT

public static final SubLSymbol $kw67$INTER_ARG_FORMAT

$list68

public static final SubLList $list68

$kw69$MAL_ARG_WRT_INTER_ARG_FORMAT

public static final SubLSymbol $kw69$MAL_ARG_WRT_INTER_ARG_FORMAT

$const70$interArgDifferent

public static final SubLObject $const70$interArgDifferent

$kw71$INTER_ARG_DIFFERENT

public static final SubLSymbol $kw71$INTER_ARG_DIFFERENT

$list72

public static final SubLList $list72

$kw73$MAL_ARG_WRT_INTER_ARG_DIFFERENT

public static final SubLSymbol $kw73$MAL_ARG_WRT_INTER_ARG_DIFFERENT

$sym74$ARG_COLLECTIONS

public static final SubLSymbol $sym74$ARG_COLLECTIONS

$kw75$STRONG_FORT

public static final SubLSymbol $kw75$STRONG_FORT

$kw76$WEAK_FORT

public static final SubLSymbol $kw76$WEAK_FORT

$sym77$_ARG_COLLECTIONS_CACHING_STATE_

public static final SubLSymbol $sym77$_ARG_COLLECTIONS_CACHING_STATE_

$int78$1024

public static final SubLInteger $int78$1024

$sym79$CLEAR_ARG_COLLECTIONS

public static final SubLSymbol $sym79$CLEAR_ARG_COLLECTIONS

$kw80$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw80$_MEMOIZED_ITEM_NOT_FOUND_

$sym81$CYC_VAR_

public static final SubLSymbol $sym81$CYC_VAR_

$kw82$VIA_GENL_PRED

public static final SubLSymbol $kw82$VIA_GENL_PRED

$kw83$VIA_GENL_INVERSE

public static final SubLSymbol $kw83$VIA_GENL_INVERSE

$kw84$GAF

public static final SubLSymbol $kw84$GAF

$kw85$TRUE

public static final SubLSymbol $kw85$TRUE

$const86$argsIsa

public static final SubLObject $const86$argsIsa

$const87$argAndRestIsa

public static final SubLObject $const87$argAndRestIsa

$str88$Unknown_constraint_type__s

public static final SubLString $str88$Unknown_constraint_type__s

$kw89$FORT

public static final SubLSymbol $kw89$FORT

$kw90$NON_FORT

public static final SubLSymbol $kw90$NON_FORT

Method Detail

mal_arg_isaP

public static final SubLObject mal_arg_isaP(SubLObject reln,
                                            SubLObject arg,
                                            SubLObject argnum)

do the arg-isa collections applicable to arg number of relation include ?

arg_isa_violations

public static final SubLObject arg_isa_violations(SubLObject reln,
                                                  SubLObject arg,
                                                  SubLObject argnum,
                                                  SubLObject col)

arg_isa_violation

public static final SubLObject arg_isa_violation(SubLObject reln,
                                                 SubLObject arg,
                                                 SubLObject argnum,
                                                 SubLObject col,
                                                 SubLObject constraint_details)

arg_isa_violation_int

public static final SubLObject arg_isa_violation_int(SubLObject reln,
                                                     SubLObject arg,
                                                     SubLObject argnum,
                                                     SubLObject col,
                                                     SubLObject constraint_details,
                                                     SubLObject module)

wff_violation_verbose_data

public static final SubLObject wff_violation_verbose_data()

note_at_violations

public static final SubLObject note_at_violations(SubLObject at_violations)

mal_arg_not_isa_disjointP

public static final SubLObject mal_arg_not_isa_disjointP(SubLObject reln,
                                                         SubLObject arg,
                                                         SubLObject argnum)

are any arg-isa collections applicable to arg number of relation known to not include

mal_arg_quoted_isaP

public static final SubLObject mal_arg_quoted_isaP(SubLObject reln,
                                                   SubLObject arg,
                                                   SubLObject argnum)

do the arg-quoted-isa collections applicable to arg number of relation include ?

mal_arg_not_quoted_isa_disjointP

public static final SubLObject mal_arg_not_quoted_isa_disjointP(SubLObject reln,
                                                                SubLObject arg,
                                                                SubLObject argnum)

mal_arg_genlsP

public static final SubLObject mal_arg_genlsP(SubLObject reln,
                                              SubLObject arg,
                                              SubLObject argnum)

do the arg-genl collections applicable to arg number of relation include ?

arg_genl_violations

public static final SubLObject arg_genl_violations(SubLObject reln,
                                                   SubLObject arg,
                                                   SubLObject argnum,
                                                   SubLObject col)

arg_genl_violation

public static final SubLObject arg_genl_violation(SubLObject reln,
                                                  SubLObject arg,
                                                  SubLObject argnum,
                                                  SubLObject col,
                                                  SubLObject constraint_details)

mal_arg_not_genls_disjointP

public static final SubLObject mal_arg_not_genls_disjointP(SubLObject reln,
                                                           SubLObject arg,
                                                           SubLObject argnum)

are any arg-isa collections applicable to arg number of relation known to not include ?

mal_arg_formatP

public static final SubLObject mal_arg_formatP(SubLObject reln,
                                               SubLObject arg,
                                               SubLObject argnum)

mal_inter_arg_isaP

public static final SubLObject mal_inter_arg_isaP(SubLObject reln,
                                                  SubLObject ind_arg,
                                                  SubLObject ind_argnum,
                                                  SubLObject dep_arg,
                                                  SubLObject dep_argnum)

the inter-arg-isa collections applicable to arg number of relation that do not include

mal_inter_arg_not_isaP

public static final SubLObject mal_inter_arg_not_isaP(SubLObject reln,
                                                      SubLObject ind_arg,
                                                      SubLObject ind_argnum,
                                                      SubLObject dep_arg,
                                                      SubLObject dep_argnum)

the inter-arg-not-isa collections applicable to arg number of relation that do not include

some_inter_arg_not_isa_constraint_somewhereP

public static final SubLObject some_inter_arg_not_isa_constraint_somewhereP(SubLObject reln)

mal_inter_arg_not_isa_disjointP

public static final SubLObject mal_inter_arg_not_isa_disjointP(SubLObject reln,
                                                               SubLObject ind_arg,
                                                               SubLObject ind_argnum,
                                                               SubLObject dep_arg,
                                                               SubLObject dep_argnum)

the inter-arg-isa collections applicable to arg number of relation that are known to not include

mal_inter_arg_formatP

public static final SubLObject mal_inter_arg_formatP(SubLObject reln,
                                                     SubLObject ind_arg,
                                                     SubLObject ind_argnum,
                                                     SubLObject dep_arg,
                                                     SubLObject dep_argnum)

the inter-arg-format collections applicable to arg number of relation that do not include

some_inter_arg_different_assertion_somewhereP

public static final SubLObject some_inter_arg_different_assertion_somewhereP(SubLObject reln)

some_inter_arg_different_constraint_somewhereP

public static final SubLObject some_inter_arg_different_constraint_somewhereP(SubLObject reln)

mal_inter_arg_differentP

public static final SubLObject mal_inter_arg_differentP(SubLObject reln,
                                                        SubLObject ind_arg,
                                                        SubLObject ind_argnum,
                                                        SubLObject dep_arg,
                                                        SubLObject dep_argnum)

clear_arg_collections

public static final SubLObject clear_arg_collections()

arg_collections_internal

public static final SubLObject arg_collections_internal(SubLObject arg,
                                                        SubLObject constraint_type,
                                                        SubLObject v_arg_type,
                                                        SubLObject mt_info)

arg_collections

public static final SubLObject arg_collections(SubLObject arg,
                                               SubLObject constraint_type,
                                               SubLObject v_arg_type,
                                               SubLObject mt_info)

weak_fort_isa_collections

public static final SubLObject weak_fort_isa_collections(SubLObject v_term)

weak_fort_genls_collections

public static final SubLObject weak_fort_genls_collections(SubLObject v_term)

applicable_arg_type_collections

public static final SubLObject applicable_arg_type_collections(SubLObject reln,
                                                               SubLObject argnum,
                                                               SubLObject constraint_type)

applicable_arg_type_collections_int

public static final SubLObject applicable_arg_type_collections_int(SubLObject constraint_pred,
                                                                   SubLObject reln,
                                                                   SubLObject argnum,
                                                                   SubLObject constraint_type,
                                                                   SubLObject via)

constraint_pred

public static final SubLObject constraint_pred(SubLObject constraint_type,
                                               SubLObject argnum,
                                               SubLObject reln)

constraint_preds

public static final SubLObject constraint_preds(SubLObject constraint_type,
                                                SubLObject argnum,
                                                SubLObject reln)

inverse_pred

public static final SubLObject inverse_pred(SubLObject constraint_type,
                                            SubLObject argnum,
                                            SubLObject reln)

gather_ind_arg_relevant_constraints

public static final SubLObject gather_ind_arg_relevant_constraints(SubLObject ind_arg,
                                                                   SubLObject constraint_type)

relevant_constraintP

public static final SubLObject relevant_constraintP(SubLObject ind_arg,
                                                    SubLObject ind_arg_type,
                                                    SubLObject ind_type,
                                                    SubLObject constraint_type)

applicable_inter_arg_type_collections

public static final SubLObject applicable_inter_arg_type_collections(SubLObject reln,
                                                                     SubLObject ind_arg,
                                                                     SubLObject ind_argnum,
                                                                     SubLObject dep_argnum,
                                                                     SubLObject constraint_type,
                                                                     SubLObject check_non_constantP)

applicable_inter_arg_type_pred_collections

public static final SubLObject applicable_inter_arg_type_pred_collections(SubLObject reln,
                                                                          SubLObject ind_arg,
                                                                          SubLObject ind_argnum,
                                                                          SubLObject dep_argnum,
                                                                          SubLObject constraint_type,
                                                                          SubLObject ind_type)

applicable_inter_arg_type_pred_collections_int

public static final SubLObject applicable_inter_arg_type_pred_collections_int(SubLObject constraint_pred,
                                                                              SubLObject reln,
                                                                              SubLObject ind_arg,
                                                                              SubLObject via,
                                                                              SubLObject ind_type,
                                                                              SubLObject constraint_type)

inter_arg_constraint_pred

public static final SubLObject inter_arg_constraint_pred(SubLObject constraint_type,
                                                         SubLObject ind_argnum,
                                                         SubLObject dep_argnum)

inter_arg_inverse_pred

public static final SubLObject inter_arg_inverse_pred(SubLObject constraint_type,
                                                      SubLObject ind_arg,
                                                      SubLObject dep_arg)

declare_at_routines_file

public static final SubLObject declare_at_routines_file()

init_at_routines_file

public static final SubLObject init_at_routines_file()

setup_at_routines_file

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