cycl_utilities

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 cycl_utilities

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class cycl_utilities
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`cycl_utilities.$atomic_sentence_predicate$UnaryFunction`
`static class`	`cycl_utilities.$hl_term_to_el_term$UnaryFunction`
`static class`	`cycl_utilities.$hl_term_with_el_counterpart_p$UnaryFunction`
`static class`	`cycl_utilities.$opaque_arg_wrt_quotingP$BinaryFunction`
`static class`	`cycl_utilities.$renamed_default_el_var_p$UnaryFunction`

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

Field Summary
`static SubLObject`	`$const27$Quote`
`static SubLObject`	`$const28$ExpandSubLFn`
`static SubLObject`	`$const40$CollectionIntersectionFn`
`static SubLObject`	`$const41$CollectionIntersection2Fn`
`static SubLObject`	`$const42$CollectionUnionFn`
`static SubLObject`	`$const43$TheSet`
`static SubLObject`	`$const52$functionalInArgs`
`static SubLObject`	`$const53$strictlyFunctionalInArgs`
`static SubLObject`	`$const62$False`
`static SubLObject`	`$const63$not`
`static SubLObject`	`$const7$SkolemFunctionFn`
`static SubLObject`	`$const8$trueSentence`
`static SubLObject`	`$const81$FormulaArgPositionFn`
`static SubLInteger`	`$int25$212`
`static SubLInteger`	`$int56$100`
`static SubLSymbol`	`$kw12$REGULARIZE`
`static SubLSymbol`	`$kw19$IGNORE`
`static SubLSymbol`	`$kw26$TRANSFORMATION_LIMIT_EXCEEDED`
`static SubLSymbol`	`$kw33$_MEMOIZED_ITEM_NOT_FOUND_`
`static SubLSymbol`	`$kw73$TRUE`
`static SubLSymbol`	`$kw77$INCLUDE`
`static SubLList`	`$list2`
`static SubLList`	`$list34`
`static SubLList`	`$list35`
`static SubLList`	`$list36`
`static SubLList`	`$list65`
`static SubLList`	`$list67`
`static SubLList`	`$list68`
`static SubLList`	`$list71`
`static SubLSymbol`	$opaque_arg_function$ The function to use to determine argument opacity
`static SubLSymbol`	$opaque_seqvar_function$ The function to use to determine sequence variable opacity
`static SubLString`	`$str20$_S_is_not_well_formed_`
`static SubLString`	`$str39$_RENAMED_VAR`
`static SubLString`	`$str66$Assuming_FORM_is_a_valid_CycL_for`
`static SubLString`	`$str70$Assuming_FORM_is_a_valid_CycL_for`
`static SubLString`	`$str78$formula_terms_int_got_a_non_el_va`
`static SubLSymbol`	`$sym0$DEFAULT_OPAQUE_ARG_`
`static SubLSymbol`	`$sym1$DEFAULT_OPAQUE_SEQVAR_`
`static SubLSymbol`	`$sym10$HL_TERM_TO_EL_TERM`
`static SubLSymbol`	`$sym11$CAREFUL_HL_TERM_TO_EL_TERM`
`static SubLSymbol`	`$sym13$ASSERTION_P`
`static SubLSymbol`	`$sym14$EXPRESSION_COUNT_HELPER`
`static SubLSymbol`	`$sym15$EL_FORMULA_P`
`static SubLSymbol`	`$sym16$FORT_P`
`static SubLSymbol`	`$sym17$CONSTANT_P`
`static SubLSymbol`	`$sym18$NART_P`
`static SubLSymbol`	`$sym21$CONTAINING_SUBEXPRESSIONS_LAMBDA_FN`
`static SubLSymbol`	`$sym22$KEYWORDP`
`static SubLSymbol`	`$sym23$EXPRESSION_FIND_IF`
`static SubLSymbol`	`$sym24$LISTP`
`static SubLSymbol`	`$sym29$CYC_VAR_`
`static SubLSymbol`	`$sym3$CLET`
`static SubLSymbol`	`$sym30$EL_VAR_`
`static SubLSymbol`	`$sym31$PERMUTE_LIST_CACHED`
`static SubLSymbol`	`$sym32$_PERMUTE_LIST_CACHED_CACHING_STATE_`
`static SubLSymbol`	`$sym37$DEFAULT_EL_VAR_`
`static SubLSymbol`	`$sym38$RENAMED_DEFAULT_EL_VAR_P`
`static SubLSymbol`	`$sym4$_OPAQUE_ARG_FUNCTION_`
`static SubLSymbol`	`$sym44$CONSTANT_EXTERNAL_ID__`
`static SubLSymbol`	`$sym45$CONSTANT_EXTERNAL_ID`
`static SubLSymbol`	`$sym46$_`
`static SubLSymbol`	`$sym47$CONSTANT_INTERNAL_ID`
`static SubLSymbol`	`$sym48$NART_ID`
`static SubLSymbol`	`$sym49$ASSERTION_ID`
`static SubLSymbol`	`$sym5$_OPAQUE_SEQVAR_FUNCTION_`
`static SubLSymbol`	`$sym50$FORT_INTERNAL_ID`
`static SubLSymbol`	`$sym51$VALID_SOMEWHERE_CACHE_ITEM_`
`static SubLSymbol`	`$sym54$FUNCTIONAL_IN_ARG_POSITIONS`
`static SubLSymbol`	`$sym55$INDEXED_TERM_P`
`static SubLSymbol`	`$sym57$OPAQUE_ARG_WRT_NAT_REIFICATION_`
`static SubLSymbol`	`$sym58$NART_LOOKUP`
`static SubLSymbol`	`$sym59$NULL`
`static SubLSymbol`	`$sym6$OPAQUE_ARG_WRT_EL_TEMPLATE_`
`static SubLSymbol`	`$sym60$EL_FIND_IF_NART`
`static SubLSymbol`	`$sym61$VARIABLE_P`
`static SubLSymbol`	`$sym64$NEGATED_`
`static SubLSymbol`	`$sym69$NEGATE`
`static SubLSymbol`	`$sym72$TRUTH_P`
`static SubLSymbol`	`$sym74$NON_NEGATIVE_INTEGER_P`
`static SubLSymbol`	`$sym75$FORMULA_OPERATOR`
`static SubLSymbol`	`$sym76$CYCL_SENTENCE_P`
`static SubLSymbol`	`$sym79$POSSIBLY_NAUT_P`
`static SubLSymbol`	`$sym80$FIXNUMP`
`static SubLSymbol`	`$sym82$ARG_POSITION_P`
`static SubLSymbol`	`$sym83$CYCL_ARG_POSITION_P`
`static SubLSymbol`	`$sym84$NON_DOTTED_LIST_P`
`static SubLSymbol`	`$sym9$HL_TERM_WITH_EL_COUNTERPART_P`
`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`	`args_canonical_commutative_permutations(SubLObject formula, SubLObject varP)` Result is destructible.
`static SubLObject`	`assertion_gather(SubLObject pred, SubLObject assertion, SubLObject penetrate_hl_structuresP, SubLObject test, SubLObject key, SubLObject subs_tooP)`
`static SubLObject`	`atomic_reified_term_p(SubLObject object)`
`static SubLObject`	`atomic_sentence_arg(SubLObject asent, SubLObject argnum, SubLObject seqvar_handling)`
`static SubLObject`	`atomic_sentence_arg1(SubLObject asent, SubLObject seqvar_handling)`
`static SubLObject`	`atomic_sentence_arg2(SubLObject asent, SubLObject seqvar_handling)`
`static SubLObject`	`atomic_sentence_arg3(SubLObject asent, SubLObject seqvar_handling)`
`static SubLObject`	`atomic_sentence_args(SubLObject asent, SubLObject seqvar_handling)`
`static SubLObject`	`atomic_sentence_predicate(SubLObject asent)`
`static SubLObject`	`atomic_sentence_with_any_of_preds_p(SubLObject asent, SubLObject preds)`
`static SubLObject`	`atomic_sentence_with_pred_p(SubLObject asent, SubLObject pred)`
`static SubLObject`	`canonical_commutative_permutations(SubLObject formula, SubLObject varP, SubLObject penetrate_argsP)` Return the permutations of the formula that can be possibly canonical.
`static SubLObject`	`canonical_permute_formula(SubLObject source_formula, SubLObject argnums_to_permute, SubLObject argnum_permutation)` Result is destructible
`static SubLObject`	`careful_hl_term_to_el_term(SubLObject hl_term)` converts HL-TERM to an EL term if HL-TERM has an EL counterpart, otherwise leaves HL-TERM unchanged.
`static SubLObject`	`declare_cycl_utilities_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`default_opaque_argP(SubLObject formula, SubLObject argnum)`
`static SubLObject`	`el_formula_arg(SubLObject el_formula, SubLObject argnum, SubLObject seqvar_handling)` returns the ARGNUMth argument of EL-FORMULA.
`static SubLObject`	`el_formula_args(SubLObject el_formula, SubLObject seqvar_handling)`
`static SubLObject`	`el_formula_operator(SubLObject el_formula)` returns the operator of EL-FORMULA.
`static SubLObject`	`el_formula_terms(SubLObject el_formula, SubLObject seqvar_handling)`
`static SubLObject`	`expression_find_if_int(SubLObject test, SubLObject expression, SubLObject penetrate_hl_structuresP, SubLObject key)`
`static SubLObject`	`expression_find_if(SubLObject test, SubLObject expression, SubLObject penetrate_hl_structuresP, SubLObject key)`
`static SubLObject`	`expression_find_int(SubLObject object, SubLObject expression, SubLObject penetrate_hl_structuresP, SubLObject test, SubLObject key)`
`static SubLObject`	`expression_find(SubLObject object, SubLObject expression, SubLObject penetrate_hl_structuresP, SubLObject test, SubLObject key)`
`static SubLObject`	`expression_gather_int_2(SubLObject expression, SubLObject pred, SubLObject penetrate_hl_structuresP, SubLObject key, SubLObject subs_tooP)`
`static SubLObject`	`expression_gather_int(SubLObject expression, SubLObject pred, SubLObject penetrate_hl_structuresP, SubLObject test, SubLObject key, SubLObject subs_tooP)`
`static SubLObject`	`expression_gather(SubLObject expression, SubLObject pred, SubLObject penetrate_hl_structuresP, SubLObject test, SubLObject key, SubLObject subs_tooP)`
`static SubLObject`	`expression_narts(SubLObject expression, SubLObject penetrate_hl_structuresP, SubLObject subs_tooP)`
`static SubLObject`	`expression_nsublis_free_vars_int(SubLObject alist, SubLObject expression, SubLObject test)` Replaces free vars in the EXPRESSION.
`static SubLObject`	`expression_nsublis_free_vars(SubLObject alist, SubLObject expression, SubLObject test)`
`static SubLObject`	`expression_nsubst_free_vars_int(SubLObject v_new, SubLObject old, SubLObject expression, SubLObject test)` Replaces free var in the EXPRESSION.
`static SubLObject`	`expression_nsubst_free_vars(SubLObject v_new, SubLObject old, SubLObject expression, SubLObject test)`
`static SubLObject`	`expression_ntransform_int(SubLObject expression, SubLObject pred, SubLObject transform, SubLObject transform_sequence_variablesP, SubLObject transformation_limit, SubLObject transformation_level, SubLObject test_pred_on_transformation_resultP, SubLObject negate_predP)` opacity can change during transformation - it's unclear what the desired behaviour is, though.
`static SubLObject`	`expression_transform(SubLObject expression, SubLObject pred, SubLObject transform, SubLObject transform_sequence_variablesP, SubLObject transformation_limit)` Recursively tests PRED within the CycL expression EXPRESSION.
`static SubLObject`	`find_closed_naut(SubLObject object)` if OBJECT is a closed, unreified, specification of a reified non-atomic term, then return the NART implementing the reification; otherwise return nil.
`static SubLObject`	`find_ground_naut(SubLObject object)` if OBJECT is a ground, unreified, specification of a reified non-atomic term, then return the NART implementing the reification; otherwise return nil.
`static SubLObject`	`formula_arg(SubLObject formula, SubLObject argnum, SubLObject seqvar_handling)` returns the ARGNUMth argument of FORMULA.
`static SubLObject`	`formula_arg0(SubLObject formula)` returns the 0th argument of FORMULA, which is by convention the operator.
`static SubLObject`	`formula_arg1(SubLObject formula, SubLObject seqvar_handling)` returns the 1st argument of FORMULA.
`static SubLObject`	`formula_arg2(SubLObject formula, SubLObject seqvar_handling)` returns the 2nd argument of FORMULA.
`static SubLObject`	`formula_arg3(SubLObject formula, SubLObject seqvar_handling)` returns the 3rd argument of FORMULA.
`static SubLObject`	`formula_arg4(SubLObject formula, SubLObject seqvar_handling)` returns the 4th argument of FORMULA.
`static SubLObject`	`formula_arg5(SubLObject formula, SubLObject seqvar_handling)` returns the 5th argument of FORMULA.
`static SubLObject`	`formula_args(SubLObject formula, SubLObject seqvar_handling)`
`static SubLObject`	`formula_find_if(SubLObject test, SubLObject formula, SubLObject penetrate_hl_structuresP, SubLObject key)`
`static SubLObject`	`formula_gather(SubLObject formula, SubLObject pred, SubLObject penetrate_hl_structuresP, SubLObject test, SubLObject key, SubLObject subs_tooP)`
`static SubLObject`	`formula_operator(SubLObject formula)` returns the operator of FORMULA.
`static SubLObject`	`formula_terms_int_one_pass(SubLObject formula, SubLObject seqvar_handling)`
`static SubLObject`	`formula_terms_int_two_pass(SubLObject formula, SubLObject seqvar_handling)`
`static SubLObject`	`formula_terms_int(SubLObject formula, SubLObject seqvar_handling, SubLObject force_one_passP)`
`static SubLObject`	`formula_terms(SubLObject formula, SubLObject seqvar_handling)`
`static SubLObject`	`formulas_canonical_permutations(SubLObject source_formulas)`
`static SubLObject`	`functional_in_some_argP(SubLObject pred)`
`static SubLObject`	`hl_term_with_el_counterpart_p(SubLObject object)`
`static SubLObject`	`init_cycl_utilities_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`nat_arg(SubLObject nat, SubLObject n, SubLObject seqvar_handling)` return the argument in position N of non-atomic term NAT.
`static SubLObject`	`nat_arg0(SubLObject nat)` returns the 0th argument of NAT, which is by convention the functor.
`static SubLObject`	`nat_arg1(SubLObject nat, SubLObject seqvar_handling)` returns the 1st argument of NAT.
`static SubLObject`	`nat_arg2(SubLObject nat, SubLObject seqvar_handling)` returns the 2nd argument of NAT.
`static SubLObject`	`nat_args(SubLObject nat, SubLObject seqvar_handling)` returns (as a list or a variable) the arguments of NAT.
`static SubLObject`	`nat_functor(SubLObject nat)` returns the functor of NAT.
`static SubLObject`	`naut_functor(SubLObject naut)` returns the functor of NAUT.
`static SubLObject`	`negate(SubLObject form)` Assuming FORM is a valid CycL formula, return a negated version of it.
`static SubLObject`	`negatedP(SubLObject form)` Assuming FORM is a valid CycL formula, return T IFF it is negated.
`static SubLObject`	`opaque_arg_wrt_free_varsP(SubLObject formula, SubLObject argnum)`
`static SubLObject`	`opaque_arg_wrt_quoting_not_counting_logical_opsP(SubLObject formula, SubLObject argnum)` Like @xref opaque-arg-wrt-quoting? but gives a free pass to logical operators, quantifiers, and trueSentence.
`static SubLObject`	`opaque_arg_wrt_quotingP(SubLObject formula, SubLObject argnum)`
`static SubLObject`	`opaque_argP_int(SubLObject formula, SubLObject argnum, SubLObject opaque_arg_function)`
`static SubLObject`	`opaque_argP(SubLObject formula, SubLObject argnum)`
`static SubLObject`	`opaque_seqvarP(SubLObject formula)`
`static SubLObject`	`permutations_merge(SubLObject list1, SubLObject list2)`
`static SubLObject`	`possibly_cycl_formula_p(SubLObject object)`
`static SubLObject`	`possibly_negate(SubLObject sentence, SubLObject truth)` Assuming SENTENCE is a CycL sentence, return a negated version of it if TRUTH is :false
`static SubLObject`	`reified_formula_p(SubLObject object)`
`static SubLObject`	`reified_term_p(SubLObject object)`
`static SubLObject`	`reify_arg_when_closed_naut(SubLObject reln, SubLObject psn)`
`static SubLObject`	`reify_when_closed_naut(SubLObject object)`
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`sentence_arg(SubLObject sentence, SubLObject argnum, SubLObject seqvar_handling)`
`static SubLObject`	`sentence_arg0(SubLObject sentence)`
`static SubLObject`	`sentence_arg1(SubLObject asent, SubLObject seqvar_handling)`
`static SubLObject`	`sentence_arg2(SubLObject asent, SubLObject seqvar_handling)`
`static SubLObject`	`sentence_args(SubLObject sentence, SubLObject seqvar_handling)`
`static SubLObject`	`sentence_truth_function(SubLObject sentence)`
`static SubLObject`	`setup_cycl_utilities_file()`
`static SubLObject`	`split_list_set(SubLObject l)`
`static SubLObject`	`variable_argnums(SubLObject formula, SubLObject varP)`

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

