arg_type

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl
Class arg_type

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class arg_type
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`arg_type.$arg_constraint_native`
`static class`	`arg_type.$arg_constraint_p$UnaryFunction`
`static class`	`arg_type.$clear_cached_relation_arg_okP$ZeroArityFunction`
`static class`	`arg_type.$variable_term_wrt_arg_typeP$UnaryFunction`

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

Field Summary
`static SubLObject`	`$const0$forAll`
`static SubLObject`	`$const1$thereExists`
`static SubLObject`	`$const11$EverythingPSC`
`static SubLObject`	`$const128$ArgTypePredicate`
`static SubLObject`	`$const130$ArgConstraintPredicate`
`static SubLObject`	`$const135$Relation`
`static SubLObject`	`$const136$argIsa`
`static SubLObject`	`$const137$argGenl`
`static SubLObject`	`$const25$Collection`
`static SubLObject`	`$const26$CollectionDenotingFunction`
`static SubLObject`	`$const27$Thing`
`static SubLObject`	`$const31$genls`
`static SubLObject`	`$const32$Quote`
`static SubLObject`	`$const47$isa`
`static SubLObject`	`$const48$AsymmetricBinaryPredicate`
`static SubLObject`	`$const57$AntiSymmetricBinaryPredicate`
`static SubLObject`	`$const58$IrreflexiveBinaryPredicate`
`static SubLObject`	`$const61$TransitiveBinaryPredicate`
`static SubLObject`	`$const62$AntiTransitiveBinaryPredicate`
`static SubLObject`	`$const70$negationPreds`
`static SubLObject`	`$const71$negationInverse`
`static SubLObject`	`$const75$SingleEntry`
`static SubLObject`	`$const76$IntervalEntry`
`static SubLObject`	`$const77$SetTheFormat`
`static SubLObject`	`$const78$singleEntryFormatInArgs`
`static SubLObject`	`$const79$intervalEntryFormatInArgs`
`static SubLObject`	`$const8$not`
`static SubLObject`	`$const80$openEntryFormatInArgs`
`static SubLObject`	`$const81$temporallyIntersectingEntryFormat`
`static SubLObject`	`$const82$spatiallyIntersectingEntryFormatI`
`static SubLObject`	`$const83$spatioTemporallyIntersectingEntry`
`static SubLObject`	`$const86$natFunction`
`static SubLObject`	`$const87$natArgument`
`static SubLObject`	`$const9$termOfUnit`
`static SubLSymbol`	$dtp_arg_constraint$
`static SubLInteger`	`$int5$1024`
`static SubLSymbol`	`$kw110$SENTENCE`
`static SubLSymbol`	`$kw111$MT`
`static SubLSymbol`	`$kw112$TEST_FUNCTION`
`static SubLSymbol`	`$kw113$TEST_ARGS`
`static SubLSymbol`	`$kw114$CLOSED_`
`static SubLSymbol`	`$kw115$ATOMIC_`
`static SubLSymbol`	`$kw12$WEAK_FORT`
`static SubLSymbol`	`$kw123$UNKNOWN`
`static SubLSymbol`	`$kw13$NOT_ISA_DISJOINT`
`static SubLSymbol`	`$kw132$IGNORE`
`static SubLSymbol`	`$kw14$NOT_QUOTED_ISA_DISJOINT`
`static SubLSymbol`	`$kw15$NOT_ISA`
`static SubLSymbol`	`$kw16$NOT_GENLS_DISJOINT`
`static SubLSymbol`	`$kw17$GENLS`
`static SubLSymbol`	`$kw18$DIFFERENT`
`static SubLSymbol`	`$kw2$INHIBITED_SEQUENCE_VARIABLE`
`static SubLSymbol`	`$kw20$NAUT`
`static SubLSymbol`	`$kw22$FORMAT`
`static SubLSymbol`	`$kw23$ISA`
`static SubLSymbol`	`$kw24$QUOTED_ISA`
`static SubLSymbol`	`$kw28$OPAQUE`
`static SubLSymbol`	`$kw29$STRONG_FORT`
`static SubLSymbol`	`$kw39$DEFINING_MT_VIOLATION`
`static SubLSymbol`	`$kw40$ASYMMETRIC_PREDICATE`
`static SubLSymbol`	`$kw41$ANTI_SYMMETRIC_PREDICATE`
`static SubLSymbol`	`$kw42$IRREFLEXIVE_PREDICATE`
`static SubLSymbol`	`$kw43$ANTI_TRANSITIVE_PREDICATE`
`static SubLSymbol`	`$kw44$NEGATION_PREDS`
`static SubLSymbol`	`$kw45$NEGATION_INVERSES`
`static SubLSymbol`	`$kw49$TRUE`
`static SubLSymbol`	`$kw51$AT_MAPPING_DONE`
`static SubLSymbol`	`$kw52$PREDICATE_EXTENT`
`static SubLSymbol`	`$kw54$GAF_ARG`
`static SubLSymbol`	`$kw59$COMPLETES_CYCLE_`
`static SubLSymbol`	`$kw60$WHY_COMPLETES_CYCLE_`
`static SubLSymbol`	`$kw7$_MEMOIZED_ITEM_NOT_FOUND_`
`static SubLSymbol`	`$kw85$GAF`
`static SubLList`	`$list127`
`static SubLList`	`$list33`
`static SubLList`	`$list34`
`static SubLList`	`$list50`
`static SubLList`	`$list64`
`static SubLList`	`$list66`
`static SubLList`	`$list67`
`static SubLList`	`$list89`
`static SubLList`	`$list92`
`static SubLList`	`$list93`
`static SubLList`	`$list94`
`static SubLList`	`$list95`
`static SubLString`	`$str116$Invalid_slot__S_for_construction_`
`static SubLString`	`$str117$__a_ARG_CONSTRAINT__a__a__a__a_`
`static SubLString`	`$str118$_ARG_CONSTRAINT__a__a_`
`static SubLString`	`$str119$GAF`
`static SubLString`	`$str120$GNAF`
`static SubLString`	`$str121$OAF`
`static SubLString`	`$str122$ONAF`
`static SubLString`	`$str35$invalid_at_test__s_in_mal_intra_a`
`static SubLString`	`$str36$invalid_at_test__s_in_mal_inter_a`
`static SubLString`	`$str38$__at_test_fails___s_in__s_fails__`
`static SubLString`	`$str46$unknown_predicate_constraint___s`
`static SubLString`	`$str55$Ignore_it`
`static SubLString`	`$str56$Unexpected_index_type_when_gather`
`static SubLString`	`$str84$unknown_entry_format___s`
`static SubLSymbol`	`$sym10$RELEVANT_MT_IS_EVERYTHING`
`static SubLSymbol`	`$sym100$ARGCONST_MT`
`static SubLSymbol`	`$sym101$_CSETF_ARGCONST_MT`
`static SubLSymbol`	`$sym102$ARGCONST_TEST_FUNCTION`
`static SubLSymbol`	`$sym103$_CSETF_ARGCONST_TEST_FUNCTION`
`static SubLSymbol`	`$sym104$ARGCONST_TEST_ARGS`
`static SubLSymbol`	`$sym105$_CSETF_ARGCONST_TEST_ARGS`
`static SubLSymbol`	`$sym106$ARGCONST_CLOSED_`
`static SubLSymbol`	`$sym107$_CSETF_ARGCONST_CLOSED_`
`static SubLSymbol`	`$sym108$ARGCONST_ATOMIC_`
`static SubLSymbol`	`$sym109$_CSETF_ARGCONST_ATOMIC_`
`static SubLSymbol`	`$sym124$ISA_`
`static SubLSymbol`	`$sym125$GENLS_`
`static SubLSymbol`	`$sym126$SORTED_ARG_CONSTRAINT_PREDICATES`
`static SubLSymbol`	`$sym129$NO_PREDICATE_EXTENT_P`
`static SubLSymbol`	`$sym131$_SORTED_ARG_CONSTRAINT_PREDICATES_CACHING_STATE_`
`static SubLSymbol`	`$sym133$FUNCTION_SPEC_P`
`static SubLSymbol`	`$sym134$LISTP`
`static SubLSymbol`	`$sym19$POSSIBLY_NAUT_P`
`static SubLSymbol`	`$sym21$VARIABLE_TERM_WRT_ARG_TYPE_`
`static SubLSymbol`	`$sym3$CACHED_RELATION_ARG_OK_`
`static SubLSymbol`	`$sym30$INTEGERP`
`static SubLSymbol`	`$sym37$MEMOIZED_DEFINING_MTS_OK_`
`static SubLSymbol`	`$sym4$_CACHED_RELATION_ARG_OK__CACHING_STATE_`
`static SubLSymbol`	`$sym53$SELECT_ASYMMETRIC_PRED_VIOLATION`
`static SubLSymbol`	`$sym6$CLEAR_CACHED_RELATION_ARG_OK_`
`static SubLSymbol`	`$sym63$SELECT_ANTI_TRANSITIVE_PRED_VIOLATION_VIA_PRED`
`static SubLSymbol`	`$sym65$SEARCH_FOR_ANTI_TRANSITIVE_PRED_VIOLATION`
`static SubLSymbol`	`$sym68$SELECT_ANTI_TRANSITIVE_PRED_VIOLATION`
`static SubLSymbol`	`$sym69$SELECT_TARGET_GAF`
`static SubLSymbol`	`$sym72$CACHED_FORMAT_OK_`
`static SubLSymbol`	`$sym73$_CACHED_FORMAT_OK__CACHING_STATE_`
`static SubLSymbol`	`$sym74$MEMOIZED_FORMAT_OK_`
`static SubLSymbol`	`$sym88$VARIABLE_P`
`static SubLSymbol`	`$sym90$ARG_CONSTRAINT`
`static SubLSymbol`	`$sym91$ARG_CONSTRAINT_P`
`static SubLSymbol`	`$sym96$PRINT_ARG_CONSTRAINT`
`static SubLSymbol`	`$sym97$ARG_CONSTRAINT_PRINT_FUNCTION_TRAMPOLINE`
`static SubLSymbol`	`$sym98$ARGCONST_SENTENCE`
`static SubLSymbol`	`$sym99$_CSETF_ARGCONST_SENTENCE`
`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

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`	`appraising_disjunctP(SubLObject formula, SubLObject mt)`
`static SubLObject`	`arg_constraint_print_function_trampoline(SubLObject object, SubLObject stream)`
`static SubLObject`	`arg_test_okP(SubLObject reln, SubLObject arg, SubLObject argnum, SubLObject test)`
`static SubLObject`	`at_check_arg_typesP(SubLObject relation, SubLObject argnum, SubLObject mt)`
`static SubLObject`	`at_check_defining_mtsP(SubLObject formula, SubLObject argnum)`
`static SubLObject`	`at_format_okP(SubLObject format, SubLObject literal, SubLObject argnum, SubLObject mt)`
`static SubLObject`	`at_within_decontextualizedP(SubLObject formula)`
`static SubLObject`	`at_within_disjunctP(SubLObject formula, SubLObject argnum)`
`static SubLObject`	`at_within_functionP(SubLObject formula_arg0)`
`static SubLObject`	`at_within_negationP(SubLObject formula_arg0, SubLObject arg)`
`static SubLObject`	`at_within_predicateP(SubLObject formula_arg0)`
`static SubLObject`	`clear_cached_format_okP()`
`static SubLObject`	`declare_arg_type_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`defining_mts_okP(SubLObject fort, SubLObject mt)`
`static SubLObject`	`find_accessible_gaf(SubLObject gaf, SubLObject index, SubLObject mt, SubLObject truth)`
`static SubLObject`	`formula_args_ok_wrt_type_intP(SubLObject formula, SubLObject mt)`
`static SubLObject`	`formula_args_ok_wrt_typeP(SubLObject formula, SubLObject mt)`
`static SubLObject`	`gaf_ok_wrt_irreflexive_predP(SubLObject gaf, SubLObject mt)`
`static SubLObject`	`gaf_ok_wrt_negation_inversesP(SubLObject gaf, SubLObject mt)`
`static SubLObject`	`gaf_ok_wrt_negation_predsP(SubLObject gaf, SubLObject mt)`
`static SubLObject`	`init_arg_type_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`inter_arg_test_failsP(SubLObject reln, SubLObject arg, SubLObject argnum, SubLObject test)`
`static SubLObject`	`mal_inter_argP(SubLObject reln, SubLObject ind_arg, SubLObject ind_argnum, SubLObject dep_arg, SubLObject dep_argnum, SubLObject test)`
`static SubLObject`	`mal_intra_argP(SubLObject reln, SubLObject arg, SubLObject argnum, SubLObject test)`
`static SubLObject`	`memoized_format_okP_internal(SubLObject format, SubLObject literal, SubLObject argnum, SubLObject mt)`
`static SubLObject`	`memoized_format_okP(SubLObject format, SubLObject literal, SubLObject argnum, SubLObject mt)`
`static SubLObject`	`nat_argument_wrt_arg_typeP(SubLObject v_term)`
`static SubLObject`	`nat_function_wrt_arg_typeP(SubLObject v_term)`
`static SubLObject`	`naut_wrt_arg_typeP(SubLObject v_term, SubLObject mt)`
`static SubLObject`	`negation_inverse_violations(SubLObject pred, SubLObject arg1, SubLObject arg2)`
`static SubLObject`	`negation_pred_violations(SubLObject pred, SubLObject arg1, SubLObject arg2)`
`static SubLObject`	`new_inhibited_seqvars(SubLObject relation)` Updates the dynamic variable stack of variables that are currently not allowed to appear as sequence variables.
`static SubLObject`	`opaque_arg_okP(SubLObject relation, SubLObject arg, SubLObject argnum, SubLObject mt)` Returns t iff satisfies arg-types as an opaque arg.
`static SubLObject`	`opaque_arg_types_okP(SubLObject reln, SubLObject arg, SubLObject argnum, SubLObject mt)`
`static SubLObject`	`predicate_constraints_okP(SubLObject literal, SubLObject mt)`
`static SubLObject`	`relation_arg_ok_intP(SubLObject relation, SubLObject arg, SubLObject argnum, SubLObject mt)`
`static SubLObject`	`relation_arg_okP(SubLObject relation, SubLObject arg, SubLObject argnum, SubLObject mt)`
`static SubLObject`	`relator_constraints_okP(SubLObject relation, SubLObject mt)`
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`sef_violating_assertionP(SubLObject assertion, SubLObject find_formula, SubLObject arg, SubLObject argnum)`
`static SubLObject`	`sef_violations(SubLObject literal, SubLObject argnum, SubLObject mt)`
`static SubLObject`	`seqvars_inhibited_by_relation_expression(SubLObject relation)` Returns the variables that are not allowed to occur as sequence variables within RELATION.
`static SubLObject`	`set_entry_okP(SubLObject literal, SubLObject argnum, SubLObject mt)`
`static SubLObject`	`setup_arg_type_file()`
`static SubLObject`	`single_entry_okP(SubLObject literal, SubLObject argnum, SubLObject mt)`
`static SubLObject`	`strong_fort_arg_okP(SubLObject relation, SubLObject arg, SubLObject argnum, SubLObject mt)` Returns t iff satisfies the stronger arg-types as a fort.
`static SubLObject`	`strong_fort_arg_types_okP(SubLObject reln, SubLObject arg, SubLObject argnum, SubLObject mt)`
`static SubLObject`	`strong_fort_wrt_arg_typeP(SubLObject v_term, SubLObject mt)`
`static SubLObject`	`tou_wrt_arg_typeP(SubLObject v_term)`
`static SubLObject`	`variable_arg_okP(SubLObject relation, SubLObject arg, SubLObject argnum, SubLObject mt)` Returns t iff satisfies arg-types as a variable.
`static SubLObject`	`variable_term_wrt_arg_typeP(SubLObject v_term)`
`static SubLObject`	`variable_wrt_arg_typeP(SubLObject arg)`
`static SubLObject`	`weak_fort_arg_okP(SubLObject relation, SubLObject arg, SubLObject argnum, SubLObject mt)`
`static SubLObject`	`weak_fort_types_okP(SubLObject reln, SubLObject arg, SubLObject argnum, SubLObject mt)`
`static SubLObject`	`weak_fort_wrt_arg_typeP(SubLObject v_term)`

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_arg_constraint$

