com.cyc.cycjava.cycl.inference
Class janus

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class janus
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const48$termOfUnit
static SubLInteger	$int41$600
static SubLSymbol	$kw0$JANUS_OP
static SubLSymbol	$kw1$CREATE
static SubLSymbol	$kw13$ALL
static SubLSymbol	$kw17$PROBLEM_STORE
static SubLSymbol	$kw2$ASSERT
static SubLSymbol	$kw20$DEDUCTION
static SubLSymbol	$kw24$ALLOW_OTHER_KEYS
static SubLSymbol	$kw25$TRANSCRIPT_FILENAME
static SubLSymbol	$kw26$EXPERIMENT_FILENAME
static SubLSymbol	$kw27$COMMENT
static SubLSymbol	$kw28$OVERRIDING_QUERY_PROPERTIES
static SubLSymbol	$kw29$METRICS
static SubLSymbol	$kw3$QUERY
static SubLSymbol	$kw31$OUTLIER_TIMEOUT
static SubLSymbol	$kw33$SKIP
static SubLSymbol	$kw34$COUNT
static SubLSymbol	$kw36$TEST_SPEC_SET
static SubLSymbol	$kw38$FILENAME
static SubLSymbol	$kw39$INCREMENTAL
static SubLSymbol	$kw40$OVERRIDING_METRICS
static SubLSymbol	$kw44$NOT_A_QUERY
static SubLSymbol	$kw45$STRENGTH
static SubLSymbol	$kw46$DIRECTION
static SubLSymbol	$kw49$NAT
static SubLSymbol	$kw53$MORE_COMPLETE
static SubLSymbol	$kw54$EQUALLY_COMPLETE
static SubLSymbol	$kw55$LESS_COMPLETE
static SubLSymbol	$kw56$DIFFERENT
static SubLSymbol	$kw57$TEST
static SubLSymbol	$kw62$FAILURE
static SubLSymbol	$kw63$BECAME_FAILURE
static SubLSymbol	$kw64$BECAME_SUCCESS
static SubLSymbol	$kw65$CHANGE
static SubLSymbol	$kw7$CONST
static SubLList	$list22
static SubLList	$list23
static SubLList	$list30
static SubLList	$list47
static SubLString	$str11$_s_appears_more_than_once__in_pos
static SubLString	$str15$invalid_term_in_assert_op___s__s_
static SubLString	$str16$invalid_constant_in_query_op___s_
static SubLString	$str18$ignoring_problem_store_reuse_for_
static SubLString	$str19$NEW_CONTINUABLE_INFERENCE___s__s_
static SubLString	$str21$_cyc_projects_inference_janus_exp
static SubLString	$str42$Execution_of_Janus_operation__s_f
static SubLString	$str43$unknown_modification_operation_ty
static SubLString	$str50$Janus_operation_of_unexpected_typ
static SubLString	$str52$_s_____s__
static SubLString	$str59$filtered_to_exclude_invalid_forts
static SubLString	$str9$_cyc_projects_inference_janus_tra
static SubLSymbol	$sym10$FILE_VALID_FOR_WRITING_P
static SubLSymbol	$sym12$INVALID_CONSTANT_
static SubLSymbol	$sym14$INVALID_ASSERTION_
static SubLSymbol	$sym32$_ARETE_OUTLIER_TIMEOUT_
static SubLSymbol	$sym35$RUN_KCT_EXPERIMENT
static SubLSymbol	$sym37$QUOTE
static SubLSymbol	$sym4$JANUS_CREATE_OPERATION_P
static SubLSymbol	$sym5$JANUS_ASSERT_OPERATION_P
static SubLSymbol	$sym51$LISTP
static SubLSymbol	$sym58$JANUS_CATEGORIZE_FAILING_ASSERT_INT
static SubLSymbol	$sym6$JANUS_QUERY_OPERATION_P
static SubLSymbol	$sym60$JANUS_VALID_TEST_RUN_
static SubLSymbol	$sym61$INVALID_INDEXED_TERM_
static SubLSymbol	$sym8$ASSERTION_IST_FORMULA
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_janus_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_janus_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	janus_note_argument(SubLObject argument_spec, SubLObject cnf, SubLObject mt, SubLObject direction, SubLObject variable_map)
static SubLObject	janus_note_assert_finished(SubLObject sentence, SubLObject mt, SubLObject strength, SubLObject direction, SubLObject deduce_specs)
static SubLObject	janus_note_create_finished(SubLObject new_constant)
static SubLObject	janus_note_query_finished(SubLObject sentence, SubLObject mt, SubLObject query_properties, SubLObject result, SubLObject halt_reason)
static SubLObject	janus_test_case_loggingP()
static SubLObject	janus_test_case_runningP()
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_janus_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$JANUS_OP