$opaque_arg_function$

public static SubLSymbol $opaque_arg_function$

The function to use to determine argument opacity

$opaque_seqvar_function$

public static SubLSymbol $opaque_seqvar_function$

The function to use to determine sequence variable opacity

$sym0$DEFAULT_OPAQUE_ARG_

public static final SubLSymbol $sym0$DEFAULT_OPAQUE_ARG_

$sym1$DEFAULT_OPAQUE_SEQVAR_

public static final SubLSymbol $sym1$DEFAULT_OPAQUE_SEQVAR_

$list2

public static final SubLList $list2

$sym3$CLET

public static final SubLSymbol $sym3$CLET

$sym4$_OPAQUE_ARG_FUNCTION_

public static final SubLSymbol $sym4$_OPAQUE_ARG_FUNCTION_

$sym5$_OPAQUE_SEQVAR_FUNCTION_

public static final SubLSymbol $sym5$_OPAQUE_SEQVAR_FUNCTION_

$sym6$OPAQUE_ARG_WRT_EL_TEMPLATE_

public static final SubLSymbol $sym6$OPAQUE_ARG_WRT_EL_TEMPLATE_

$const7$SkolemFunctionFn

public static final SubLObject $const7$SkolemFunctionFn

$const8$trueSentence

public static final SubLObject $const8$trueSentence