public static SubLSymbol $dtp_arg_constraint$

$const0$forAll

public static final SubLObject $const0$forAll

$const1$thereExists

public static final SubLObject $const1$thereExists

$kw2$INHIBITED_SEQUENCE_VARIABLE

public static final SubLSymbol $kw2$INHIBITED_SEQUENCE_VARIABLE

$sym3$CACHED_RELATION_ARG_OK_

public static final SubLSymbol $sym3$CACHED_RELATION_ARG_OK_

$sym4$_CACHED_RELATION_ARG_OK__CACHING_STATE_

public static final SubLSymbol $sym4$_CACHED_RELATION_ARG_OK__CACHING_STATE_

$int5$1024

public static final SubLInteger $int5$1024

$sym6$CLEAR_CACHED_RELATION_ARG_OK_

public static final SubLSymbol $sym6$CLEAR_CACHED_RELATION_ARG_OK_

$kw7$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw7$_MEMOIZED_ITEM_NOT_FOUND_

$const8$not

public static final SubLObject $const8$not

$const9$termOfUnit

public static final SubLObject $const9$termOfUnit

$sym10$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym10$RELEVANT_MT_IS_EVERYTHING

$const11$EverythingPSC

public static final SubLObject $const11$EverythingPSC

$kw12$WEAK_FORT