public static final SubLSymbol $kw0$JANUS_OP

$kw1$CREATE

public static final SubLSymbol $kw1$CREATE

$kw2$ASSERT

public static final SubLSymbol $kw2$ASSERT

$kw3$QUERY

public static final SubLSymbol $kw3$QUERY

$sym4$JANUS_CREATE_OPERATION_P

public static final SubLSymbol $sym4$JANUS_CREATE_OPERATION_P

$sym5$JANUS_ASSERT_OPERATION_P

public static final SubLSymbol $sym5$JANUS_ASSERT_OPERATION_P

$sym6$JANUS_QUERY_OPERATION_P

public static final SubLSymbol $sym6$JANUS_QUERY_OPERATION_P

$kw7$CONST

public static final SubLSymbol $kw7$CONST

$sym8$ASSERTION_IST_FORMULA

public static final SubLSymbol $sym8$ASSERTION_IST_FORMULA

$str9$_cyc_projects_inference_janus_tra

public static final SubLString $str9$_cyc_projects_inference_janus_tra

$sym10$FILE_VALID_FOR_WRITING_P

public static final SubLSymbol $sym10$FILE_VALID_FOR_WRITING_P

$str11$_s_appears_more_than_once__in_pos

public static final SubLString $str11$_s_appears_more_than_once__in_pos

$sym12$INVALID_CONSTANT_

public static final SubLSymbol $sym12$INVALID_CONSTANT_

$kw13$ALL

public static final SubLSymbol $kw13$ALL

$sym14$INVALID_ASSERTION_

public static final SubLSymbol $sym14$INVALID_ASSERTION_

$str15$invalid_term_in_assert_op___s__s_

public static final SubLString $str15$invalid_term_in_assert_op___s__s_

$str16$invalid_constant_in_query_op___s_

public static final SubLString $str16$invalid_constant_in_query_op___s_

$kw17$PROBLEM_STORE

public static final SubLSymbol $kw17$PROBLEM_STORE

$str18$ignoring_problem_store_reuse_for_

public static final SubLString $str18$ignoring_problem_store_reuse_for_

$str19$NEW_CONTINUABLE_INFERENCE___s__s_

public static final SubLString $str19$NEW_CONTINUABLE_INFERENCE___s__s_

$kw20$DEDUCTION

public static final SubLSymbol $kw20$DEDUCTION

$str21$_cyc_projects_inference_janus_exp

public static final SubLString $str21$_cyc_projects_inference_janus_exp

$list22

public static final SubLList $list22

$list23

public static final SubLList $list23

$kw24$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw24$ALLOW_OTHER_KEYS

$kw25$TRANSCRIPT_FILENAME

public static final SubLSymbol $kw25$TRANSCRIPT_FILENAME

$kw26$EXPERIMENT_FILENAME

public static final SubLSymbol $kw26$EXPERIMENT_FILENAME

$kw27$COMMENT

public static final SubLSymbol $kw27$COMMENT

$kw28$OVERRIDING_QUERY_PROPERTIES

public static final SubLSymbol $kw28$OVERRIDING_QUERY_PROPERTIES

$kw29$METRICS

public static final SubLSymbol $kw29$METRICS

$list30

public static final SubLList $list30

$kw31$OUTLIER_TIMEOUT

public static final SubLSymbol $kw31$OUTLIER_TIMEOUT

$sym32$_ARETE_OUTLIER_TIMEOUT_

public static final SubLSymbol $sym32$_ARETE_OUTLIER_TIMEOUT_

$kw33$SKIP

public static final SubLSymbol $kw33$SKIP

$kw34$COUNT

public static final SubLSymbol $kw34$COUNT