$sym9$HL_TERM_WITH_EL_COUNTERPART_P

public static final SubLSymbol $sym9$HL_TERM_WITH_EL_COUNTERPART_P

$sym10$HL_TERM_TO_EL_TERM

public static final SubLSymbol $sym10$HL_TERM_TO_EL_TERM

$sym11$CAREFUL_HL_TERM_TO_EL_TERM

public static final SubLSymbol $sym11$CAREFUL_HL_TERM_TO_EL_TERM

$kw12$REGULARIZE

public static final SubLSymbol $kw12$REGULARIZE

$sym13$ASSERTION_P

public static final SubLSymbol $sym13$ASSERTION_P

$sym14$EXPRESSION_COUNT_HELPER

public static final SubLSymbol $sym14$EXPRESSION_COUNT_HELPER

$sym15$EL_FORMULA_P

public static final SubLSymbol $sym15$EL_FORMULA_P

$sym16$FORT_P

public static final SubLSymbol $sym16$FORT_P

$sym17$CONSTANT_P

public static final SubLSymbol $sym17$CONSTANT_P

$sym18$NART_P

public static final SubLSymbol $sym18$NART_P

$kw19$IGNORE

public static final SubLSymbol $kw19$IGNORE

$str20$_S_is_not_well_formed_

public static final SubLString $str20$_S_is_not_well_formed_