public static final SubLSymbol $kw12$WEAK_FORT

$kw13$NOT_ISA_DISJOINT

public static final SubLSymbol $kw13$NOT_ISA_DISJOINT

$kw14$NOT_QUOTED_ISA_DISJOINT

public static final SubLSymbol $kw14$NOT_QUOTED_ISA_DISJOINT

$kw15$NOT_ISA

public static final SubLSymbol $kw15$NOT_ISA

$kw16$NOT_GENLS_DISJOINT

public static final SubLSymbol $kw16$NOT_GENLS_DISJOINT

$kw17$GENLS

public static final SubLSymbol $kw17$GENLS

$kw18$DIFFERENT

public static final SubLSymbol $kw18$DIFFERENT

$sym19$POSSIBLY_NAUT_P

public static final SubLSymbol $sym19$POSSIBLY_NAUT_P

$kw20$NAUT

public static final SubLSymbol $kw20$NAUT

$sym21$VARIABLE_TERM_WRT_ARG_TYPE_

public static final SubLSymbol $sym21$VARIABLE_TERM_WRT_ARG_TYPE_

$kw22$FORMAT

public static final SubLSymbol $kw22$FORMAT

$kw23$ISA

public static final SubLSymbol $kw23$ISA

$kw24$QUOTED_ISA

