com.cyc.cycjava.cycl.inference.harness
Class inference_parameters

java.lang.Object
  com.cyc.tool.subl.util.SubLTrampolineFile
      com.cyc.tool.subl.util.SubLTranslatedFile
          com.cyc.cycjava.cycl.inference.harness.inference_parameters

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class inference_parameters
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLFloat	$float21$1_0
static SubLFloat	$float26$1_1
static SubLSymbol	$kw0$UNSPECIFIED
static SubLSymbol	$kw13$UNDETERMINED
static SubLSymbol	$kw16$BINDINGS
static SubLSymbol	$kw17$MAX_PROBLEM_COUNT
static SubLSymbol	$kw18$MAX_TIME
static SubLSymbol	$kw19$MAX_STEP
static SubLSymbol	$kw2$INFERENCE_MODE
static SubLSymbol	$kw20$PROBABLY_APPROXIMATELY_DONE
static SubLSymbol	$kw22$SKIP
static SubLSymbol	$kw23$ILL_FORMED
static SubLSymbol	$kw24$INTERMEDIATE_STEP_VALIDATION_LEVEL
static SubLSymbol	$kw25$MAX_NUMBER
static SubLSymbol	$kw27$ALLOW_INDETERMINATE_RESULTS_
static SubLSymbol	$kw28$ANSWER_LANGUAGE
static SubLSymbol	$kw29$HL
static SubLSymbol	$kw3$CUSTOM
static SubLSymbol	$kw30$EL
static SubLSymbol	$kw34$REMOVAL
static SubLSymbol	$kw35$REMOVAL_BACKTRACKING_PRODUCTIVITY_LIMIT
static SubLSymbol	$kw36$DO_HASH_TABLE
static SubLSymbol	$kw37$PRODUCTIVITY_LIMIT
static SubLSymbol	$kw38$MAX_TRANSFORMATION_DEPTH
static SubLSymbol	$kw39$TRANSFORMATION_ALLOWED_
static SubLSymbol	$kw40$ALLOW_EVALUATABLE_PREDICATE_TRANSFORMATION_
static SubLSymbol	$kw41$REWRITE_ALLOWED_
static SubLSymbol	$kw42$ABDUCTION_ALLOWED_
static SubLSymbol	$kw43$ALLOW_UNBOUND_PREDICATE_TRANSFORMATION_
static SubLSymbol	$kw44$TRANS_ISA_POS
static SubLSymbol	$kw45$ALLOW_HL_PREDICATE_TRANSFORMATION_
static SubLSymbol	$kw46$REMOVAL_TVA_UNIFY_CLOSURE
static SubLSymbol	$kw47$TRANSITIVE_CLOSURE_MODE
static SubLSymbol	$kw48$EVALUATE_SUBL_ALLOWED_
static SubLSymbol	$kw49$NEW_TERMS_ALLOWED_
static SubLSymbol	$kw50$MINIMIZE
static SubLSymbol	$kw51$NEGATION_BY_FAILURE_
static SubLSymbol	$kw52$ABNORMAL
static SubLSymbol	$kw53$ALLOW_ABNORMALITY_CHECKING_
static SubLSymbol	$kw54$COMPLETENESS_MINIMIZATION_ALLOWED_
static SubLList	$list14
static SubLList	$list15
static SubLList	$list31
static SubLList	$list33
static SubLList	$list4
static SubLList	$list5
static SubLList	$list55
static SubLList	$list58
static SubLList	$list6
static SubLList	$list8
static SubLList	$list9
static SubLString	$str10$Invalid_value_for_the_properties_
static SubLString	$str11$unexpected_property__s
static SubLSymbol	$sym1$QUERY_PROPERTIES_P
static SubLSymbol	$sym12$PROBLEM_STORE_P
static SubLSymbol	$sym32$HL_SUPPORT_P
static SubLSymbol	$sym56$QUERY_PROPERTIES_MORE_EFFICIENT_
static SubLSymbol	$sym57$QUERY_PROPERTIES_LESS_EFFICIENT_
static SubLSymbol	$sym59$INFERENCE_MODE_P
static SubLSymbol	$sym7$CAR
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	declare_inference_parameters_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_inference_parameters_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	query_properties_for_inference_mode(SubLObject inference_mode)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_inference_parameters_file()

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

$kw0$UNSPECIFIED

public static final SubLSymbol $kw0$UNSPECIFIED

$sym1$QUERY_PROPERTIES_P

public static final SubLSymbol $sym1$QUERY_PROPERTIES_P

$kw2$INFERENCE_MODE

public static final SubLSymbol $kw2$INFERENCE_MODE

$kw3$CUSTOM

public static final SubLSymbol $kw3$CUSTOM

$list4

public static final SubLList $list4

$list5

public static final SubLList $list5

$list6

public static final SubLList $list6

$sym7$CAR

public static final SubLSymbol $sym7$CAR

$list8

public static final SubLList $list8

$list9

public static final SubLList $list9

$str10$Invalid_value_for_the_properties_

public static final SubLString $str10$Invalid_value_for_the_properties_

$str11$unexpected_property__s

public static final SubLString $str11$unexpected_property__s

$sym12$PROBLEM_STORE_P

public static final SubLSymbol $sym12$PROBLEM_STORE_P

$kw13$UNDETERMINED

public static final SubLSymbol $kw13$UNDETERMINED

$list14

public static final SubLList $list14

$list15

public static final SubLList $list15

$kw16$BINDINGS

public static final SubLSymbol $kw16$BINDINGS

$kw17$MAX_PROBLEM_COUNT