$sym21$CONTAINING_SUBEXPRESSIONS_LAMBDA_FN

public static final SubLSymbol $sym21$CONTAINING_SUBEXPRESSIONS_LAMBDA_FN

$sym22$KEYWORDP

public static final SubLSymbol $sym22$KEYWORDP

$sym23$EXPRESSION_FIND_IF

public static final SubLSymbol $sym23$EXPRESSION_FIND_IF

$sym24$LISTP

public static final SubLSymbol $sym24$LISTP

$int25$212

public static final SubLInteger $int25$212

$kw26$TRANSFORMATION_LIMIT_EXCEEDED

public static final SubLSymbol $kw26$TRANSFORMATION_LIMIT_EXCEEDED

$const27$Quote

public static final SubLObject $const27$Quote

$const28$ExpandSubLFn

public static final SubLObject $const28$ExpandSubLFn

$sym29$CYC_VAR_

public static final SubLSymbol $sym29$CYC_VAR_

$sym30$EL_VAR_

public static final SubLSymbol $sym30$EL_VAR_

$sym31$PERMUTE_LIST_CACHED

public static final SubLSymbol $sym31$PERMUTE_LIST_CACHED

$sym32$_PERMUTE_LIST_CACHED_CACHING_STATE_

public static final SubLSymbol $sym32$_PERMUTE_LIST_CACHED_CACHING_STATE_

$kw33$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw33$_MEMOIZED_ITEM_NOT_FOUND_

$list34

public static final SubLList $list34

$list35

public static final SubLList $list35

$list36

public static final SubLList $list36

$sym37$DEFAULT_EL_VAR_

public static final SubLSymbol $sym37$DEFAULT_EL_VAR_

$sym38$RENAMED_DEFAULT_EL_VAR_P

public static final SubLSymbol $sym38$RENAMED_DEFAULT_EL_VAR_P

$str39$_RENAMED_VAR

public static final SubLString $str39$_RENAMED_VAR

$const40$CollectionIntersectionFn

public static final SubLObject $const40$CollectionIntersectionFn

$const41$CollectionIntersection2Fn

public static final SubLObject $const41$CollectionIntersection2Fn

$const42$CollectionUnionFn

public static final SubLObject $const42$CollectionUnionFn

$const43$TheSet

public static final SubLObject $const43$TheSet

$sym44$CONSTANT_EXTERNAL_ID__

public static final SubLSymbol $sym44$CONSTANT_EXTERNAL_ID__

$sym45$CONSTANT_EXTERNAL_ID

public static final SubLSymbol $sym45$CONSTANT_EXTERNAL_ID

$sym46$_

public static final SubLSymbol $sym46$_

$sym47$CONSTANT_INTERNAL_ID

public static final SubLSymbol $sym47$CONSTANT_INTERNAL_ID

$sym48$NART_ID

public static final SubLSymbol $sym48$NART_ID

$sym49$ASSERTION_ID

public static final SubLSymbol $sym49$ASSERTION_ID

$sym50$FORT_INTERNAL_ID

public static final SubLSymbol $sym50$FORT_INTERNAL_ID

$sym51$VALID_SOMEWHERE_CACHE_ITEM_

public static final SubLSymbol $sym51$VALID_SOMEWHERE_CACHE_ITEM_

$const52$functionalInArgs

public static final SubLObject $const52$functionalInArgs

$const53$strictlyFunctionalInArgs

public static final SubLObject $const53$strictlyFunctionalInArgs

$sym54$FUNCTIONAL_IN_ARG_POSITIONS

public static final SubLSymbol $sym54$FUNCTIONAL_IN_ARG_POSITIONS

$sym55$INDEXED_TERM_P

public static final SubLSymbol $sym55$INDEXED_TERM_P

$int56$100

public static final SubLInteger $int56$100

$sym57$OPAQUE_ARG_WRT_NAT_REIFICATION_

public static final SubLSymbol $sym57$OPAQUE_ARG_WRT_NAT_REIFICATION_

$sym58$NART_LOOKUP

public static final SubLSymbol $sym58$NART_LOOKUP

$sym59$NULL

public static final SubLSymbol $sym59$NULL

$sym60$EL_FIND_IF_NART

public static final SubLSymbol $sym60$EL_FIND_IF_NART

$sym61$VARIABLE_P

public static final SubLSymbol $sym61$VARIABLE_P

$const62$False

public static final SubLObject $const62$False

$const63$not

public static final SubLObject $const63$not

$sym64$NEGATED_

public static final SubLSymbol $sym64$NEGATED_

$list65

public static final SubLList $list65

$str66$Assuming_FORM_is_a_valid_CycL_for

public static final SubLString $str66$Assuming_FORM_is_a_valid_CycL_for

$list67

public static final SubLList $list67

$list68

public static final SubLList $list68

$sym69$NEGATE

public static final SubLSymbol $sym69$NEGATE

$str70$Assuming_FORM_is_a_valid_CycL_for

public static final SubLString $str70$Assuming_FORM_is_a_valid_CycL_for

$list71

public static final SubLList $list71

$sym72$TRUTH_P

public static final SubLSymbol $sym72$TRUTH_P