public static final SubLSymbol $kw24$QUOTED_ISA

$const25$Collection

public static final SubLObject $const25$Collection

$const26$CollectionDenotingFunction

public static final SubLObject $const26$CollectionDenotingFunction

$const27$Thing

public static final SubLObject $const27$Thing

$kw28$OPAQUE

public static final SubLSymbol $kw28$OPAQUE

$kw29$STRONG_FORT

public static final SubLSymbol $kw29$STRONG_FORT

$sym30$INTEGERP

public static final SubLSymbol $sym30$INTEGERP

$const31$genls

public static final SubLObject $const31$genls

$const32$Quote

public static final SubLObject $const32$Quote

$list33

public static final SubLList $list33

$list34

public static final SubLList $list34

$str35$invalid_at_test__s_in_mal_intra_a

public static final SubLString $str35$invalid_at_test__s_in_mal_intra_a

$str36$invalid_at_test__s_in_mal_inter_a

public static final SubLString $str36$invalid_at_test__s_in_mal_inter_a

$sym37$MEMOIZED_DEFINING_MTS_OK_

public static final SubLSymbol $sym37$MEMOIZED_DEFINING_MTS_OK_

$str38$__at_test_fails___s_in__s_fails__

public static final SubLString $str38$__at_test_fails___s_in__s_fails__

$kw39$DEFINING_MT_VIOLATION

public static final SubLSymbol $kw39$DEFINING_MT_VIOLATION

$kw40$ASYMMETRIC_PREDICATE

public static final SubLSymbol $kw40$ASYMMETRIC_PREDICATE

$kw41$ANTI_SYMMETRIC_PREDICATE

public static final SubLSymbol $kw41$ANTI_SYMMETRIC_PREDICATE

$kw42$IRREFLEXIVE_PREDICATE

public static final SubLSymbol $kw42$IRREFLEXIVE_PREDICATE

$kw43$ANTI_TRANSITIVE_PREDICATE

public static final SubLSymbol $kw43$ANTI_TRANSITIVE_PREDICATE

$kw44$NEGATION_PREDS

public static final SubLSymbol $kw44$NEGATION_PREDS

$kw45$NEGATION_INVERSES

public static final SubLSymbol $kw45$NEGATION_INVERSES

$str46$unknown_predicate_constraint___s

public static final SubLString $str46$unknown_predicate_constraint___s

$const47$isa

public static final SubLObject $const47$isa

$const48$AsymmetricBinaryPredicate