public static final SubLSymbol $kw17$MAX_PROBLEM_COUNT

$kw18$MAX_TIME

public static final SubLSymbol $kw18$MAX_TIME

$kw19$MAX_STEP

public static final SubLSymbol $kw19$MAX_STEP

$kw20$PROBABLY_APPROXIMATELY_DONE

public static final SubLSymbol $kw20$PROBABLY_APPROXIMATELY_DONE

$float21$1_0

public static final SubLFloat $float21$1_0

$kw22$SKIP

public static final SubLSymbol $kw22$SKIP

$kw23$ILL_FORMED

public static final SubLSymbol $kw23$ILL_FORMED

$kw24$INTERMEDIATE_STEP_VALIDATION_LEVEL

public static final SubLSymbol $kw24$INTERMEDIATE_STEP_VALIDATION_LEVEL

$kw25$MAX_NUMBER

public static final SubLSymbol $kw25$MAX_NUMBER

$float26$1_1

public static final SubLFloat $float26$1_1

$kw27$ALLOW_INDETERMINATE_RESULTS_

public static final SubLSymbol $kw27$ALLOW_INDETERMINATE_RESULTS_

$kw28$ANSWER_LANGUAGE

public static final SubLSymbol $kw28$ANSWER_LANGUAGE

$kw29$HL

public static final SubLSymbol $kw29$HL

$kw30$EL

public static final SubLSymbol $kw30$EL

$list31

public static final SubLList $list31

$sym32$HL_SUPPORT_P

public static final SubLSymbol $sym32$HL_SUPPORT_P

$list33

public static final SubLList $list33

$kw34$REMOVAL

public static final SubLSymbol $kw34$REMOVAL

$kw35$REMOVAL_BACKTRACKING_PRODUCTIVITY_LIMIT

public static final SubLSymbol $kw35$REMOVAL_BACKTRACKING_PRODUCTIVITY_LIMIT

$kw36$DO_HASH_TABLE

public static final SubLSymbol $kw36$DO_HASH_TABLE

$kw37$PRODUCTIVITY_LIMIT

public static final SubLSymbol $kw37$PRODUCTIVITY_LIMIT

$kw38$MAX_TRANSFORMATION_DEPTH

public static final SubLSymbol $kw38$MAX_TRANSFORMATION_DEPTH

$kw39$TRANSFORMATION_ALLOWED_

public static final SubLSymbol $kw39$TRANSFORMATION_ALLOWED_

$kw40$ALLOW_EVALUATABLE_PREDICATE_TRANSFORMATION_

public static final SubLSymbol $kw40$ALLOW_EVALUATABLE_PREDICATE_TRANSFORMATION_

$kw41$REWRITE_ALLOWED_

public static final SubLSymbol $kw41$REWRITE_ALLOWED_

$kw42$ABDUCTION_ALLOWED_

public static final SubLSymbol $kw42$ABDUCTION_ALLOWED_

$kw43$ALLOW_UNBOUND_PREDICATE_TRANSFORMATION_

public static final SubLSymbol $kw43$ALLOW_UNBOUND_PREDICATE_TRANSFORMATION_

$kw44$TRANS_ISA_POS

public static final SubLSymbol $kw44$TRANS_ISA_POS

$kw45$ALLOW_HL_PREDICATE_TRANSFORMATION_

public static final SubLSymbol $kw45$ALLOW_HL_PREDICATE_TRANSFORMATION_

$kw46$REMOVAL_TVA_UNIFY_CLOSURE

public static final SubLSymbol $kw46$REMOVAL_TVA_UNIFY_CLOSURE

$kw47$TRANSITIVE_CLOSURE_MODE

public static final SubLSymbol $kw47$TRANSITIVE_CLOSURE_MODE

$kw48$EVALUATE_SUBL_ALLOWED_

public static final SubLSymbol $kw48$EVALUATE_SUBL_ALLOWED_

$kw49$NEW_TERMS_ALLOWED_

public static final SubLSymbol $kw49$NEW_TERMS_ALLOWED_

$kw50$MINIMIZE

public static final SubLSymbol $kw50$MINIMIZE

$kw51$NEGATION_BY_FAILURE_

public static final SubLSymbol $kw51$NEGATION_BY_FAILURE_

$kw52$ABNORMAL

public static final SubLSymbol $kw52$ABNORMAL

$kw53$ALLOW_ABNORMALITY_CHECKING_

public static final SubLSymbol $kw53$ALLOW_ABNORMALITY_CHECKING_

$kw54$COMPLETENESS_MINIMIZATION_ALLOWED_

public static final SubLSymbol $kw54$COMPLETENESS_MINIMIZATION_ALLOWED_

$list55

public static final SubLList $list55

$sym56$QUERY_PROPERTIES_MORE_EFFICIENT_

public static final SubLSymbol $sym56$QUERY_PROPERTIES_MORE_EFFICIENT_

$sym57$QUERY_PROPERTIES_LESS_EFFICIENT_

public static final SubLSymbol $sym57$QUERY_PROPERTIES_LESS_EFFICIENT_

$list58

public static final SubLList $list58

$sym59$INFERENCE_MODE_P

public static final SubLSymbol $sym59$INFERENCE_MODE_P

Method Detail

query_properties_for_inference_mode

public static final SubLObject query_properties_for_inference_mode(SubLObject inference_mode)

declare_inference_parameters_file

public static final SubLObject declare_inference_parameters_file()

init_inference_parameters_file

public static final SubLObject init_inference_parameters_file()

setup_inference_parameters_file

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