$kw73$TRUE

public static final SubLSymbol $kw73$TRUE

$sym74$NON_NEGATIVE_INTEGER_P

public static final SubLSymbol $sym74$NON_NEGATIVE_INTEGER_P

$sym75$FORMULA_OPERATOR

public static final SubLSymbol $sym75$FORMULA_OPERATOR

$sym76$CYCL_SENTENCE_P

public static final SubLSymbol $sym76$CYCL_SENTENCE_P

$kw77$INCLUDE

public static final SubLSymbol $kw77$INCLUDE

$str78$formula_terms_int_got_a_non_el_va

public static final SubLString $str78$formula_terms_int_got_a_non_el_va

$sym79$POSSIBLY_NAUT_P

public static final SubLSymbol $sym79$POSSIBLY_NAUT_P

$sym80$FIXNUMP

public static final SubLSymbol $sym80$FIXNUMP

$const81$FormulaArgPositionFn

public static final SubLObject $const81$FormulaArgPositionFn

$sym82$ARG_POSITION_P

public static final SubLSymbol $sym82$ARG_POSITION_P

$sym83$CYCL_ARG_POSITION_P

public static final SubLSymbol $sym83$CYCL_ARG_POSITION_P

$sym84$NON_DOTTED_LIST_P

public static final SubLSymbol $sym84$NON_DOTTED_LIST_P

Method Detail

opaque_argP

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

Returns:: boolean; t iff FORMULA is opaque in the argument position ARGNUM, meaning that it should not be recursed into in that arg position. By convention, if ARGNUM is greater than the arity of FORMULA, this denotes the sequence variable in FORMULA.

expression_nsubst_free_vars

public static final SubLObject expression_nsubst_free_vars(SubLObject v_new,
                                                           SubLObject old,
                                                           SubLObject expression,
                                                           SubLObject test)

expression_nsubst_free_vars_int

public static final SubLObject expression_nsubst_free_vars_int(SubLObject v_new,
                                                               SubLObject old,
                                                               SubLObject expression,
                                                               SubLObject test)

Replaces free var in the EXPRESSION. Takes quoting into account. *canonicalize-variables?* determines whether #$EscapeQuotes will be removed / reduced from the quoted terms. If variables are to be canonicalized then the #$EscapeQuotes will already contain HL variables due to the various czer steps before. This step just removes the #$EscapeQuotes to complete the canonicalization of the variables

opaque_seqvarP

public static final SubLObject opaque_seqvarP(SubLObject formula)

Returns:: boolean; t iff FORMULA contains an opaque sequence variable, which should not be considered a proper part of the formula.

nat_arg2

public static final SubLObject nat_arg2(SubLObject nat,
                                        SubLObject seqvar_handling)

returns the 2nd argument of NAT. returns NIL if NAT is not a nat.

opaque_argP_int

public static final SubLObject opaque_argP_int(SubLObject formula,
                                               SubLObject argnum,
                                               SubLObject opaque_arg_function)

formula_arg4

public static final SubLObject formula_arg4(SubLObject formula,
                                            SubLObject seqvar_handling)

returns the 4th argument of FORMULA. returns NIL if FORMULA is not a formula.

formula_arg5

public static final SubLObject formula_arg5(SubLObject formula,
                                            SubLObject seqvar_handling)

returns the 5th argument of FORMULA. returns NIL if FORMULA is not a formula.

default_opaque_argP

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

opaque_arg_wrt_free_varsP

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

opaque_arg_wrt_quotingP

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

Returns:: boolean; t iff arg number ARGNUM of FORMULA is quoted or otherwise opaque.

opaque_arg_wrt_quoting_not_counting_logical_opsP

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

Like @xref opaque-arg-wrt-quoting? but gives a free pass to logical operators, quantifiers, and trueSentence. This is used for identifying skolem defn assertions, to eliminate quoted references but include logical formulas embedded within trueSentence.

hl_term_with_el_counterpart_p

public static final SubLObject hl_term_with_el_counterpart_p(SubLObject object)

Returns:: boolean; t iff OBJECT is an HL term with an EL counterpart.

careful_hl_term_to_el_term

public static final SubLObject careful_hl_term_to_el_term(SubLObject hl_term)

converts HL-TERM to an EL term if HL-TERM has an EL counterpart, otherwise leaves HL-TERM unchanged. Not robust against invalid narts or assertions.

reified_term_p

public static final SubLObject reified_term_p(SubLObject object)

atomic_reified_term_p

public static final SubLObject atomic_reified_term_p(SubLObject object)

reified_formula_p

public static final SubLObject reified_formula_p(SubLObject object)

expression_gather_int_2

public static final SubLObject expression_gather_int_2(SubLObject expression,
                                                       SubLObject pred,
                                                       SubLObject penetrate_hl_structuresP,
                                                       SubLObject key,
                                                       SubLObject subs_tooP)

expression_gather_int

public static final SubLObject expression_gather_int(SubLObject expression,
                                                     SubLObject pred,
                                                     SubLObject penetrate_hl_structuresP,
                                                     SubLObject test,
                                                     SubLObject key,
                                                     SubLObject subs_tooP)

expression_gather

public static final SubLObject expression_gather(SubLObject expression,
                                                 SubLObject pred,
                                                 SubLObject penetrate_hl_structuresP,
                                                 SubLObject test,
                                                 SubLObject key,
                                                 SubLObject subs_tooP)

Returns:: list; a list of all objects within EXPRESSION which pass the test PRED, without duplicates but in no particular order. See file-level documentation for explanation of PENETRATE-HL-STRUCTURES? and #$ExpandSubLFn. Returns the singleton list containing EXPRESSION if EXPRESSION passes PRED.
See Also:: tree-gather

assertion_gather

public static final SubLObject assertion_gather(SubLObject pred,
                                                SubLObject assertion,
                                                SubLObject penetrate_hl_structuresP,
                                                SubLObject test,
                                                SubLObject key,
                                                SubLObject subs_tooP)

Returns:: list; a list of all objects within ASSERTION which pass the test PRED, without duplicates but in no particular order. See file-level documentation for explanation of PENETRATE-HL-STRUCTURES? and #$ExpandSubLFn.

formula_gather

public static final SubLObject formula_gather(SubLObject formula,
                                              SubLObject pred,
                                              SubLObject penetrate_hl_structuresP,
                                              SubLObject test,
                                              SubLObject key,
                                              SubLObject subs_tooP)