public static final SubLObject $const48$AsymmetricBinaryPredicate

$kw49$TRUE

public static final SubLSymbol $kw49$TRUE

$list50

public static final SubLList $list50

$kw51$AT_MAPPING_DONE

public static final SubLSymbol $kw51$AT_MAPPING_DONE

$kw52$PREDICATE_EXTENT

public static final SubLSymbol $kw52$PREDICATE_EXTENT

$sym53$SELECT_ASYMMETRIC_PRED_VIOLATION

public static final SubLSymbol $sym53$SELECT_ASYMMETRIC_PRED_VIOLATION

$kw54$GAF_ARG

public static final SubLSymbol $kw54$GAF_ARG

$str55$Ignore_it

public static final SubLString $str55$Ignore_it

$str56$Unexpected_index_type_when_gather

public static final SubLString $str56$Unexpected_index_type_when_gather

$const57$AntiSymmetricBinaryPredicate

public static final SubLObject $const57$AntiSymmetricBinaryPredicate

$const58$IrreflexiveBinaryPredicate

public static final SubLObject $const58$IrreflexiveBinaryPredicate

$kw59$COMPLETES_CYCLE_

public static final SubLSymbol $kw59$COMPLETES_CYCLE_

$kw60$WHY_COMPLETES_CYCLE_

public static final SubLSymbol $kw60$WHY_COMPLETES_CYCLE_

$const61$TransitiveBinaryPredicate

public static final SubLObject $const61$TransitiveBinaryPredicate

$const62$AntiTransitiveBinaryPredicate

public static final SubLObject $const62$AntiTransitiveBinaryPredicate

$sym63$SELECT_ANTI_TRANSITIVE_PRED_VIOLATION_VIA_PRED

public static final SubLSymbol $sym63$SELECT_ANTI_TRANSITIVE_PRED_VIOLATION_VIA_PRED

$list64

public static final SubLList $list64

$sym65$SEARCH_FOR_ANTI_TRANSITIVE_PRED_VIOLATION

public static final SubLSymbol $sym65$SEARCH_FOR_ANTI_TRANSITIVE_PRED_VIOLATION

$list66

public static final SubLList $list66

$list67

public static final SubLList $list67

$sym68$SELECT_ANTI_TRANSITIVE_PRED_VIOLATION

public static final SubLSymbol $sym68$SELECT_ANTI_TRANSITIVE_PRED_VIOLATION

$sym69$SELECT_TARGET_GAF

public static final SubLSymbol $sym69$SELECT_TARGET_GAF

$const70$negationPreds

public static final SubLObject $const70$negationPreds

$const71$negationInverse

public static final SubLObject $const71$negationInverse

$sym72$CACHED_FORMAT_OK_

public static final SubLSymbol $sym72$CACHED_FORMAT_OK_

$sym73$_CACHED_FORMAT_OK__CACHING_STATE_

public static final SubLSymbol $sym73$_CACHED_FORMAT_OK__CACHING_STATE_

$sym74$MEMOIZED_FORMAT_OK_

public static final SubLSymbol $sym74$MEMOIZED_FORMAT_OK_

$const75$SingleEntry

public static final SubLObject $const75$SingleEntry

$const76$IntervalEntry

public static final SubLObject $const76$IntervalEntry

$const77$SetTheFormat

public static final SubLObject $const77$SetTheFormat

$const78$singleEntryFormatInArgs

public static final SubLObject $const78$singleEntryFormatInArgs

$const79$intervalEntryFormatInArgs

public static final SubLObject $const79$intervalEntryFormatInArgs

$const80$openEntryFormatInArgs

public static final SubLObject $const80$openEntryFormatInArgs

$const81$temporallyIntersectingEntryFormat

public static final SubLObject $const81$temporallyIntersectingEntryFormat

$const82$spatiallyIntersectingEntryFormatI

public static final SubLObject $const82$spatiallyIntersectingEntryFormatI

$const83$spatioTemporallyIntersectingEntry

public static final SubLObject $const83$spatioTemporallyIntersectingEntry

$str84$unknown_entry_format___s

public static final SubLString $str84$unknown_entry_format___s

$kw85$GAF

public static final SubLSymbol $kw85$GAF

$const86$natFunction

public static final SubLObject $const86$natFunction

$const87$natArgument

public static final SubLObject $const87$natArgument

$sym88$VARIABLE_P

public static final SubLSymbol $sym88$VARIABLE_P

$list89

public static final SubLList $list89

$sym90$ARG_CONSTRAINT

public static final SubLSymbol $sym90$ARG_CONSTRAINT

$sym91$ARG_CONSTRAINT_P

public static final SubLSymbol $sym91$ARG_CONSTRAINT_P

$list92

public static final SubLList $list92

$list93

public static final SubLList $list93

$list94

public static final SubLList $list94

$list95

public static final SubLList $list95

$sym96$PRINT_ARG_CONSTRAINT

public static final SubLSymbol $sym96$PRINT_ARG_CONSTRAINT

$sym97$ARG_CONSTRAINT_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym97$ARG_CONSTRAINT_PRINT_FUNCTION_TRAMPOLINE

$sym98$ARGCONST_SENTENCE

public static final SubLSymbol $sym98$ARGCONST_SENTENCE

$sym99$_CSETF_ARGCONST_SENTENCE

public static final SubLSymbol $sym99$_CSETF_ARGCONST_SENTENCE

