com.cyc.cycjava.cycl.inference.modules
Class simplification_modules

java.lang.Object
  com.cyc.tool.subl.util.SubLTrampolineFile
      com.cyc.tool.subl.util.SubLTranslatedFile
          com.cyc.cycjava.cycl.inference.modules.simplification_modules

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class simplification_modules
extends SubLTranslatedFile

Nested Class Summary

static class

simplification_modules.$simplification_duplicate_literals_via_functionality_pos_lits_applicability$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const15$Thing
static SubLObject	$const7$interArgDependentCardinality
static SubLInteger	$int12$1024
static SubLInteger	$int9$100
static SubLSymbol	$kw1$REMOVAL_SIMPLIFICATION_CONJUNCTION_DUPLICATE_LITERALS_VIA_FUNCTIO
static SubLSymbol	$kw10$_MEMOIZED_ITEM_NOT_FOUND_
static SubLList	$list0
static SubLList	$list13
static SubLList	$list14
static SubLList	$list19
static SubLList	$list2
static SubLList	$list8
static SubLString	$str17$_
static SubLSymbol	$sym11$ANY_SPEC__MEMOIZED
static SubLSymbol	$sym16$CAR
static SubLSymbol	$sym18$SENTENCE_ARG0
static SubLSymbol	$sym3$SINGLETON_
static SubLSymbol	$sym4$SIMPLIFICATION_DUPLICATE_LITERALS_VIA_FUNCTIONALITY_POS_LITS_APPL
static SubLSymbol	$sym5$HL_VARIABLE_P
static SubLSymbol	$sym6$ASENT_PRED_INTER_ARG_DEPENDENT_CARDINALITIES
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	asent_pred_inter_arg_dependent_cardinalities_internal(SubLObject pred)
static SubLObject	asent_pred_inter_arg_dependent_cardinalities(SubLObject pred)
static SubLObject	declare_simplification_modules_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_simplification_modules_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	problem_is_a_topological_rootP(SubLObject problem)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_simplification_modules_file()
static SubLObject	simplification_duplicate_literals_via_functionality_pos_lits_applicability(SubLObject contextualized_dnf_clause)
static SubLObject	simplification_duplicate_literals_via_functionality_pos_lits_equivalence_classes(SubLObject contextualized_dnf_clause)
static SubLObject	simplification_module_p(SubLObject hl_module)

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

$list0

public static final SubLList $list0

$kw1$REMOVAL_SIMPLIFICATION_CONJUNCTION_DUPLICATE_LITERALS_VIA_FUNCTIO

public static final SubLSymbol $kw1$REMOVAL_SIMPLIFICATION_CONJUNCTION_DUPLICATE_LITERALS_VIA_FUNCTIO

$list2

public static final SubLList $list2

$sym3$SINGLETON_

public static final SubLSymbol $sym3$SINGLETON_

$sym4$SIMPLIFICATION_DUPLICATE_LITERALS_VIA_FUNCTIONALITY_POS_LITS_APPL

public static final SubLSymbol $sym4$SIMPLIFICATION_DUPLICATE_LITERALS_VIA_FUNCTIONALITY_POS_LITS_APPL

$sym5$HL_VARIABLE_P

public static final SubLSymbol $sym5$HL_VARIABLE_P

$sym6$ASENT_PRED_INTER_ARG_DEPENDENT_CARDINALITIES

public static final SubLSymbol $sym6$ASENT_PRED_INTER_ARG_DEPENDENT_CARDINALITIES

$const7$interArgDependentCardinality

public static final SubLObject $const7$interArgDependentCardinality

$list8

public static final SubLList $list8

$int9$100

public static final SubLInteger $int9$100

$kw10$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw10$_MEMOIZED_ITEM_NOT_FOUND_

$sym11$ANY_SPEC__MEMOIZED

public static final SubLSymbol $sym11$ANY_SPEC__MEMOIZED

$int12$1024

public static final SubLInteger $int12$1024

$list13

public static final SubLList $list13

$list14

public static final SubLList $list14

$const15$Thing

public static final SubLObject $const15$Thing

$sym16$CAR

public static final SubLSymbol $sym16$CAR

$str17$_

public static final SubLString $str17$_

$sym18$SENTENCE_ARG0

public static final SubLSymbol $sym18$SENTENCE_ARG0

$list19

public static final SubLList $list19

Method Detail

simplification_module_p

public static final SubLObject simplification_module_p(SubLObject hl_module)

simplification_duplicate_literals_via_functionality_pos_lits_applicability

public static final SubLObject simplification_duplicate_literals_via_functionality_pos_lits_applicability(SubLObject contextualized_dnf_clause)

problem_is_a_topological_rootP

public static final SubLObject problem_is_a_topological_rootP(SubLObject problem)

asent_pred_inter_arg_dependent_cardinalities_internal

public static final SubLObject asent_pred_inter_arg_dependent_cardinalities_internal(SubLObject pred)

asent_pred_inter_arg_dependent_cardinalities

public static final SubLObject asent_pred_inter_arg_dependent_cardinalities(SubLObject pred)

simplification_duplicate_literals_via_functionality_pos_lits_equivalence_classes

public static final SubLObject simplification_duplicate_literals_via_functionality_pos_lits_equivalence_classes(SubLObject contextualized_dnf_clause)

declare_simplification_modules_file

public static final SubLObject declare_simplification_modules_file()

init_simplification_modules_file

public static final SubLObject init_simplification_modules_file()

setup_simplification_modules_file

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