Returns:: list; a list of all objects within the EL formula FORMULA which pass the test PRED, without duplicates but in no particular order. See file-level documentation for explanation of PENETRATE-HL-STRUCTURES? and #$ExpandSubLFn.
See Also:: tree-gather

expression_narts

public static final SubLObject expression_narts(SubLObject expression,
                                                SubLObject penetrate_hl_structuresP,
                                                SubLObject subs_tooP)

Returns:: list; a list of the narts mentioned in EXPRESSION, without duplicates but in no particular order. See file-level documentation for explanation of PENETRATE-HL-STRUCTURES? and #$ExpandSubLFn. Returns the singleton list containing EXPRESSION if EXPRESSION is a nart.

expression_find_if_int

public static final SubLObject expression_find_if_int(SubLObject test,
                                                      SubLObject expression,
                                                      SubLObject penetrate_hl_structuresP,
                                                      SubLObject key)

expression_find_if

public static final SubLObject expression_find_if(SubLObject test,
                                                  SubLObject expression,
                                                  SubLObject penetrate_hl_structuresP,
                                                  SubLObject key)

Returns:: object; an object which passes the test TEST if such an object exists within the CycL expression EXPRESSION. Otherwise NIL. See file-level documentation for explanation of PENETRATE-HL-STRUCTURES? and #$ExpandSubLFn.
See Also:: tree-find-if

formula_find_if

public static final SubLObject formula_find_if(SubLObject test,
                                               SubLObject formula,
                                               SubLObject penetrate_hl_structuresP,
                                               SubLObject key)

Returns:: object; an object which passes the test TEST if such an object exists within the EL formula FORMULA. Otherwise NIL. See file-level documentation for explanation of PENETRATE-HL-STRUCTURES? and #$ExpandSubLFn.
See Also:: expression-find-if

expression_find_int

public static final SubLObject expression_find_int(SubLObject object,
                                                   SubLObject expression,
                                                   SubLObject penetrate_hl_structuresP,
                                                   SubLObject test,
                                                   SubLObject key)

expression_find

public static final SubLObject expression_find(SubLObject object,
                                               SubLObject expression,
                                               SubLObject penetrate_hl_structuresP,
                                               SubLObject test,
                                               SubLObject key)

Returns:: object; OBJECT if it is found within the CycL expression EXPRESSION, otherwise NIL. See file-level documentation for explanation of PENETRATE-HL-STRUCTURES? and #$ExpandSubLFn.
See Also:: tree-find

expression_ntransform_int

public static final SubLObject expression_ntransform_int(SubLObject expression,
                                                         SubLObject pred,
                                                         SubLObject transform,
                                                         SubLObject transform_sequence_variablesP,
                                                         SubLObject transformation_limit,
                                                         SubLObject transformation_level,
                                                         SubLObject test_pred_on_transformation_resultP,
                                                         SubLObject negate_predP)

opacity can change during transformation - it's unclear what the desired behaviour is, though. PRED has a different meaning based on test-pred-on-transformation-result? and negate-pred?

expression_transform

public static final SubLObject expression_transform(SubLObject expression,
                                                    SubLObject pred,
                                                    SubLObject transform,
                                                    SubLObject transform_sequence_variablesP,
                                                    SubLObject transformation_limit)

Recursively tests PRED within the CycL expression EXPRESSION. If PRED applies to EXPRESSION or a subexpression/subterm of EXPRESSION, TRANSFORM is called on that term or expression. If an expression is transformed into another expression, the result is itself subjected to the transformation if PRED applies to the result. Thus one must take care when calling this function, to avoid infinite recursion. It does not penetrate into HL structures.

Throws:: :transformation-limit-exceeded

expression_nsublis_free_vars_int

public static final SubLObject expression_nsublis_free_vars_int(SubLObject alist,
                                                                SubLObject expression,
                                                                SubLObject test)

Replaces free vars in the EXPRESSION. Takes quoting into account. *canonicalize-variables?* determines whether #$EscapeQuotes will be removed / reduced from the quoted terms. If variables are to be canonicalized then the #$EscapeQuotes will already contain HL variables due to the various czer steps before. This step just removes the #$EscapeQuotes to complete the canonicalization of the variables

expression_nsublis_free_vars

public static final SubLObject expression_nsublis_free_vars(SubLObject alist,
                                                            SubLObject expression,
                                                            SubLObject test)

canonical_commutative_permutations

public static final SubLObject canonical_commutative_permutations(SubLObject formula,
                                                                  SubLObject varP,
                                                                  SubLObject penetrate_argsP)

Return the permutations of the formula that can be possibly canonical. For fully bound formula, it returns the formula. For non fully-bound formula, it return the permutations of the variable arg with the other args in canonical order. Doesn't permute sequence vars.

variable_argnums

public static final SubLObject variable_argnums(SubLObject formula,
                                                SubLObject varP)

args_canonical_commutative_permutations

public static final SubLObject args_canonical_commutative_permutations(SubLObject formula,
                                                                       SubLObject varP)

Result is destructible. If any of the arg of the formula has a commutative relation formula, the commutative permutations for those args are generated.

formulas_canonical_permutations

public static final SubLObject formulas_canonical_permutations(SubLObject source_formulas)

canonical_permute_formula

public static final SubLObject canonical_permute_formula(SubLObject source_formula,
                                                         SubLObject argnums_to_permute,
                                                         SubLObject argnum_permutation)

Result is destructible

split_list_set

public static final SubLObject split_list_set(SubLObject l)

permutations_merge

public static final SubLObject permutations_merge(SubLObject list1,
                                                  SubLObject list2)

functional_in_some_argP

public static final SubLObject functional_in_some_argP(SubLObject pred)

Returns:: BOOLEANP non-NIL iff PRED is functional in some argument.

reify_arg_when_closed_naut

public static final SubLObject reify_arg_when_closed_naut(SubLObject reln,
                                                          SubLObject psn)

reify_when_closed_naut

public static final SubLObject reify_when_closed_naut(SubLObject object)

find_closed_naut

public static final SubLObject find_closed_naut(SubLObject object)

if OBJECT is a closed, unreified, specification of a reified non-atomic term, then return the NART implementing the reification; otherwise return nil.

find_ground_naut

public static final SubLObject find_ground_naut(SubLObject object)

if OBJECT is a ground, unreified, specification of a reified non-atomic term, then return the NART implementing the reification; otherwise return nil.