$sym100$ARGCONST_MT

public static final SubLSymbol $sym100$ARGCONST_MT

$sym101$_CSETF_ARGCONST_MT

public static final SubLSymbol $sym101$_CSETF_ARGCONST_MT

$sym102$ARGCONST_TEST_FUNCTION

public static final SubLSymbol $sym102$ARGCONST_TEST_FUNCTION

$sym103$_CSETF_ARGCONST_TEST_FUNCTION

public static final SubLSymbol $sym103$_CSETF_ARGCONST_TEST_FUNCTION

$sym104$ARGCONST_TEST_ARGS

public static final SubLSymbol $sym104$ARGCONST_TEST_ARGS

$sym105$_CSETF_ARGCONST_TEST_ARGS

public static final SubLSymbol $sym105$_CSETF_ARGCONST_TEST_ARGS

$sym106$ARGCONST_CLOSED_

public static final SubLSymbol $sym106$ARGCONST_CLOSED_

$sym107$_CSETF_ARGCONST_CLOSED_

public static final SubLSymbol $sym107$_CSETF_ARGCONST_CLOSED_

$sym108$ARGCONST_ATOMIC_

public static final SubLSymbol $sym108$ARGCONST_ATOMIC_

$sym109$_CSETF_ARGCONST_ATOMIC_

public static final SubLSymbol $sym109$_CSETF_ARGCONST_ATOMIC_

$kw110$SENTENCE

public static final SubLSymbol $kw110$SENTENCE

$kw111$MT

public static final SubLSymbol $kw111$MT

$kw112$TEST_FUNCTION

public static final SubLSymbol $kw112$TEST_FUNCTION

$kw113$TEST_ARGS

public static final SubLSymbol $kw113$TEST_ARGS

$kw114$CLOSED_

public static final SubLSymbol $kw114$CLOSED_

$kw115$ATOMIC_

public static final SubLSymbol $kw115$ATOMIC_

$str116$Invalid_slot__S_for_construction_

public static final SubLString $str116$Invalid_slot__S_for_construction_

$str117$__a_ARG_CONSTRAINTaaaa_

public static final SubLString $str117$__a_ARG_CONSTRAINT__a__a__a__a_

$str118$_ARG_CONSTRAINTaa_

public static final SubLString $str118$_ARG_CONSTRAINT__a__a_

$str119$GAF

public static final SubLString $str119$GAF

$str120$GNAF

public static final SubLString $str120$GNAF

$str121$OAF

public static final SubLString $str121$OAF

$str122$ONAF

public static final SubLString $str122$ONAF

$kw123$UNKNOWN

public static final SubLSymbol $kw123$UNKNOWN

$sym124$ISA_

public static final SubLSymbol $sym124$ISA_

$sym125$GENLS_

public static final SubLSymbol $sym125$GENLS_

$sym126$SORTED_ARG_CONSTRAINT_PREDICATES

public static final SubLSymbol $sym126$SORTED_ARG_CONSTRAINT_PREDICATES

$list127

public static final SubLList $list127

$const128$ArgTypePredicate

public static final SubLObject $const128$ArgTypePredicate

$sym129$NO_PREDICATE_EXTENT_P

public static final SubLSymbol $sym129$NO_PREDICATE_EXTENT_P

$const130$ArgConstraintPredicate

public static final SubLObject $const130$ArgConstraintPredicate

$sym131$_SORTED_ARG_CONSTRAINT_PREDICATES_CACHING_STATE_

public static final SubLSymbol $sym131$_SORTED_ARG_CONSTRAINT_PREDICATES_CACHING_STATE_

$kw132$IGNORE

public static final SubLSymbol $kw132$IGNORE

$sym133$FUNCTION_SPEC_P

public static final SubLSymbol $sym133$FUNCTION_SPEC_P

$sym134$LISTP

public static final SubLSymbol $sym134$LISTP

$const135$Relation

public static final SubLObject $const135$Relation

$const136$argIsa

public static final SubLObject $const136$argIsa

$const137$argGenl

public static final SubLObject $const137$argGenl

Method Detail

formula_args_ok_wrt_typeP

public static final SubLObject formula_args_ok_wrt_typeP(SubLObject formula,
                                                         SubLObject mt)

seqvars_inhibited_by_relation_expression

public static final SubLObject seqvars_inhibited_by_relation_expression(SubLObject relation)

Returns the variables that are not allowed to occur as sequence variables within RELATION.

new_inhibited_seqvars

public static final SubLObject new_inhibited_seqvars(SubLObject relation)

Updates the dynamic variable stack of variables that are currently not allowed to appear as sequence variables.

formula_args_ok_wrt_type_intP

public static final SubLObject formula_args_ok_wrt_type_intP(SubLObject formula,
                                                             SubLObject mt)

relation_arg_okP

public static final SubLObject relation_arg_okP(SubLObject relation,
                                                SubLObject arg,
                                                SubLObject argnum,
                                                SubLObject mt)

relation_arg_ok_intP

public static final SubLObject relation_arg_ok_intP(SubLObject relation,
                                                    SubLObject arg,
                                                    SubLObject argnum,
                                                    SubLObject mt)

at_within_negationP

public static final SubLObject at_within_negationP(SubLObject formula_arg0,
                                                   SubLObject arg)

at_within_predicateP

public static final SubLObject at_within_predicateP(SubLObject formula_arg0)

at_within_functionP

public static final SubLObject at_within_functionP(SubLObject formula_arg0)