$sym35$RUN_KCT_EXPERIMENT

public static final SubLSymbol $sym35$RUN_KCT_EXPERIMENT

$kw36$TEST_SPEC_SET

public static final SubLSymbol $kw36$TEST_SPEC_SET

$sym37$QUOTE

public static final SubLSymbol $sym37$QUOTE

$kw38$FILENAME

public static final SubLSymbol $kw38$FILENAME

$kw39$INCREMENTAL

public static final SubLSymbol $kw39$INCREMENTAL

$kw40$OVERRIDING_METRICS

public static final SubLSymbol $kw40$OVERRIDING_METRICS

$int41$600

public static final SubLInteger $int41$600

$str42$Execution_of_Janus_operation__s_f

public static final SubLString $str42$Execution_of_Janus_operation__s_f

$str43$unknown_modification_operation_ty

public static final SubLString $str43$unknown_modification_operation_ty

$kw44$NOT_A_QUERY

public static final SubLSymbol $kw44$NOT_A_QUERY

$kw45$STRENGTH

public static final SubLSymbol $kw45$STRENGTH

$kw46$DIRECTION

public static final SubLSymbol $kw46$DIRECTION

$list47

public static final SubLList $list47

$const48$termOfUnit

public static final SubLObject $const48$termOfUnit

$kw49$NAT

public static final SubLSymbol $kw49$NAT

$str50$Janus_operation_of_unexpected_typ

public static final SubLString $str50$Janus_operation_of_unexpected_typ

$sym51$LISTP

public static final SubLSymbol $sym51$LISTP

$str52$_s_____s__

public static final SubLString $str52$_s_____s__

$kw53$MORE_COMPLETE

public static final SubLSymbol $kw53$MORE_COMPLETE

$kw54$EQUALLY_COMPLETE

public static final SubLSymbol $kw54$EQUALLY_COMPLETE

$kw55$LESS_COMPLETE

public static final SubLSymbol $kw55$LESS_COMPLETE

$kw56$DIFFERENT

public static final SubLSymbol $kw56$DIFFERENT

$kw57$TEST

public static final SubLSymbol $kw57$TEST

$sym58$JANUS_CATEGORIZE_FAILING_ASSERT_INT

public static final SubLSymbol $sym58$JANUS_CATEGORIZE_FAILING_ASSERT_INT

$str59$filtered_to_exclude_invalid_forts

public static final SubLString $str59$filtered_to_exclude_invalid_forts

$sym60$JANUS_VALID_TEST_RUN_

public static final SubLSymbol $sym60$JANUS_VALID_TEST_RUN_

$sym61$INVALID_INDEXED_TERM_

public static final SubLSymbol $sym61$INVALID_INDEXED_TERM_

$kw62$FAILURE

public static final SubLSymbol $kw62$FAILURE

$kw63$BECAME_FAILURE

public static final SubLSymbol $kw63$BECAME_FAILURE

$kw64$BECAME_SUCCESS

public static final SubLSymbol $kw64$BECAME_SUCCESS

$kw65$CHANGE

public static final SubLSymbol $kw65$CHANGE

Method Detail

janus_test_case_loggingP

public static final SubLObject janus_test_case_loggingP()

janus_note_create_finished

public static final SubLObject janus_note_create_finished(SubLObject new_constant)

janus_note_assert_finished

public static final SubLObject janus_note_assert_finished(SubLObject sentence,
                                                          SubLObject mt,
                                                          SubLObject strength,
                                                          SubLObject direction,
                                                          SubLObject deduce_specs)

janus_note_query_finished

public static final SubLObject janus_note_query_finished(SubLObject sentence,
                                                         SubLObject mt,
                                                         SubLObject query_properties,
                                                         SubLObject result,
                                                         SubLObject halt_reason)

janus_note_argument

public static final SubLObject janus_note_argument(SubLObject argument_spec,
                                                   SubLObject cnf,
                                                   SubLObject mt,
                                                   SubLObject direction,
                                                   SubLObject variable_map)

janus_test_case_runningP

public static final SubLObject janus_test_case_runningP()

declare_janus_file

public static final SubLObject declare_janus_file()

init_janus_file

public static final SubLObject init_janus_file()

setup_janus_file

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