atomic_sentence_with_pred_p

public static final SubLObject atomic_sentence_with_pred_p(SubLObject asent,
                                                           SubLObject pred)

Returns:: boolean; t iff ASENT is (possibly) an atomic sentence with predicate PRED. Assumes equality can be tested with #'eq.

atomic_sentence_with_any_of_preds_p

public static final SubLObject atomic_sentence_with_any_of_preds_p(SubLObject asent,
                                                                   SubLObject preds)

Returns:: boolean; t iff ASENT is (possibly) an atomic sentence with a predicate in PREDS. Assumes equality can be tested with #'eq.

possibly_cycl_formula_p

public static final SubLObject possibly_cycl_formula_p(SubLObject object)

Returns:: boolean; t iff OBJECT is an EL formula, a nart, or an assertion.

negatedP

public static final SubLObject negatedP(SubLObject form)

Assuming FORM is a valid CycL formula, return T IFF it is negated.

negate

public static final SubLObject negate(SubLObject form)

Assuming FORM is a valid CycL formula, return a negated version of it.

possibly_negate

public static final SubLObject possibly_negate(SubLObject sentence,
                                               SubLObject truth)

Assuming SENTENCE is a CycL sentence, return a negated version of it if TRUTH is :false

formula_arg

public static final SubLObject formula_arg(SubLObject formula,
                                           SubLObject argnum,
                                           SubLObject seqvar_handling)

returns the ARGNUMth argument of FORMULA. An ARGNUM of 0 will return the operator. Works with forts and assertions. If seqvar-handling is :ignore, it will return NIL if asked for the arg position where the sequence variable is. If seqvar-handling is :regularize, it will return the sequence variable if asked for its position. e.g. (formula-arg ( . ?SEQ) 2 :ignore) -> NIL but (formula-arg ( . ?SEQ) 2 :regularize) -> ?SEQ

el_formula_arg

public static final SubLObject el_formula_arg(SubLObject el_formula,
                                              SubLObject argnum,
                                              SubLObject seqvar_handling)

returns the ARGNUMth argument of EL-FORMULA. An ARGNUM of 0 will return the operator. If seqvar-handling is :ignore, it will return NIL if asked for the arg position where the sequence variable is. If seqvar-handling is :regularize, it will return the sequence variable if asked for its position. e.g. (el-formula-arg ( . ?SEQ) 2 :ignore) -> NIL but (el-formula-arg ( . ?SEQ) 2 :regularize) -> ?SEQ

formula_arg0

public static final SubLObject formula_arg0(SubLObject formula)

returns the 0th argument of FORMULA, which is by convention the operator. returns NIL if FORMULA is not a formula.

formula_operator

public static final SubLObject formula_operator(SubLObject formula)

returns the operator of FORMULA. returns NIL if FORMULA is not a formula.

el_formula_operator

public static final SubLObject el_formula_operator(SubLObject el_formula)

returns the operator of EL-FORMULA.

formula_arg1

public static final SubLObject formula_arg1(SubLObject formula,
                                            SubLObject seqvar_handling)

returns the 1st argument of FORMULA. returns NIL if FORMULA is not a formula.

formula_arg2

public static final SubLObject formula_arg2(SubLObject formula,
                                            SubLObject seqvar_handling)

returns the 2nd argument of FORMULA. returns NIL if FORMULA is not a formula.

formula_arg3

public static final SubLObject formula_arg3(SubLObject formula,
                                            SubLObject seqvar_handling)

returns the 3rd argument of FORMULA. returns NIL if FORMULA is not a formula.

formula_args

public static final SubLObject formula_args(SubLObject formula,
                                            SubLObject seqvar_handling)