at_check_arg_typesP

public static final SubLObject at_check_arg_typesP(SubLObject relation,
                                                   SubLObject argnum,
                                                   SubLObject mt)

Returns:: booleanp; t iff arg-type analysis should in fact impose type checks on args of nats

at_check_defining_mtsP

public static final SubLObject at_check_defining_mtsP(SubLObject formula,
                                                      SubLObject argnum)

Returns:: booleanp; t iff defining-mt should be applied to arg ARGNUM of relation RELATION

appraising_disjunctP

public static final SubLObject appraising_disjunctP(SubLObject formula,
                                                    SubLObject mt)

at_within_disjunctP

public static final SubLObject at_within_disjunctP(SubLObject formula,
                                                   SubLObject argnum)

at_within_decontextualizedP

public static final SubLObject at_within_decontextualizedP(SubLObject formula)

variable_arg_okP

public static final SubLObject variable_arg_okP(SubLObject relation,
                                                SubLObject arg,
                                                SubLObject argnum,
                                                SubLObject mt)

Returns t iff satisfies arg-types as a variable. Variables are assumed to satisfy each local arg-type. Nats that reference variables are considered variables wrt (i.e., are assumed to satisfy) applicable arg-types but each of their args must be ok

weak_fort_arg_okP

public static final SubLObject weak_fort_arg_okP(SubLObject relation,
                                                 SubLObject arg,
                                                 SubLObject argnum,
                                                 SubLObject mt)

strong_fort_arg_okP

public static final SubLObject strong_fort_arg_okP(SubLObject relation,
                                                   SubLObject arg,
                                                   SubLObject argnum,
                                                   SubLObject mt)

Returns t iff satisfies the stronger arg-types as a fort. Adopts negation-as-failure while establishing is an instance of every applicable arg-type.

opaque_arg_okP

public static final SubLObject opaque_arg_okP(SubLObject relation,
                                              SubLObject arg,
                                              SubLObject argnum,
                                              SubLObject mt)

Returns t iff satisfies arg-types as an opaque arg. Opaque args must satisfy defns of each applicable arg-type. Adopts negation-as-failure while establishing is an instance of every applicable arg-type.

weak_fort_types_okP

public static final SubLObject weak_fort_types_okP(SubLObject reln,
                                                   SubLObject arg,
                                                   SubLObject argnum,
                                                   SubLObject mt)

strong_fort_arg_types_okP

public static final SubLObject strong_fort_arg_types_okP(SubLObject reln,
                                                         SubLObject arg,
                                                         SubLObject argnum,
                                                         SubLObject mt)

opaque_arg_types_okP

public static final SubLObject opaque_arg_types_okP(SubLObject reln,
                                                    SubLObject arg,
                                                    SubLObject argnum,
                                                    SubLObject mt)

arg_test_okP

public static final SubLObject arg_test_okP(SubLObject reln,
                                            SubLObject arg,
                                            SubLObject argnum,
                                            SubLObject test)

inter_arg_test_failsP

public static final SubLObject inter_arg_test_failsP(SubLObject reln,
                                                     SubLObject arg,
                                                     SubLObject argnum,
                                                     SubLObject test)

mal_intra_argP

public static final SubLObject mal_intra_argP(SubLObject reln,
                                              SubLObject arg,
                                              SubLObject argnum,
                                              SubLObject test)

mal_inter_argP

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

defining_mts_okP

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

Returns:: booleanp; t iff FORT is ok wrt defining-mt constraints

relator_constraints_okP

public static final SubLObject relator_constraints_okP(SubLObject relation,
                                                       SubLObject mt)

predicate_constraints_okP

public static final SubLObject predicate_constraints_okP(SubLObject literal,
                                                         SubLObject mt)

gaf_ok_wrt_irreflexive_predP

public static final SubLObject gaf_ok_wrt_irreflexive_predP(SubLObject gaf,
                                                            SubLObject mt)

find_accessible_gaf

public static final SubLObject find_accessible_gaf(SubLObject gaf,
                                                   SubLObject index,
                                                   SubLObject mt,
                                                   SubLObject truth)

gaf_ok_wrt_negation_predsP

public static final SubLObject gaf_ok_wrt_negation_predsP(SubLObject gaf,
                                                          SubLObject mt)

negation_pred_violations

public static final SubLObject negation_pred_violations(SubLObject pred,
                                                        SubLObject arg1,
                                                        SubLObject arg2)

gaf_ok_wrt_negation_inversesP

public static final SubLObject gaf_ok_wrt_negation_inversesP(SubLObject gaf,
                                                             SubLObject mt)

negation_inverse_violations

public static final SubLObject negation_inverse_violations(SubLObject pred,
                                                           SubLObject arg1,
                                                           SubLObject arg2)

clear_cached_format_okP

public static final SubLObject clear_cached_format_okP()

memoized_format_okP_internal

public static final SubLObject memoized_format_okP_internal(SubLObject format,
                                                            SubLObject literal,
                                                            SubLObject argnum,
                                                            SubLObject mt)

memoized_format_okP

public static final SubLObject memoized_format_okP(SubLObject format,
                                                   SubLObject literal,
                                                   SubLObject argnum,
                                                   SubLObject mt)

at_format_okP

public static final SubLObject at_format_okP(SubLObject format,
                                             SubLObject literal,
                                             SubLObject argnum,
                                             SubLObject mt)

single_entry_okP

