com.cyc.cycjava.cycl
Class at_var_types

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class at_var_types
extends SubLTranslatedFile

Nested Class Summary

static class	at_var_types.$clear_at_argn_int_cached$ZeroArityFunction
static class	at_var_types.$contextualized_isa_x_y_litP$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const12$pragmaticRequirement
static SubLObject	$const13$trueSentence
static SubLObject	$const17$termChosen
static SubLObject	$const18$and
static SubLObject	$const21$isa
static SubLObject	$const22$genls
static SubLObject	$const23$quotedIsa
static SubLObject	$const36$TruthFunction
static SubLObject	$const37$Predicate
static SubLObject	$const41$Relation
static SubLObject	$const65$modalInArg
static SubLInteger	$int8$1024
static SubLSymbol	$kw10$BAD_EXPONENTIAL_DISJUNCTION
static SubLSymbol	$kw11$UNINITIALIZED
static SubLSymbol	$kw19$RECURSION_LIMIT_EXCEEDED
static SubLSymbol	$kw20$INVALID_EXPANSION
static SubLSymbol	$kw25$ISA
static SubLSymbol	$kw26$QUOTED_ISA
static SubLSymbol	$kw27$GENLS
static SubLSymbol	$kw28$IGNORE
static SubLSymbol	$kw29$DISJOINT_ARG_ISA
static SubLSymbol	$kw38$REGULARIZE
static SubLSymbol	$kw39$DNF
static SubLSymbol	$kw4$BAD_EXPONENTIAL_CONJUNCTION
static SubLSymbol	$kw40$CNF
static SubLSymbol	$kw56$GAF
static SubLSymbol	$kw57$TRUE
static SubLSymbol	$kw61$NOT_DISJOINT
static SubLSymbol	$kw62$NEGLITS_SUBSUME_POSLITS
static SubLSymbol	$kw63$DISJOINT_ARG_QUOTED_ISA
static SubLSymbol	$kw64$DISJOINT_ARG_GENL
static SubLSymbol	$kw9$_MEMOIZED_ITEM_NOT_FOUND_
static SubLList	$list31
static SubLList	$list33
static SubLList	$list34
static SubLList	$list59
static SubLString	$str55$got_an_unexpected_function__s_wit
static SubLString	$str60$__at_var__a_test__arg__s__s__cons
static SubLSymbol	$sym0$__PRED_MUFFET_212
static SubLSymbol	$sym1$EL_VAR_
static SubLSymbol	$sym14$OPAQUE_ARG_WRT_PRAGMATIC_REQUIREMENT_
static SubLSymbol	$sym15$AT_NEGATED_
static SubLSymbol	$sym16$AT_NEGATE
static SubLSymbol	$sym2$CYC_VAR_
static SubLSymbol	$sym24$VARIABLE_P
static SubLSymbol	$sym3$UNREIFIED_SKOLEM_TERM_
static SubLSymbol	$sym30$ISA_VAR_VAR_LIT_
static SubLSymbol	$sym32$CONTEXTUALIZED_ISA_X_Y_LIT_
static SubLSymbol	$sym35$POS_LIT_VARIABLE_ISA_CONSTRAINTS_MEMOIZED
static SubLSymbol	$sym42$AT_MIN_COLS_MEMOIZED
static SubLSymbol	$sym43$CYC_QUERY_
static SubLSymbol	$sym44$GATHER_AT_DATA_ASSERTION
static SubLSymbol	$sym45$ARGN_ISA
static SubLSymbol	$sym46$ARGN_QUOTED_ISA
static SubLSymbol	$sym47$ARGN_GENL
static SubLSymbol	$sym48$INTER_ARG_ISA_INT
static SubLSymbol	$sym49$INTER_ARG_GENL_INT
static SubLSymbol	$sym5$AT_VAR_TYPE_DNFS_INT_CACHED
static SubLSymbol	$sym50$INTER_ARG_ISA_FROM_TYPE_INT
static SubLSymbol	$sym51$INTER_ARG_GENL_FROM_TYPE_INT
static SubLSymbol	$sym52$AT_ARGN_INT_CACHED
static SubLSymbol	$sym53$_AT_ARGN_INT_CACHED_CACHING_STATE_
static SubLSymbol	$sym54$CLEAR_AT_ARGN_INT_CACHED
static SubLSymbol	$sym58$FIRST
static SubLSymbol	$sym6$SKOLEM_FUNCTION_VAR
static SubLSymbol	$sym7$_AT_VAR_TYPE_DNFS_INT_CACHED_CACHING_STATE_
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	at_argn_genl(SubLObject relation, SubLObject argnum) assumes mt relevance established from outside, and that we are within a with-at-reln macro.
static SubLObject	at_argn_int_cached_internal(SubLObject relation, SubLObject argnum, SubLObject ind_arg, SubLObject ind_argnum, SubLObject at_func, SubLObject at_func_arity, SubLObject mt_info)
static SubLObject	at_argn_int_cached(SubLObject relation, SubLObject argnum, SubLObject ind_arg, SubLObject ind_argnum, SubLObject at_func, SubLObject at_func_arity, SubLObject mt_info)
static SubLObject	at_argn_int_funcall(SubLObject at_func, SubLObject at_func_arity, SubLObject relation, SubLObject arg, SubLObject ind_arg, SubLObject ind_argnum)
static SubLObject	at_argn_int(SubLObject relation, SubLObject argnum, SubLObject ind_arg, SubLObject ind_argnum, SubLObject at_func, SubLObject at_func_arity)
static SubLObject	at_argn_isa(SubLObject relation, SubLObject argnum) assumes mt relevance established from outside, and that we are within a with-at-reln macro.
static SubLObject	at_argn_quoted_isa(SubLObject relation, SubLObject argnum) assumes mt relevance established from outside, and that we are within a with-at-reln macro.
static SubLObject	at_inter_arg_checkable_objectP(SubLObject object)
static SubLObject	at_min_cols_memoized_internal(SubLObject cols, SubLObject mt)
static SubLObject	at_min_cols_memoized(SubLObject cols, SubLObject mt)
static SubLObject	at_min_cols(SubLObject cols, SubLObject mt)
static SubLObject	at_negatedP(SubLObject formula)
static SubLObject	at_transform_true_sentence_negation_preds(SubLObject sentence, SubLObject mt)
static SubLObject	at_var_type_cnfs_int(SubLObject sentence, SubLObject mt, SubLObject assume_syntax_okP, SubLObject catch_czer_errorsP)
static SubLObject	at_var_type_repackage_cnfs(SubLObject cnfs)
static SubLObject	at_var_types_cnfs_clausify(SubLObject sentence)
static SubLObject	clear_at_argn_int_cached()
static SubLObject	cnf_neg_lit_variable_genl_constraints(SubLObject var, SubLObject literal, SubLObject mt)
static SubLObject	cnf_neg_lit_variable_isa_constraints(SubLObject var, SubLObject literal, SubLObject mt)
static SubLObject	cnf_neg_lit_variable_quoted_isa_constraints(SubLObject var, SubLObject literal, SubLObject mt)
static SubLObject	cnf_pos_lit_variable_genl_constraints(SubLObject var, SubLObject literal, SubLObject mt)
static SubLObject	cnf_pos_lit_variable_isa_constraints(SubLObject var, SubLObject literal, SubLObject mt)
static SubLObject	cnf_pos_lit_variable_quoted_isa_constraints(SubLObject var, SubLObject literal, SubLObject mt)
static SubLObject	cnf_var_constraint_implications_okP(SubLObject cnf, SubLObject isa_constraints, SubLObject mt, SubLObject varP) Whether the interArgIsa constraints FROM the cnfs' variables TO fully-bound collections are ok.
static SubLObject	cnf_variable_genl_constraints(SubLObject var, SubLObject cnf, SubLObject mt)
static SubLObject	cnf_variable_inter_arg_isa_constraints_int(SubLObject var, SubLObject cnf, SubLObject mt)
static SubLObject	cnf_variable_inter_arg_isa_constraints(SubLObject var, SubLObject cnf, SubLObject constraints, SubLObject mt)
static SubLObject	cnf_variable_isa_constraints(SubLObject var, SubLObject cnf, SubLObject mt)
static SubLObject	cnf_variable_quoted_isa_constraints(SubLObject var, SubLObject cnf, SubLObject mt)
static SubLObject	cnf_variables_arg_constraints_okP(SubLObject cnf, SubLObject mt, SubLObject varP)
static SubLObject	cnf_variables_genl_constraints(SubLObject cnf, SubLObject mt, SubLObject varP)
static SubLObject	cnf_variables_isa_constraints(SubLObject cnf, SubLObject mt, SubLObject varP)
static SubLObject	cnf_variables_quoted_isa_constraints(SubLObject cnf, SubLObject mt, SubLObject varP)
static SubLObject	contextualized_dnf_variable_isa_constraint_tuples(SubLObject var, SubLObject contextualized_dnf) Based on @xref dnf-variable-isa-constraints
static SubLObject	contextualized_dnf_variables_isa_constraint_tuples(SubLObject dnf, SubLObject varP)
static SubLObject	contextualized_isa_x_y_litP(SubLObject object)
static SubLObject	declare_at_var_types_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	dnf_pos_lit_variable_isa_constraints(SubLObject var, SubLObject literal, SubLObject mt)
static SubLObject	formula_var_types_ok_intP(SubLObject formula, SubLObject mt)
static SubLObject	independent_cnfs_variables_arg_constraints_okP_int(SubLObject cnfs, SubLObject mt, SubLObject varP)
static SubLObject	independent_cnfs_variables_arg_constraints_okP(SubLObject cnfs, SubLObject mt, SubLObject varP)
static SubLObject	init_at_var_types_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	inter_arg_isa_from_type_int(SubLObject relation, SubLObject argnum, SubLObject ind_type, SubLObject ind_argnum)
static SubLObject	inter_arg_isa_from_type(SubLObject relation, SubLObject argnum, SubLObject ind_type, SubLObject ind_argnum) assumes mt relevance established from outside, and that we are within a with-at-reln macro.
static SubLObject	inter_arg_isa_int(SubLObject relation, SubLObject argnum, SubLObject ind_arg, SubLObject ind_argnum)
static SubLObject	inter_arg_isa(SubLObject relation, SubLObject argnum, SubLObject ind_arg, SubLObject ind_argnum) assumes mt relevance established from outside, and that we are within a with-at-reln macro.
static SubLObject	inter_arg_type_int(SubLObject type, SubLObject relation, SubLObject argnum, SubLObject ind_arg, SubLObject at_pred) param TYPE; :isa or :genls
static SubLObject	inter_arg_type_verify_candidates(SubLObject candidates, SubLObject ind_arg, SubLObject argnum, SubLObject type)
static SubLObject	modal_in_argP(SubLObject relation, SubLObject index, SubLObject mt)
static SubLObject	neg_lit_variable_genl_constraints(SubLObject var, SubLObject literal, SubLObject mt)
static SubLObject	neg_lit_variable_inter_arg_isa_constraints(SubLObject var, SubLObject literal, SubLObject mt)
static SubLObject	neg_lit_variable_isa_constraints(SubLObject var, SubLObject literal, SubLObject mt)
static SubLObject	neg_lit_variable_quoted_isa_constraints(SubLObject var, SubLObject literal, SubLObject mt)
static SubLObject	opaque_arg_wrt_pragmatic_requirementP(SubLObject formula, SubLObject argnum)
static SubLObject	pos_lit_variable_genl_constraints(SubLObject var, SubLObject literal, SubLObject mt)
static SubLObject	pos_lit_variable_inter_arg_isa_constraints(SubLObject var, SubLObject literal, SubLObject mt)
static SubLObject	pos_lit_variable_isa_constraints_memoized_internal(SubLObject var, SubLObject literal, SubLObject mt)
static SubLObject	pos_lit_variable_isa_constraints_memoized(SubLObject var, SubLObject literal, SubLObject mt)
static SubLObject	pos_lit_variable_isa_constraints(SubLObject var, SubLObject literal, SubLObject mt)
static SubLObject	pos_lit_variable_quoted_isa_constraints(SubLObject var, SubLObject literal, SubLObject mt)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_at_var_types_file()
static SubLObject	var_types_not_disjointP(SubLObject var_types_pairs, SubLObject type, SubLObject mt)
static SubLObject	var_types_okP(SubLObject var_types_pairs, SubLObject type, SubLObject mt)
static SubLObject	vt_unskolemize_term(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

$sym0$__PRED_MUFFET_212

public static final SubLSymbol $sym0$__PRED_MUFFET_212

$sym1$EL_VAR_

public static final SubLSymbol $sym1$EL_VAR_

$sym2$CYC_VAR_

public static final SubLSymbol $sym2$CYC_VAR_

$sym3$UNREIFIED_SKOLEM_TERM_

public static final SubLSymbol $sym3$UNREIFIED_SKOLEM_TERM_

$kw4$BAD_EXPONENTIAL_CONJUNCTION

public static final SubLSymbol $kw4$BAD_EXPONENTIAL_CONJUNCTION

$sym5$AT_VAR_TYPE_DNFS_INT_CACHED

public static final SubLSymbol $sym5$AT_VAR_TYPE_DNFS_INT_CACHED

$sym6$SKOLEM_FUNCTION_VAR

public static final SubLSymbol $sym6$SKOLEM_FUNCTION_VAR

$sym7$_AT_VAR_TYPE_DNFS_INT_CACHED_CACHING_STATE_

public static final SubLSymbol $sym7$_AT_VAR_TYPE_DNFS_INT_CACHED_CACHING_STATE_

$int8$1024

public static final SubLInteger $int8$1024

$kw9$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw9$_MEMOIZED_ITEM_NOT_FOUND_

$kw10$BAD_EXPONENTIAL_DISJUNCTION

public static final SubLSymbol $kw10$BAD_EXPONENTIAL_DISJUNCTION

$kw11$UNINITIALIZED

public static final SubLSymbol $kw11$UNINITIALIZED

$const12$pragmaticRequirement

public static final SubLObject $const12$pragmaticRequirement

$const13$trueSentence

public static final SubLObject $const13$trueSentence

$sym14$OPAQUE_ARG_WRT_PRAGMATIC_REQUIREMENT_

public static final SubLSymbol $sym14$OPAQUE_ARG_WRT_PRAGMATIC_REQUIREMENT_

$sym15$AT_NEGATED_

public static final SubLSymbol $sym15$AT_NEGATED_

$sym16$AT_NEGATE

public static final SubLSymbol $sym16$AT_NEGATE

$const17$termChosen

public static final SubLObject $const17$termChosen

$const18$and

public static final SubLObject $const18$and

$kw19$RECURSION_LIMIT_EXCEEDED

public static final SubLSymbol $kw19$RECURSION_LIMIT_EXCEEDED

$kw20$INVALID_EXPANSION

public static final SubLSymbol $kw20$INVALID_EXPANSION

$const21$isa

public static final SubLObject $const21$isa

$const22$genls

public static final SubLObject $const22$genls

$const23$quotedIsa

public static final SubLObject $const23$quotedIsa

$sym24$VARIABLE_P

public static final SubLSymbol $sym24$VARIABLE_P

$kw25$ISA

public static final SubLSymbol $kw25$ISA

$kw26$QUOTED_ISA

public static final SubLSymbol $kw26$QUOTED_ISA

$kw27$GENLS

public static final SubLSymbol $kw27$GENLS

$kw28$IGNORE

public static final SubLSymbol $kw28$IGNORE

$kw29$DISJOINT_ARG_ISA

public static final SubLSymbol $kw29$DISJOINT_ARG_ISA

$sym30$ISA_VAR_VAR_LIT_

public static final SubLSymbol $sym30$ISA_VAR_VAR_LIT_

$list31

public static final SubLList $list31

$sym32$CONTEXTUALIZED_ISA_X_Y_LIT_

public static final SubLSymbol $sym32$CONTEXTUALIZED_ISA_X_Y_LIT_

$list33

public static final SubLList $list33

$list34

public static final SubLList $list34

$sym35$POS_LIT_VARIABLE_ISA_CONSTRAINTS_MEMOIZED

public static final SubLSymbol $sym35$POS_LIT_VARIABLE_ISA_CONSTRAINTS_MEMOIZED

$const36$TruthFunction

public static final SubLObject $const36$TruthFunction

$const37$Predicate

public static final SubLObject $const37$Predicate

$kw38$REGULARIZE

public static final SubLSymbol $kw38$REGULARIZE

$kw39$DNF

public static final SubLSymbol $kw39$DNF

$kw40$CNF

public static final SubLSymbol $kw40$CNF

$const41$Relation

public static final SubLObject $const41$Relation

$sym42$AT_MIN_COLS_MEMOIZED

public static final SubLSymbol $sym42$AT_MIN_COLS_MEMOIZED

$sym43$CYC_QUERY_

public static final SubLSymbol $sym43$CYC_QUERY_

$sym44$GATHER_AT_DATA_ASSERTION

public static final SubLSymbol $sym44$GATHER_AT_DATA_ASSERTION

$sym45$ARGN_ISA

public static final SubLSymbol $sym45$ARGN_ISA

$sym46$ARGN_QUOTED_ISA

public static final SubLSymbol $sym46$ARGN_QUOTED_ISA

$sym47$ARGN_GENL

public static final SubLSymbol $sym47$ARGN_GENL

$sym48$INTER_ARG_ISA_INT

public static final SubLSymbol $sym48$INTER_ARG_ISA_INT

$sym49$INTER_ARG_GENL_INT

public static final SubLSymbol $sym49$INTER_ARG_GENL_INT

$sym50$INTER_ARG_ISA_FROM_TYPE_INT

public static final SubLSymbol $sym50$INTER_ARG_ISA_FROM_TYPE_INT

$sym51$INTER_ARG_GENL_FROM_TYPE_INT

public static final SubLSymbol $sym51$INTER_ARG_GENL_FROM_TYPE_INT

$sym52$AT_ARGN_INT_CACHED

public static final SubLSymbol $sym52$AT_ARGN_INT_CACHED

$sym53$_AT_ARGN_INT_CACHED_CACHING_STATE_

public static final SubLSymbol $sym53$_AT_ARGN_INT_CACHED_CACHING_STATE_

$sym54$CLEAR_AT_ARGN_INT_CACHED

public static final SubLSymbol $sym54$CLEAR_AT_ARGN_INT_CACHED

$str55$got_an_unexpected_function__s_wit

public static final SubLString $str55$got_an_unexpected_function__s_wit

$kw56$GAF

public static final SubLSymbol $kw56$GAF

$kw57$TRUE

public static final SubLSymbol $kw57$TRUE

$sym58$FIRST

public static final SubLSymbol $sym58$FIRST

$list59

public static final SubLList $list59

$str60$__at_var__a_test__arg__s__s__cons

public static final SubLString $str60$__at_var__a_test__arg__s__s__cons

$kw61$NOT_DISJOINT

public static final SubLSymbol $kw61$NOT_DISJOINT

$kw62$NEGLITS_SUBSUME_POSLITS

public static final SubLSymbol $kw62$NEGLITS_SUBSUME_POSLITS

$kw63$DISJOINT_ARG_QUOTED_ISA

public static final SubLSymbol $kw63$DISJOINT_ARG_QUOTED_ISA

$kw64$DISJOINT_ARG_GENL

public static final SubLSymbol $kw64$DISJOINT_ARG_GENL

$const65$modalInArg

public static final SubLObject $const65$modalInArg

Method Detail

formula_var_types_ok_intP

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

independent_cnfs_variables_arg_constraints_okP

public static final SubLObject independent_cnfs_variables_arg_constraints_okP(SubLObject cnfs,
                                                                              SubLObject mt,
                                                                              SubLObject varP)

independent_cnfs_variables_arg_constraints_okP_int

public static final SubLObject independent_cnfs_variables_arg_constraints_okP_int(SubLObject cnfs,
                                                                                  SubLObject mt,
                                                                                  SubLObject varP)

at_var_type_cnfs_int

public static final SubLObject at_var_type_cnfs_int(SubLObject sentence,
                                                    SubLObject mt,
                                                    SubLObject assume_syntax_okP,
                                                    SubLObject catch_czer_errorsP)

at_var_types_cnfs_clausify

public static final SubLObject at_var_types_cnfs_clausify(SubLObject sentence)

opaque_arg_wrt_pragmatic_requirementP

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

Returns:

boolean; t iff arg number ARGNUM of FORMULA is opaque by the default criteria, or the arg1 of #$pragmaticRequirement.

at_transform_true_sentence_negation_preds

public static final SubLObject at_transform_true_sentence_negation_preds(SubLObject sentence,
                                                                         SubLObject mt)

at_negatedP

public static final SubLObject at_negatedP(SubLObject formula)

at_var_type_repackage_cnfs

public static final SubLObject at_var_type_repackage_cnfs(SubLObject cnfs)

cnf_variables_arg_constraints_okP

public static final SubLObject cnf_variables_arg_constraints_okP(SubLObject cnf,
                                                                 SubLObject mt,
                                                                 SubLObject varP)

cnf_variables_isa_constraints

public static final SubLObject cnf_variables_isa_constraints(SubLObject cnf,
                                                             SubLObject mt,
                                                             SubLObject varP)

cnf_variables_quoted_isa_constraints

public static final SubLObject cnf_variables_quoted_isa_constraints(SubLObject cnf,
                                                                    SubLObject mt,
                                                                    SubLObject varP)

cnf_variables_genl_constraints

public static final SubLObject cnf_variables_genl_constraints(SubLObject cnf,
                                                              SubLObject mt,
                                                              SubLObject varP)

cnf_variable_isa_constraints

public static final SubLObject cnf_variable_isa_constraints(SubLObject var,
                                                            SubLObject cnf,
                                                            SubLObject mt)

cnf_variable_quoted_isa_constraints

public static final SubLObject cnf_variable_quoted_isa_constraints(SubLObject var,
                                                                   SubLObject cnf,
                                                                   SubLObject mt)

cnf_variable_genl_constraints

public static final SubLObject cnf_variable_genl_constraints(SubLObject var,
                                                             SubLObject cnf,
                                                             SubLObject mt)

cnf_variable_inter_arg_isa_constraints

public static final SubLObject cnf_variable_inter_arg_isa_constraints(SubLObject var,
                                                                      SubLObject cnf,
                                                                      SubLObject constraints,
                                                                      SubLObject mt)

cnf_variable_inter_arg_isa_constraints_int

public static final SubLObject cnf_variable_inter_arg_isa_constraints_int(SubLObject var,
                                                                          SubLObject cnf,
                                                                          SubLObject mt)

cnf_var_constraint_implications_okP

public static final SubLObject cnf_var_constraint_implications_okP(SubLObject cnf,
                                                                   SubLObject isa_constraints,
                                                                   SubLObject mt,
                                                                   SubLObject varP)

Whether the interArgIsa constraints FROM the cnfs' variables TO fully-bound collections are ok. Returns NIL if a contradiction is found. @see :inter-arg-isa-from-variable-to-disjoint-collection in wff-tests

contextualized_dnf_variables_isa_constraint_tuples

public static final SubLObject contextualized_dnf_variables_isa_constraint_tuples(SubLObject dnf,
                                                                                  SubLObject varP)

Returns:

a list of tuples of the form (VAR MT COLLECTIONS), where VAR is constrained to be all of COLLECTIONS in MT.

contextualized_dnf_variable_isa_constraint_tuples

public static final SubLObject contextualized_dnf_variable_isa_constraint_tuples(SubLObject var,
                                                                                 SubLObject contextualized_dnf)

Based on @xref dnf-variable-isa-constraints

contextualized_isa_x_y_litP

public static final SubLObject contextualized_isa_x_y_litP(SubLObject object)

cnf_neg_lit_variable_isa_constraints

public static final SubLObject cnf_neg_lit_variable_isa_constraints(SubLObject var,
                                                                    SubLObject literal,
                                                                    SubLObject mt)

cnf_neg_lit_variable_quoted_isa_constraints

public static final SubLObject cnf_neg_lit_variable_quoted_isa_constraints(SubLObject var,
                                                                           SubLObject literal,
                                                                           SubLObject mt)

cnf_neg_lit_variable_genl_constraints

public static final SubLObject cnf_neg_lit_variable_genl_constraints(SubLObject var,
                                                                     SubLObject literal,
                                                                     SubLObject mt)

cnf_pos_lit_variable_isa_constraints

public static final SubLObject cnf_pos_lit_variable_isa_constraints(SubLObject var,
                                                                    SubLObject literal,
                                                                    SubLObject mt)

cnf_pos_lit_variable_quoted_isa_constraints

public static final SubLObject cnf_pos_lit_variable_quoted_isa_constraints(SubLObject var,
                                                                           SubLObject literal,
                                                                           SubLObject mt)

cnf_pos_lit_variable_genl_constraints

public static final SubLObject cnf_pos_lit_variable_genl_constraints(SubLObject var,
                                                                     SubLObject literal,
                                                                     SubLObject mt)

dnf_pos_lit_variable_isa_constraints

public static final SubLObject dnf_pos_lit_variable_isa_constraints(SubLObject var,
                                                                    SubLObject literal,
                                                                    SubLObject mt)

vt_unskolemize_term

public static final SubLObject vt_unskolemize_term(SubLObject v_term)

neg_lit_variable_isa_constraints

public static final SubLObject neg_lit_variable_isa_constraints(SubLObject var,
                                                                SubLObject literal,
                                                                SubLObject mt)

neg_lit_variable_quoted_isa_constraints

public static final SubLObject neg_lit_variable_quoted_isa_constraints(SubLObject var,
                                                                       SubLObject literal,
                                                                       SubLObject mt)

neg_lit_variable_genl_constraints

public static final SubLObject neg_lit_variable_genl_constraints(SubLObject var,
                                                                 SubLObject literal,
                                                                 SubLObject mt)

pos_lit_variable_isa_constraints

public static final SubLObject pos_lit_variable_isa_constraints(SubLObject var,
                                                                SubLObject literal,
                                                                SubLObject mt)

pos_lit_variable_isa_constraints_memoized_internal

public static final SubLObject pos_lit_variable_isa_constraints_memoized_internal(SubLObject var,
                                                                                  SubLObject literal,
                                                                                  SubLObject mt)

pos_lit_variable_isa_constraints_memoized

public static final SubLObject pos_lit_variable_isa_constraints_memoized(SubLObject var,
                                                                         SubLObject literal,
                                                                         SubLObject mt)

pos_lit_variable_quoted_isa_constraints

public static final SubLObject pos_lit_variable_quoted_isa_constraints(SubLObject var,
                                                                       SubLObject literal,
                                                                       SubLObject mt)

pos_lit_variable_genl_constraints

public static final SubLObject pos_lit_variable_genl_constraints(SubLObject var,
                                                                 SubLObject literal,
                                                                 SubLObject mt)

neg_lit_variable_inter_arg_isa_constraints

public static final SubLObject neg_lit_variable_inter_arg_isa_constraints(SubLObject var,
                                                                          SubLObject literal,
                                                                          SubLObject mt)

pos_lit_variable_inter_arg_isa_constraints

public static final SubLObject pos_lit_variable_inter_arg_isa_constraints(SubLObject var,
                                                                          SubLObject literal,
                                                                          SubLObject mt)

at_inter_arg_checkable_objectP

public static final SubLObject at_inter_arg_checkable_objectP(SubLObject object)

at_min_cols

public static final SubLObject at_min_cols(SubLObject cols,
                                           SubLObject mt)

at_min_cols_memoized_internal

public static final SubLObject at_min_cols_memoized_internal(SubLObject cols,
                                                             SubLObject mt)

at_min_cols_memoized

public static final SubLObject at_min_cols_memoized(SubLObject cols,
                                                    SubLObject mt)

at_argn_isa

public static final SubLObject at_argn_isa(SubLObject relation,
                                           SubLObject argnum)

assumes mt relevance established from outside, and that we are within a with-at-reln macro.

at_argn_quoted_isa

public static final SubLObject at_argn_quoted_isa(SubLObject relation,
                                                  SubLObject argnum)

assumes mt relevance established from outside, and that we are within a with-at-reln macro.

at_argn_genl

public static final SubLObject at_argn_genl(SubLObject relation,
                                            SubLObject argnum)

assumes mt relevance established from outside, and that we are within a with-at-reln macro.

inter_arg_isa

public static final SubLObject inter_arg_isa(SubLObject relation,
                                             SubLObject argnum,
                                             SubLObject ind_arg,
                                             SubLObject ind_argnum)

assumes mt relevance established from outside, and that we are within a with-at-reln macro.

inter_arg_isa_from_type

public static final SubLObject inter_arg_isa_from_type(SubLObject relation,
                                                       SubLObject argnum,
                                                       SubLObject ind_type,
                                                       SubLObject ind_argnum)

assumes mt relevance established from outside, and that we are within a with-at-reln macro.

at_argn_int

public static final SubLObject at_argn_int(SubLObject relation,
                                           SubLObject argnum,
                                           SubLObject ind_arg,
                                           SubLObject ind_argnum,
                                           SubLObject at_func,
                                           SubLObject at_func_arity)

clear_at_argn_int_cached

public static final SubLObject clear_at_argn_int_cached()

at_argn_int_cached_internal

public static final SubLObject at_argn_int_cached_internal(SubLObject relation,
                                                           SubLObject argnum,
                                                           SubLObject ind_arg,
                                                           SubLObject ind_argnum,
                                                           SubLObject at_func,
                                                           SubLObject at_func_arity,
                                                           SubLObject mt_info)

at_argn_int_cached

public static final SubLObject at_argn_int_cached(SubLObject relation,
                                                  SubLObject argnum,
                                                  SubLObject ind_arg,
                                                  SubLObject ind_argnum,
                                                  SubLObject at_func,
                                                  SubLObject at_func_arity,
                                                  SubLObject mt_info)

at_argn_int_funcall

public static final SubLObject at_argn_int_funcall(SubLObject at_func,
                                                   SubLObject at_func_arity,
                                                   SubLObject relation,
                                                   SubLObject arg,
                                                   SubLObject ind_arg,
                                                   SubLObject ind_argnum)

inter_arg_isa_int

public static final SubLObject inter_arg_isa_int(SubLObject relation,
                                                 SubLObject argnum,
                                                 SubLObject ind_arg,
                                                 SubLObject ind_argnum)

inter_arg_type_int

public static final SubLObject inter_arg_type_int(SubLObject type,
                                                  SubLObject relation,
                                                  SubLObject argnum,
                                                  SubLObject ind_arg,
                                                  SubLObject at_pred)

param TYPE; :isa or :genls

inter_arg_type_verify_candidates

public static final SubLObject inter_arg_type_verify_candidates(SubLObject candidates,
                                                                SubLObject ind_arg,
                                                                SubLObject argnum,
                                                                SubLObject type)

Parameters:

CANDIDATES; - a list of triples of the form (ind-col dep-col assertion)

TYPE; - :isa or :genls

inter_arg_isa_from_type_int

public static final SubLObject inter_arg_isa_from_type_int(SubLObject relation,
                                                           SubLObject argnum,
                                                           SubLObject ind_type,
                                                           SubLObject ind_argnum)

var_types_okP

public static final SubLObject var_types_okP(SubLObject var_types_pairs,
                                             SubLObject type,
                                             SubLObject mt)

var_types_not_disjointP

public static final SubLObject var_types_not_disjointP(SubLObject var_types_pairs,
                                                       SubLObject type,
                                                       SubLObject mt)

modal_in_argP

public static final SubLObject modal_in_argP(SubLObject relation,
                                             SubLObject index,
                                             SubLObject mt)

declare_at_var_types_file

public static final SubLObject declare_at_var_types_file()

init_at_var_types_file

public static final SubLObject init_at_var_types_file()

setup_at_var_types_file

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