com.cyc.cycjava.cycl
Class at_utilities
java.lang.Object
com.cyc.tool.subl.util.SubLTrampolineFile
com.cyc.tool.subl.util.SubLTranslatedFile
com.cyc.cycjava.cycl.at_utilities
- All Implemented Interfaces:
- CommonSymbols, SubLFile
public final class at_utilities
- extends SubLTranslatedFile
| 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 |
arg_type_mt(SubLObject relation,
SubLObject args,
SubLObject argnum,
SubLObject mt)
|
static SubLObject |
at_finishedP(SubLObject at_violationsP)
|
static SubLObject |
clear_all_arg_type_predicate_caches()
|
static SubLObject |
clear_some_inter_arg_format_assertion_somewhere_cache()
|
static SubLObject |
clear_some_inter_arg_isa_assertion_somewhere_cache()
|
static SubLObject |
constraint_pred_constraint_argnum(SubLObject pred)
Returns the arg-type constraint argnum of the arg constraint predicate PRED. |
static SubLObject |
declare_at_utilities_file()
|
void |
declareFunctions()
Declares the mapping between functions and symbols for all named
functions defined in the file. |
static SubLObject |
formula_denoting_functionP(SubLObject object,
SubLObject mt)
is OBJECT a formula-denoting functional expression? |
static SubLObject |
formula_functorP(SubLObject functor,
SubLObject mt)
does FUNCTOR a return a formula? |
static SubLObject |
gather_at_assertion(SubLObject constraint,
SubLObject type,
SubLObject v_term)
|
static SubLObject |
gather_at_data_assertion(SubLObject assertion,
SubLObject type,
SubLObject v_term)
|
static SubLObject |
implication_opP(SubLObject symbol)
|
static SubLObject |
init_at_utilities_file()
|
static SubLObject |
initialize_all_arg_type_predicate_caches()
|
static SubLObject |
initialize_some_inter_arg_format_assertion_somewhere_cache()
|
static SubLObject |
initialize_some_inter_arg_isa_assertion_somewhere_cache()
|
void |
initializeVariables()
Initializes all global variables and private internal variables
for constants defined in the file. |
static SubLObject |
inter_arg_format_cache_initializedP()
|
static SubLObject |
inter_arg_isa_cache_initializedP()
|
static SubLObject |
inter_arg_isa_inverse(SubLObject ind_arg,
SubLObject dep_arg)
Returns the appropriate inter-arg-isa predicate for constraining the inverse of IND-ARG and DEP-ARG . |
static SubLObject |
inter_arg_isa_pred(SubLObject ind_arg,
SubLObject dep_arg)
|
static SubLObject |
logical_opP(SubLObject symbol)
|
static SubLObject |
note_at_violation(SubLObject note)
|
static SubLObject |
note_at_violationP()
|
static SubLObject |
recursive_violationP(SubLObject note)
|
static SubLObject |
reset_arity_violations(SubLObject do_itP)
|
static SubLObject |
reset_at_state()
|
static SubLObject |
reset_at_violations(SubLObject do_itP)
|
static SubLObject |
reset_semantic_violations(SubLObject do_itP)
|
void |
runTopLevelForms()
Runs all top-level forms in order. |
static SubLObject |
semantic_violations()
|
static SubLObject |
setup_at_utilities_file()
|
static SubLObject |
some_inter_arg_format_assertion_somewhereP(SubLObject reln)
|
static SubLObject |
some_inter_arg_format_constraint_somewhereP(SubLObject reln)
|
static SubLObject |
some_inter_arg_isa_assertion_somewhere_cache_add_int(SubLObject reln)
|
static SubLObject |
some_inter_arg_isa_assertion_somewhereP(SubLObject reln)
|
static SubLObject |
some_inter_arg_isa_constraint_somewhereP(SubLObject reln)
|
static SubLObject |
violation_type(SubLObject violation)
|
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
me
public static final SubLFile me
myName
public static final java.lang.String myName
- See Also:
- Constant Field Values
$const0$arg1Isa
public static final SubLObject $const0$arg1Isa
$const1$arg2Isa
public static final SubLObject $const1$arg2Isa
$const2$arg3Isa
public static final SubLObject $const2$arg3Isa
$const3$arg4Isa
public static final SubLObject $const3$arg4Isa
$const4$arg5Isa
public static final SubLObject $const4$arg5Isa
$sym5$_GENERIC_ARG_STORE_
public static final SubLSymbol $sym5$_GENERIC_ARG_STORE_
$str6$ARG
public static final SubLString $str6$ARG
$str7$_S
public static final SubLString $str7$_S
$const8$interArgIsa1_2
public static final SubLObject $const8$interArgIsa1_2
$const9$interArgIsa1_3
public static final SubLObject $const9$interArgIsa1_3
$const10$interArgIsa1_4
public static final SubLObject $const10$interArgIsa1_4
$const11$interArgIsa1_5
public static final SubLObject $const11$interArgIsa1_5
$str12$invalid_arg_isa_pred_index___s__s
public static final SubLString $str12$invalid_arg_isa_pred_index___s__s
$const13$interArgIsa2_1
public static final SubLObject $const13$interArgIsa2_1
$const14$interArgIsa2_3
public static final SubLObject $const14$interArgIsa2_3
$const15$interArgIsa2_4
public static final SubLObject $const15$interArgIsa2_4
$const16$interArgIsa2_5
public static final SubLObject $const16$interArgIsa2_5
$const17$interArgIsa3_1
public static final SubLObject $const17$interArgIsa3_1
$const18$interArgIsa3_2
public static final SubLObject $const18$interArgIsa3_2
$const19$interArgIsa3_4
public static final SubLObject $const19$interArgIsa3_4
$const20$interArgIsa3_5
public static final SubLObject $const20$interArgIsa3_5
$const21$interArgIsa4_1
public static final SubLObject $const21$interArgIsa4_1
$const22$interArgIsa4_2
public static final SubLObject $const22$interArgIsa4_2
$const23$interArgIsa4_3
public static final SubLObject $const23$interArgIsa4_3
$const24$interArgIsa4_5
public static final SubLObject $const24$interArgIsa4_5
$const25$interArgIsa5_1
public static final SubLObject $const25$interArgIsa5_1
$const26$interArgIsa5_2
public static final SubLObject $const26$interArgIsa5_2
$const27$interArgIsa5_3
public static final SubLObject $const27$interArgIsa5_3
$const28$interArgIsa5_4
public static final SubLObject $const28$interArgIsa5_4
$list29
public static final SubLList $list29
$const30$interArgNotIsa1_2
public static final SubLObject $const30$interArgNotIsa1_2
$str31$invalid_arg_not_isa_pred_index___
public static final SubLString $str31$invalid_arg_not_isa_pred_index___
$const32$interArgNotIsa2_1
public static final SubLObject $const32$interArgNotIsa2_1
$const33$interArgGenl1_2
public static final SubLObject $const33$interArgGenl1_2
$str34$invalid_arg_genl_pred_index___s__
public static final SubLString $str34$invalid_arg_genl_pred_index___s__
$const35$interArgGenl2_1
public static final SubLObject $const35$interArgGenl2_1
$const36$TruthFunction
public static final SubLObject $const36$TruthFunction
$str37$Initializing_all_arg_type_predica
public static final SubLString $str37$Initializing_all_arg_type_predica
$const38$ArgIsaBinaryPredicate
public static final SubLObject $const38$ArgIsaBinaryPredicate
$const39$ArgIsaTernaryPredicate
public static final SubLObject $const39$ArgIsaTernaryPredicate
$const40$ArgIsaPredicate
public static final SubLObject $const40$ArgIsaPredicate
$const41$ArgGenlBinaryPredicate
public static final SubLObject $const41$ArgGenlBinaryPredicate
$const42$ArgGenlTernaryPredicate
public static final SubLObject $const42$ArgGenlTernaryPredicate
$const43$ArgGenlPredicate
public static final SubLObject $const43$ArgGenlPredicate
$sym44$INTEGERP
public static final SubLSymbol $sym44$INTEGERP
$const45$Collection
public static final SubLObject $const45$Collection
$kw46$STRONG_FORT
public static final SubLSymbol $kw46$STRONG_FORT
$kw47$ISA
public static final SubLSymbol $kw47$ISA
$const48$genls
public static final SubLObject $const48$genls
$const49$Thing
public static final SubLObject $const49$Thing
$kw50$GENLS
public static final SubLSymbol $kw50$GENLS
$sym51$TREE_POSITION_P
public static final SubLSymbol $sym51$TREE_POSITION_P
$sym52$CYCL_FORMULA_
public static final SubLSymbol $sym52$CYCL_FORMULA_
$kw53$EL_VAR
public static final SubLSymbol $kw53$EL_VAR
$sym54$RELEVANT_MT_IS_SPEC_MT
public static final SubLSymbol $sym54$RELEVANT_MT_IS_SPEC_MT
$sym55$GATHER_VIA_MAP_PRED_INDEX
public static final SubLSymbol $sym55$GATHER_VIA_MAP_PRED_INDEX
$sym56$GATHER_ASSERTIONS
public static final SubLSymbol $sym56$GATHER_ASSERTIONS
$kw57$TRUE
public static final SubLSymbol $kw57$TRUE
$sym58$_SOME_INTER_ARG_ISA_ASSERTION_SOMEWHERE_CACHE_
public static final SubLSymbol $sym58$_SOME_INTER_ARG_ISA_ASSERTION_SOMEWHERE_CACHE_
$sym59$RELEVANT_MT_IS_EVERYTHING
public static final SubLSymbol $sym59$RELEVANT_MT_IS_EVERYTHING
$const60$EverythingPSC
public static final SubLObject $const60$EverythingPSC
$str61$Initializing___interArgIsa_cache
public static final SubLString $str61$Initializing___interArgIsa_cache
$kw62$GAF
public static final SubLSymbol $kw62$GAF
$const63$genlPreds
public static final SubLObject $const63$genlPreds
$kw64$DEPTH
public static final SubLSymbol $kw64$DEPTH
$kw65$STACK
public static final SubLSymbol $kw65$STACK
$kw66$QUEUE
public static final SubLSymbol $kw66$QUEUE
$sym67$RELEVANT_SBHL_TV_IS_GENERAL_TV
public static final SubLSymbol $sym67$RELEVANT_SBHL_TV_IS_GENERAL_TV
$kw68$ERROR
public static final SubLSymbol $kw68$ERROR
$str69$_A_is_not_a__A
public static final SubLString $str69$_A_is_not_a__A
$sym70$SBHL_TRUE_TV_P
public static final SubLSymbol $sym70$SBHL_TRUE_TV_P
$kw71$CERROR
public static final SubLSymbol $kw71$CERROR
$str72$continue_anyway
public static final SubLString $str72$continue_anyway
$kw73$WARN
public static final SubLSymbol $kw73$WARN
$str74$_A_is_not_a_valid__sbhl_type_erro
public static final SubLString $str74$_A_is_not_a_valid__sbhl_type_erro
$str75$attempting_to_bind_direction_link
public static final SubLString $str75$attempting_to_bind_direction_link
$str76$Node__a_does_not_pass_sbhl_type_t
public static final SubLString $str76$Node__a_does_not_pass_sbhl_type_t
$sym77$_SOME_INTER_ARG_FORMAT_ASSERTION_SOMEWHERE_CACHE_
public static final SubLSymbol $sym77$_SOME_INTER_ARG_FORMAT_ASSERTION_SOMEWHERE_CACHE_
$str78$Initializing___interArgFormat_cac
public static final SubLString $str78$Initializing___interArgFormat_cac
$const79$GenericArgTemplate
public static final SubLObject $const79$GenericArgTemplate
$const80$KeywordVariableTemplate
public static final SubLObject $const80$KeywordVariableTemplate
$str81$got_an_arg_type_predicate___s__th
public static final SubLString $str81$got_an_arg_type_predicate___s__th
$kw82$FORMAT
public static final SubLSymbol $kw82$FORMAT
$kw83$DIFFERENT
public static final SubLSymbol $kw83$DIFFERENT
$kw84$AT_MAPPING_DONE
public static final SubLSymbol $kw84$AT_MAPPING_DONE
$sym85$AT_ERROR
public static final SubLSymbol $sym85$AT_ERROR
$sym86$AT_NOTE
public static final SubLSymbol $sym86$AT_NOTE
$str87$__at_test_fails___s_fails__s_cons
public static final SubLString $str87$__at_test_fails___s_fails__s_cons
$str88$__at_test_fails___s_fails__s_cons
public static final SubLString $str88$__at_test_fails___s_fails__s_cons
$kw89$IRREFLEXIVE_PREDICATE
public static final SubLSymbol $kw89$IRREFLEXIVE_PREDICATE
$kw90$ASYMMETRIC_PREDICATE
public static final SubLSymbol $kw90$ASYMMETRIC_PREDICATE
$kw91$ANTI_SYMMETRIC_PREDICATE
public static final SubLSymbol $kw91$ANTI_SYMMETRIC_PREDICATE
$kw92$ANTI_TRANSITIVE_PREDICATE
public static final SubLSymbol $kw92$ANTI_TRANSITIVE_PREDICATE
$kw93$NEGATION_PREDS
public static final SubLSymbol $kw93$NEGATION_PREDS
$kw94$NEGATION_INVERSES
public static final SubLSymbol $kw94$NEGATION_INVERSES
$str95$illegal_value_of__at_mode____s
public static final SubLString $str95$illegal_value_of__at_mode____s
$kw96$PREDICATE_ISA_VIOLATION
public static final SubLSymbol $kw96$PREDICATE_ISA_VIOLATION
$kw97$META_PREDICATE_VIOLATION
public static final SubLSymbol $kw97$META_PREDICATE_VIOLATION
$kw98$MAL_ARG_WRT_COL_DEFN
public static final SubLSymbol $kw98$MAL_ARG_WRT_COL_DEFN
$const99$CycLSentence_Assertible
public static final SubLObject $const99$CycLSentence_Assertible
$kw100$MAL_ARG_WRT_NEC_DEFN
public static final SubLSymbol $kw100$MAL_ARG_WRT_NEC_DEFN
$kw101$CHANGE_MT
public static final SubLSymbol $kw101$CHANGE_MT
$sym102$ASSERTION_ARG_VIOLATION_
public static final SubLSymbol $sym102$ASSERTION_ARG_VIOLATION_
$sym103$SEF_VIOLATION_
public static final SubLSymbol $sym103$SEF_VIOLATION_
$sym104$PREDICATE_VIOLATION_
public static final SubLSymbol $sym104$PREDICATE_VIOLATION_
$kw105$MAL_ARG_WRT_IFF_DEFN
public static final SubLSymbol $kw105$MAL_ARG_WRT_IFF_DEFN
$list106
public static final SubLList $list106
$sym107$CYC_ASSERTION
public static final SubLSymbol $sym107$CYC_ASSERTION
$const108$CycLAssertion
public static final SubLObject $const108$CycLAssertion
$kw109$MAL_ARG_WRT_ARG_FORMAT
public static final SubLSymbol $kw109$MAL_ARG_WRT_ARG_FORMAT
$kw110$MAL_ARG_WRT_INTER_ARG_FORMAT
public static final SubLSymbol $kw110$MAL_ARG_WRT_INTER_ARG_FORMAT
$kw111$REPLACE_TERM
public static final SubLSymbol $kw111$REPLACE_TERM
$const112$ist
public static final SubLObject $const112$ist
$list113
public static final SubLList $list113
$kw114$ASSERT
public static final SubLSymbol $kw114$ASSERT
$const115$equals
public static final SubLObject $const115$equals
$list116
public static final SubLList $list116
$list117
public static final SubLList $list117
$kw118$UNASSERT
public static final SubLSymbol $kw118$UNASSERT
$int119$40
public static final SubLInteger $int119$40
$sym120$CONSTANT_P
public static final SubLSymbol $sym120$CONSTANT_P
$sym121$_
public static final SubLSymbol $sym121$_
$sym122$SPEC_CARDINALITY
public static final SubLSymbol $sym122$SPEC_CARDINALITY
$sym123$CACHED_MAX_FLOOR_MTS_OF_NAT
public static final SubLSymbol $sym123$CACHED_MAX_FLOOR_MTS_OF_NAT
$sym124$_CACHED_MAX_FLOOR_MTS_OF_NAT_CACHING_STATE_
public static final SubLSymbol $sym124$_CACHED_MAX_FLOOR_MTS_OF_NAT_CACHING_STATE_
$int125$64
public static final SubLInteger $int125$64
$kw126$_MEMOIZED_ITEM_NOT_FOUND_
public static final SubLSymbol $kw126$_MEMOIZED_ITEM_NOT_FOUND_
$const127$Microtheory
public static final SubLObject $const127$Microtheory
$kw128$IGNORE
public static final SubLSymbol $kw128$IGNORE
$const129$Kappa
public static final SubLObject $const129$Kappa
$sym130$RELEVANT_MT_IS_GENL_MT
public static final SubLSymbol $sym130$RELEVANT_MT_IS_GENL_MT
$str131$___S_____S_____s__
public static final SubLString $str131$___S_____S_____s__
$str132$mapping_Cyc_arguments
public static final SubLString $str132$mapping_Cyc_arguments
$sym133$STRINGP
public static final SubLSymbol $sym133$STRINGP
$kw134$SKIP
public static final SubLSymbol $kw134$SKIP
$const135$admittedArgument
public static final SubLObject $const135$admittedArgument
$const136$Function_Denotational
public static final SubLObject $const136$Function_Denotational
$const137$Relation
public static final SubLObject $const137$Relation
$sym138$WARN
public static final SubLSymbol $sym138$WARN
$const139$AtemporalNecessarilyEssentialColl
public static final SubLObject $const139$AtemporalNecessarilyEssentialColl
$const140$argIsa
public static final SubLObject $const140$argIsa
$const141$argGenl
public static final SubLObject $const141$argGenl
$sym142$VARIABLE_ARITY_RELATION_P
public static final SubLSymbol $sym142$VARIABLE_ARITY_RELATION_P
$const143$argsIsa
public static final SubLObject $const143$argsIsa
$const144$argsGenl
public static final SubLObject $const144$argsGenl
$sym145$RELATION_P
public static final SubLSymbol $sym145$RELATION_P
$sym146$FORT_P
public static final SubLSymbol $sym146$FORT_P
$sym147$POSITIVE_INTEGER_P
public static final SubLSymbol $sym147$POSITIVE_INTEGER_P
$const148$isa
public static final SubLObject $const148$isa
$list149
public static final SubLList $list149
$sym150$CYC_VAR_
public static final SubLSymbol $sym150$CYC_VAR_
$sym151$VARIABLE_BINDING_SET_ITEM_COMPARATOR
public static final SubLSymbol $sym151$VARIABLE_BINDING_SET_ITEM_COMPARATOR
$int152$100
public static final SubLInteger $int152$100
$float153$0_01
public static final SubLFloat $float153$0_01
$const154$Number_General
public static final SubLObject $const154$Number_General
arg_type_mt
public static final SubLObject arg_type_mt(SubLObject relation,
SubLObject args,
SubLObject argnum,
SubLObject mt)
violation_type
public static final SubLObject violation_type(SubLObject violation)
formula_denoting_functionP
public static final SubLObject formula_denoting_functionP(SubLObject object,
SubLObject mt)
- is OBJECT a formula-denoting functional expression?
formula_functorP
public static final SubLObject formula_functorP(SubLObject functor,
SubLObject mt)
- does FUNCTOR a return a formula?
note_at_violation
public static final SubLObject note_at_violation(SubLObject note)
recursive_violationP
public static final SubLObject recursive_violationP(SubLObject note)
note_at_violationP
public static final SubLObject note_at_violationP()
semantic_violations
public static final SubLObject semantic_violations()
inter_arg_isa_pred
public static final SubLObject inter_arg_isa_pred(SubLObject ind_arg,
SubLObject dep_arg)
inter_arg_isa_inverse
public static final SubLObject inter_arg_isa_inverse(SubLObject ind_arg,
SubLObject dep_arg)
- Returns the appropriate inter-arg-isa predicate for constraining the inverse of IND-ARG and DEP-ARG .
implication_opP
public static final SubLObject implication_opP(SubLObject symbol)
logical_opP
public static final SubLObject logical_opP(SubLObject symbol)
initialize_all_arg_type_predicate_caches
public static final SubLObject initialize_all_arg_type_predicate_caches()
clear_all_arg_type_predicate_caches
public static final SubLObject clear_all_arg_type_predicate_caches()
inter_arg_isa_cache_initializedP
public static final SubLObject inter_arg_isa_cache_initializedP()
some_inter_arg_isa_assertion_somewhere_cache_add_int
public static final SubLObject some_inter_arg_isa_assertion_somewhere_cache_add_int(SubLObject reln)
clear_some_inter_arg_isa_assertion_somewhere_cache
public static final SubLObject clear_some_inter_arg_isa_assertion_somewhere_cache()
initialize_some_inter_arg_isa_assertion_somewhere_cache
public static final SubLObject initialize_some_inter_arg_isa_assertion_somewhere_cache()
some_inter_arg_isa_assertion_somewhereP
public static final SubLObject some_inter_arg_isa_assertion_somewhereP(SubLObject reln)
some_inter_arg_isa_constraint_somewhereP
public static final SubLObject some_inter_arg_isa_constraint_somewhereP(SubLObject reln)
inter_arg_format_cache_initializedP
public static final SubLObject inter_arg_format_cache_initializedP()
clear_some_inter_arg_format_assertion_somewhere_cache
public static final SubLObject clear_some_inter_arg_format_assertion_somewhere_cache()
initialize_some_inter_arg_format_assertion_somewhere_cache
public static final SubLObject initialize_some_inter_arg_format_assertion_somewhere_cache()
some_inter_arg_format_assertion_somewhereP
public static final SubLObject some_inter_arg_format_assertion_somewhereP(SubLObject reln)
some_inter_arg_format_constraint_somewhereP
public static final SubLObject some_inter_arg_format_constraint_somewhereP(SubLObject reln)
constraint_pred_constraint_argnum
public static final SubLObject constraint_pred_constraint_argnum(SubLObject pred)
- Returns the arg-type constraint argnum of the arg constraint predicate PRED.
gather_at_data_assertion
public static final SubLObject gather_at_data_assertion(SubLObject assertion,
SubLObject type,
SubLObject v_term)
gather_at_assertion
public static final SubLObject gather_at_assertion(SubLObject constraint,
SubLObject type,
SubLObject v_term)
at_finishedP
public static final SubLObject at_finishedP(SubLObject at_violationsP)
reset_at_violations
public static final SubLObject reset_at_violations(SubLObject do_itP)
reset_arity_violations
public static final SubLObject reset_arity_violations(SubLObject do_itP)
reset_semantic_violations
public static final SubLObject reset_semantic_violations(SubLObject do_itP)
reset_at_state
public static final SubLObject reset_at_state()
declare_at_utilities_file
public static final SubLObject declare_at_utilities_file()
init_at_utilities_file
public static final SubLObject init_at_utilities_file()
setup_at_utilities_file
public static final SubLObject setup_at_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.