public static final SubLObject single_entry_okP(SubLObject literal,
                                                SubLObject argnum,
                                                SubLObject mt)

sef_violations

public static final SubLObject sef_violations(SubLObject literal,
                                              SubLObject argnum,
                                              SubLObject mt)

sef_violating_assertionP

public static final SubLObject sef_violating_assertionP(SubLObject assertion,
                                                        SubLObject find_formula,
                                                        SubLObject arg,
                                                        SubLObject argnum)

set_entry_okP

public static final SubLObject set_entry_okP(SubLObject literal,
                                             SubLObject argnum,
                                             SubLObject mt)

variable_wrt_arg_typeP

public static final SubLObject variable_wrt_arg_typeP(SubLObject arg)

variable_term_wrt_arg_typeP

public static final SubLObject variable_term_wrt_arg_typeP(SubLObject v_term)

naut_wrt_arg_typeP

public static final SubLObject naut_wrt_arg_typeP(SubLObject v_term,
                                                  SubLObject mt)

tou_wrt_arg_typeP

public static final SubLObject tou_wrt_arg_typeP(SubLObject v_term)

nat_function_wrt_arg_typeP

public static final SubLObject nat_function_wrt_arg_typeP(SubLObject v_term)

nat_argument_wrt_arg_typeP

public static final SubLObject nat_argument_wrt_arg_typeP(SubLObject v_term)

strong_fort_wrt_arg_typeP

public static final SubLObject strong_fort_wrt_arg_typeP(SubLObject v_term,
                                                         SubLObject mt)

weak_fort_wrt_arg_typeP

public static final SubLObject weak_fort_wrt_arg_typeP(SubLObject v_term)

arg_constraint_print_function_trampoline

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

declare_arg_type_file

public static final SubLObject declare_arg_type_file()

init_arg_type_file

public static final SubLObject init_arg_type_file()

setup_arg_type_file

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

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl Class arg_type

me

myName

$dtp_arg_constraint$

$const0$forAll

$const1$thereExists

$kw2$INHIBITED_SEQUENCE_VARIABLE

$sym3$CACHED_RELATION_ARG_OK_

$sym4$_CACHED_RELATION_ARG_OK__CACHING_STATE_

$int5$1024

$sym6$CLEAR_CACHED_RELATION_ARG_OK_

$kw7$_MEMOIZED_ITEM_NOT_FOUND_

$const8$not

$const9$termOfUnit

$sym10$RELEVANT_MT_IS_EVERYTHING

$const11$EverythingPSC

$kw12$WEAK_FORT

$kw13$NOT_ISA_DISJOINT

$kw14$NOT_QUOTED_ISA_DISJOINT

$kw15$NOT_ISA

$kw16$NOT_GENLS_DISJOINT

$kw17$GENLS

$kw18$DIFFERENT

$sym19$POSSIBLY_NAUT_P

$kw20$NAUT

$sym21$VARIABLE_TERM_WRT_ARG_TYPE_

$kw22$FORMAT

$kw23$ISA

$kw24$QUOTED_ISA

$const25$Collection

$const26$CollectionDenotingFunction

$const27$Thing

$kw28$OPAQUE

$kw29$STRONG_FORT

$sym30$INTEGERP

$const31$genls

$const32$Quote

$list33

$list34

$str35$invalid_at_test__s_in_mal_intra_a

$str36$invalid_at_test__s_in_mal_inter_a

$sym37$MEMOIZED_DEFINING_MTS_OK_

$str38$__at_test_fails___s_in__s_fails__

$kw39$DEFINING_MT_VIOLATION

$kw40$ASYMMETRIC_PREDICATE

$kw41$ANTI_SYMMETRIC_PREDICATE

$kw42$IRREFLEXIVE_PREDICATE

$kw43$ANTI_TRANSITIVE_PREDICATE

$kw44$NEGATION_PREDS

$kw45$NEGATION_INVERSES

$str46$unknown_predicate_constraint___s

$const47$isa

$const48$AsymmetricBinaryPredicate

$kw49$TRUE

$list50

$kw51$AT_MAPPING_DONE

$kw52$PREDICATE_EXTENT

$sym53$SELECT_ASYMMETRIC_PRED_VIOLATION

$kw54$GAF_ARG

$str55$Ignore_it

$str56$Unexpected_index_type_when_gather

$const57$AntiSymmetricBinaryPredicate

$const58$IrreflexiveBinaryPredicate

$kw59$COMPLETES_CYCLE_

$kw60$WHY_COMPLETES_CYCLE_

$const61$TransitiveBinaryPredicate

$const62$AntiTransitiveBinaryPredicate

$sym63$SELECT_ANTI_TRANSITIVE_PRED_VIOLATION_VIA_PRED

$list64

$sym65$SEARCH_FOR_ANTI_TRANSITIVE_PRED_VIOLATION

$list66

$list67

$sym68$SELECT_ANTI_TRANSITIVE_PRED_VIOLATION

$sym69$SELECT_TARGET_GAF

$const70$negationPreds

$const71$negationInverse

$sym72$CACHED_FORMAT_OK_

$sym73$_CACHED_FORMAT_OK__CACHING_STATE_

$sym74$MEMOIZED_FORMAT_OK_

$const75$SingleEntry

com.cyc.cycjava.cycl
Class arg_type

$str117$__a_ARG_CONSTRAINTaaaa_

$str118$_ARG_CONSTRAINTaa_