Returns:: list; the arguments of FORMULA. If seqvar-handling is :ignore, it chops off the sequence var if there is one. If seqvar-handling is :regularize, it treats the sequence var as a regular variable. If seqvar-handling is :include, it returns it as a sequence var. Note that using the :include option may cause formula-args to return a variable instead of a list! e.g. (formula-args (#$different . ?X) :include) -> ?X Does the right thing for narts and assertions, but ignores the MT of the assertion. returns NIL if FORMULA is not a possibly-cycl-formula-p.

el_formula_args

public static final SubLObject el_formula_args(SubLObject el_formula,
                                               SubLObject seqvar_handling)

Returns:: list; the arguments of FORMULA. If seqvar-handling is :ignore, it chops off the sequence var if there is one. If seqvar-handling is :regularize, it treats the sequence var as a regular variable. If seqvar-handling is :include, it returns it as a sequence var. Note that using the :include option may cause el-formula-args to return a variable instead of a list! e.g. (el-formula-args (#$different . ?X) :include) -> ?X

formula_terms

public static final SubLObject formula_terms(SubLObject formula,
                                             SubLObject seqvar_handling)

Returns:: list; a list of the terms in FORMULA. If seqvar-handling is :ignore, it chops off the sequence var if there is one. If seqvar-handling is :regularize, it treats the sequence var as a regular variable. If seqvar-handling is :include, it returns it as a sequence var. Does the right thing for narts and assertions, but ignores the MT of the assertion. returns NIL if FORMULA is not a possibly-cycl-formula-p.

el_formula_terms

public static final SubLObject el_formula_terms(SubLObject el_formula,
                                                SubLObject seqvar_handling)

Returns:: list; a list of the terms in EL-FORMULA. If seqvar-handling is :ignore, it chops off the sequence var if there is one. If seqvar-handling is :regularize, it treats the sequence var as a regular variable. If seqvar-handling is :include, it returns it as a sequence var.

formula_terms_int

public static final SubLObject formula_terms_int(SubLObject formula,
                                                 SubLObject seqvar_handling,
                                                 SubLObject force_one_passP)

formula_terms_int_two_pass

public static final SubLObject formula_terms_int_two_pass(SubLObject formula,
                                                          SubLObject seqvar_handling)

Returns:: LISTP; the terms of FORMULA. This version makes two passes if FORMULA has a sequence variable, but it avoids the consing done by VALUES in Allegro for formulas without sequence variables. Also it avoids cdr recursion.

formula_terms_int_one_pass

public static final SubLObject formula_terms_int_one_pass(SubLObject formula,
                                                          SubLObject seqvar_handling)

Returns:: 0 list; the terms of FORMULA

nat_args

public static final SubLObject nat_args(SubLObject nat,
                                        SubLObject seqvar_handling)

returns (as a list or a variable) the arguments of NAT. returns NIL if NAT is not a nat. If seqvar-handling is :ignore, it chops off the sequence var if there is one. If seqvar-handling is :regularize, it treats the sequence var as a regular variable. If seqvar-handling is :include, it returns it as a sequence var.

nat_arg

public static final SubLObject nat_arg(SubLObject nat,
                                       SubLObject n,
                                       SubLObject seqvar_handling)

return the argument in position N of non-atomic term NAT. If seqvar-handling is :ignore, it will return NIL if asked for the arg position where the sequence variable is. If seqvar-handling is :regularize, it will return the sequence variable if asked for its position. e.g. (nat-arg ( . ?SEQ) 2 :ignore) -> NIL but (nat-arg ( . ?SEQ) 2 :regularize) -> ?SEQ

nat_functor

public static final SubLObject nat_functor(SubLObject nat)

returns the functor of NAT. returns NIL if NAT is not a nat.

naut_functor

public static final SubLObject naut_functor(SubLObject naut)

returns the functor of NAUT.

nat_arg0

public static final SubLObject nat_arg0(SubLObject nat)

returns the 0th argument of NAT, which is by convention the functor. returns NIL if NAT is not a nat.

nat_arg1

public static final SubLObject nat_arg1(SubLObject nat,
                                        SubLObject seqvar_handling)

returns the 1st argument of NAT. returns NIL if NAT is not a nat.

sentence_arg

public static final SubLObject sentence_arg(SubLObject sentence,
                                            SubLObject argnum,
                                            SubLObject seqvar_handling)

sentence_args

public static final SubLObject sentence_args(SubLObject sentence,
                                             SubLObject seqvar_handling)

sentence_truth_function

public static final SubLObject sentence_truth_function(SubLObject sentence)

sentence_arg0

public static final SubLObject sentence_arg0(SubLObject sentence)

sentence_arg1

public static final SubLObject sentence_arg1(SubLObject asent,
                                             SubLObject seqvar_handling)

sentence_arg2

public static final SubLObject sentence_arg2(SubLObject asent,
                                             SubLObject seqvar_handling)

atomic_sentence_arg

public static final SubLObject atomic_sentence_arg(SubLObject asent,
                                                   SubLObject argnum,
                                                   SubLObject seqvar_handling)

atomic_sentence_args

public static final SubLObject atomic_sentence_args(SubLObject asent,
                                                    SubLObject seqvar_handling)

atomic_sentence_predicate

public static final SubLObject atomic_sentence_predicate(SubLObject asent)

atomic_sentence_arg1

public static final SubLObject atomic_sentence_arg1(SubLObject asent,
                                                    SubLObject seqvar_handling)

atomic_sentence_arg2

public static final SubLObject atomic_sentence_arg2(SubLObject asent,
                                                    SubLObject seqvar_handling)

atomic_sentence_arg3

public static final SubLObject atomic_sentence_arg3(SubLObject asent,
                                                    SubLObject seqvar_handling)

declare_cycl_utilities_file

public static final SubLObject declare_cycl_utilities_file()

init_cycl_utilities_file

public static final SubLObject init_cycl_utilities_file()

setup_cycl_utilities_file

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

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 cycl_utilities

me

myName

$opaque_arg_function$

$opaque_seqvar_function$

$sym0$DEFAULT_OPAQUE_ARG_

$sym1$DEFAULT_OPAQUE_SEQVAR_

$list2

$sym3$CLET

$sym4$_OPAQUE_ARG_FUNCTION_

$sym5$_OPAQUE_SEQVAR_FUNCTION_

$sym6$OPAQUE_ARG_WRT_EL_TEMPLATE_

$const7$SkolemFunctionFn

$const8$trueSentence

$sym9$HL_TERM_WITH_EL_COUNTERPART_P

$sym10$HL_TERM_TO_EL_TERM

$sym11$CAREFUL_HL_TERM_TO_EL_TERM

$kw12$REGULARIZE

$sym13$ASSERTION_P

$sym14$EXPRESSION_COUNT_HELPER

$sym15$EL_FORMULA_P

$sym16$FORT_P

$sym17$CONSTANT_P

$sym18$NART_P

$kw19$IGNORE

$str20$_S_is_not_well_formed_

$sym21$CONTAINING_SUBEXPRESSIONS_LAMBDA_FN

$sym22$KEYWORDP

$sym23$EXPRESSION_FIND_IF

$sym24$LISTP

$int25$212

$kw26$TRANSFORMATION_LIMIT_EXCEEDED

$const27$Quote

$const28$ExpandSubLFn

$sym29$CYC_VAR_

$sym30$EL_VAR_

$sym31$PERMUTE_LIST_CACHED

$sym32$_PERMUTE_LIST_CACHED_CACHING_STATE_

$kw33$_MEMOIZED_ITEM_NOT_FOUND_

$list34

$list35

$list36

$sym37$DEFAULT_EL_VAR_

$sym38$RENAMED_DEFAULT_EL_VAR_P

$str39$_RENAMED_VAR

$const40$CollectionIntersectionFn

$const41$CollectionIntersection2Fn

$const42$CollectionUnionFn

$const43$TheSet

$sym44$CONSTANT_EXTERNAL_ID__

$sym45$CONSTANT_EXTERNAL_ID

$sym46$_

$sym47$CONSTANT_INTERNAL_ID

$sym48$NART_ID

$sym49$ASSERTION_ID

$sym50$FORT_INTERNAL_ID

$sym51$VALID_SOMEWHERE_CACHE_ITEM_

$const52$functionalInArgs

$const53$strictlyFunctionalInArgs

$sym54$FUNCTIONAL_IN_ARG_POSITIONS

$sym55$INDEXED_TERM_P

$int56$100

$sym57$OPAQUE_ARG_WRT_NAT_REIFICATION_

$sym58$NART_LOOKUP

$sym59$NULL

$sym60$EL_FIND_IF_NART

$sym61$VARIABLE_P

$const62$False

$const63$not

$sym64$NEGATED_

$list65

$str66$Assuming_FORM_is_a_valid_CycL_for

$list67

$list68

$sym69$NEGATE

$str70$Assuming_FORM_is_a_valid_CycL_for

$list71

$sym72$TRUTH_P

$kw73$TRUE

$sym74$NON_NEGATIVE_INTEGER_P

com.cyc.cycjava.cycl
Class cycl_utilities