com.cyc.cycjava.cycl.inference.harness
Class inference_datastructures_inference.$inference_native
java.lang.Object
com.cyc.tool.subl.jrtl.nativeCode.type.core.AbstractSubLObject
com.cyc.tool.subl.jrtl.nativeCode.type.core.AbstractSubLStruct
com.cyc.tool.subl.jrtl.nativeCode.type.core.SubLStructNative
com.cyc.cycjava.cycl.inference.harness.inference_datastructures_inference.$inference_native
- All Implemented Interfaces:
- SubLObject, SubLStruct, java.lang.Cloneable
- Enclosing class:
- inference_datastructures_inference
public static final class inference_datastructures_inference.$inference_native
- extends SubLStructNative
| Methods inherited from class com.cyc.tool.subl.jrtl.nativeCode.type.core.SubLStructNative |
canFastHash, clear, getField, getField0, getField1, getName, isAtom, isBigIntegerBignum, isBignum, isBoolean, isChar, isCons, isDouble, isEnvironment, isError, isFixnum, isFunction, isFunctionSpec, isGuid, isHashtable, isHashtableIterator, isIntBignum, isInteger, isKeyhash, isKeyhashIterator, isKeyword, isList, isLock, isLongBignum, isMacroOperator, isNil, isNumber, isPackage, isProcess, isReadWriteLock, isRegexPattern, isSemaphore, isSequence, isStream, isString, isStructure, isSymbol, isVector, setField, setField0, setField1, setName, structures_bag_p |
| Methods inherited from class com.cyc.tool.subl.jrtl.nativeCode.type.core.AbstractSubLStruct |
equalp, equals, getField, getFieldCount, getType, getTypeCode, hashCode, id, init, setField, toString, toStruct, toTypeName |
| Methods inherited from class com.cyc.tool.subl.jrtl.nativeCode.type.core.AbstractSubLObject |
add, addKey, asArrayList, asConsList, bigIntegerValue, bind, charValue, checkType, checkTypeInternal, clone, currentBinding, dec, doubleValue, eighth, enforceType, enforceTypeInternal, eql, equal, eval, fifth, first, fourth, get, get, getCharacter, getFileDesignator, getFunc, getNumSize, getStream, getString, hashCode, hasKey, inc, intValue, isArrayBased, isNegative, isPositive, isZero, last, longValue, makeCopy, makeDeepCopy, mult, ninth, nthCdr, numE, numG, numGE, numL, numLE, put, rebind, remKey, remove, rest, reverse, second, set, setFirst, setRest, seventh, sixth, size, sub, superHash, tenth, third, toChar, toCons, toDouble, toEnv, toFixnum, toGuid, toHashtable, toHashtableIterator, toInputBinaryStream, toInputStream, toInputTextStream, toInteger, toKeyhash, toKeyhashIterator, toList, toLock, toMacro, toNumber, toOutputBinaryStream, toOutputStream, toOutputTextStream, toPackage, toProcess, toReadWriteLock, toRegexPattern, toSemaphore, toSeq, toStr, toSymbol, toVect |
| Methods inherited from class java.lang.Object |
getClass, notify, notifyAll, wait, wait, wait |
| Methods inherited from interface com.cyc.tool.subl.jrtl.nativeCode.type.core.SubLObject |
add, addKey, asArrayList, asConsList, bigIntegerValue, bind, charValue, checkType, checkTypeInternal, clone, currentBinding, dec, doubleValue, eighth, enforceType, enforceTypeInternal, eql, equal, equalp, eval, fifth, first, fourth, get, get, getCharacter, getFileDesignator, getFunc, getNumSize, getStream, getString, getType, getTypeCode, hashCode, hasKey, inc, intValue, isArrayBased, isNegative, isPositive, isZero, last, longValue, makeCopy, makeDeepCopy, mult, ninth, nthCdr, numE, numG, numGE, numL, numLE, put, rebind, remKey, remove, rest, reverse, second, set, setFirst, setRest, seventh, sixth, size, sub, superHash, tenth, third, toChar, toCons, toDouble, toEnv, toFixnum, toGuid, toHashtable, toHashtableIterator, toInputBinaryStream, toInputStream, toInputTextStream, toInteger, toKeyhash, toKeyhashIterator, toList, toLock, toMacro, toNumber, toOutputBinaryStream, toOutputStream, toOutputTextStream, toPackage, toProcess, toReadWriteLock, toRegexPattern, toSemaphore, toSeq, toStr, toStruct, toSymbol, toTypeName, toVect |
$suid
public SubLObject $suid
$problem_store
public SubLObject $problem_store
$forward_propagate
public SubLObject $forward_propagate
$input_mt
public SubLObject $input_mt
$input_el_query
public SubLObject $input_el_query
$input_non_explanatory_el_query
public SubLObject $input_non_explanatory_el_query
$input_query_properties
public SubLObject $input_query_properties
$mt
public SubLObject $mt
$el_query
public SubLObject $el_query
$el_bindings
public SubLObject $el_bindings
$hl_query
public SubLObject $hl_query
$explanatory_subquery
public SubLObject $explanatory_subquery
$non_explanatory_subquery
public SubLObject $non_explanatory_subquery
$free_hl_vars
public SubLObject $free_hl_vars
$hypothetical_bindings
public SubLObject $hypothetical_bindings
$answer_id_index
public SubLObject $answer_id_index
$answer_bindings_index
public SubLObject $answer_bindings_index
$new_answer_id_start
public SubLObject $new_answer_id_start
$new_answer_justifications
public SubLObject $new_answer_justifications
$status
public SubLObject $status
$suspend_status
public SubLObject $suspend_status
$root_link
public SubLObject $root_link
$relevant_problems
public SubLObject $relevant_problems
$strategy_set
public SubLObject $strategy_set
$control_process
public SubLObject $control_process
$interrupting_processes
public SubLObject $interrupting_processes
$max_transformation_depth_reached
public SubLObject $max_transformation_depth_reached
$disjunction_free_el_vars_policy
public SubLObject $disjunction_free_el_vars_policy
$result_uniqueness_criterion
public SubLObject $result_uniqueness_criterion
$allow_hl_predicate_transformationP
public SubLObject $allow_hl_predicate_transformationP
$allow_unbound_predicate_transformationP
public SubLObject $allow_unbound_predicate_transformationP
$allow_evaluatable_predicate_transformationP
public SubLObject $allow_evaluatable_predicate_transformationP
$allow_indeterminate_resultsP
public SubLObject $allow_indeterminate_resultsP
$allowed_rules
public SubLObject $allowed_rules
$forbidden_rules
public SubLObject $forbidden_rules
$allowed_modules
public SubLObject $allowed_modules
$allow_abnormality_checkingP
public SubLObject $allow_abnormality_checkingP
$transitive_closure_mode
public SubLObject $transitive_closure_mode
$problem_store_privateP
public SubLObject $problem_store_privateP
$continuableP
public SubLObject $continuableP
$browsableP
public SubLObject $browsableP
$return_type
public SubLObject $return_type
$answer_language
public SubLObject $answer_language
$cache_resultsP
public SubLObject $cache_resultsP
$blockingP
public SubLObject $blockingP
$max_number
public SubLObject $max_number
$max_time
public SubLObject $max_time
$max_step
public SubLObject $max_step
$mode
public SubLObject $mode
$forward_max_time
public SubLObject $forward_max_time
$max_proof_depth
public SubLObject $max_proof_depth
$max_transformation_depth
public SubLObject $max_transformation_depth
$probably_approximately_done
public SubLObject $probably_approximately_done
$metrics_template
public SubLObject $metrics_template
$start_universal_time
public SubLObject $start_universal_time
$start_internal_real_time
public SubLObject $start_internal_real_time
$end_internal_real_time
public SubLObject $end_internal_real_time
$pad_internal_real_time
public SubLObject $pad_internal_real_time
$cumulative_time
public SubLObject $cumulative_time
$step_count
public SubLObject $step_count
$cumulative_step_count
public SubLObject $cumulative_step_count
$events
public SubLObject $events
$halt_conditions
public SubLObject $halt_conditions
$accumulators
public SubLObject $accumulators
$proof_watermark
public SubLObject $proof_watermark
$problem_working_time_data
public SubLObject $problem_working_time_data
$type
public SubLObject $type
$data
public SubLObject $data
inference_datastructures_inference.$inference_native
public inference_datastructures_inference.$inference_native()
getStructDecl
public SubLStructDecl getStructDecl()
getField2
public SubLObject getField2()
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
getField2 in interface SubLObject- Overrides:
getField2 in class AbstractSubLObject
getField3
public SubLObject getField3()
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
getField3 in interface SubLObject- Overrides:
getField3 in class AbstractSubLObject
getField4
public SubLObject getField4()
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
getField4 in interface SubLObject- Overrides:
getField4 in class AbstractSubLObject
getField5
public SubLObject getField5()
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
getField5 in interface SubLObject- Overrides:
getField5 in class AbstractSubLObject
getField6
public SubLObject getField6()
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
getField6 in interface SubLObject- Overrides:
getField6 in class AbstractSubLObject
getField7
public SubLObject getField7()
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
getField7 in interface SubLObject- Overrides:
getField7 in class AbstractSubLObject
getField8
public SubLObject getField8()
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
getField8 in interface SubLObject- Overrides:
getField8 in class AbstractSubLObject
getField9
public SubLObject getField9()
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
getField9 in interface SubLObject- Overrides:
getField9 in class AbstractSubLObject
getField10
public SubLObject getField10()
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
getField10 in interface SubLObject- Overrides:
getField10 in class AbstractSubLObject
getField11
public SubLObject getField11()
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
getField11 in interface SubLObject- Overrides:
getField11 in class AbstractSubLObject
getField12
public SubLObject getField12()
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
getField12 in interface SubLObject- Overrides:
getField12 in class AbstractSubLObject
getField13
public SubLObject getField13()
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
getField13 in interface SubLObject- Overrides:
getField13 in class AbstractSubLObject
getField14
public SubLObject getField14()
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
getField14 in interface SubLObject- Overrides:
getField14 in class AbstractSubLObject
getField15
public SubLObject getField15()
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
getField15 in interface SubLObject- Overrides:
getField15 in class AbstractSubLObject
getField16
public SubLObject getField16()
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
getField16 in interface SubLObject- Overrides:
getField16 in class AbstractSubLObject
getField17
public SubLObject getField17()
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
getField17 in interface SubLObject- Overrides:
getField17 in class AbstractSubLObject
getField18
public SubLObject getField18()
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
getField18 in interface SubLObject- Overrides:
getField18 in class AbstractSubLObject
getField19
public SubLObject getField19()
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
getField19 in interface SubLObject- Overrides:
getField19 in class AbstractSubLObject
getField20
public SubLObject getField20()
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
getField20 in interface SubLObject- Overrides:
getField20 in class AbstractSubLObject
getField21
public SubLObject getField21()
getField22
public SubLObject getField22()
getField23
public SubLObject getField23()
getField24
public SubLObject getField24()
getField25
public SubLObject getField25()
getField26
public SubLObject getField26()
getField27
public SubLObject getField27()
getField28
public SubLObject getField28()
getField29
public SubLObject getField29()
getField30
public SubLObject getField30()
getField31
public SubLObject getField31()
getField32
public SubLObject getField32()
getField33
public SubLObject getField33()
getField34
public SubLObject getField34()
getField35
public SubLObject getField35()
getField36
public SubLObject getField36()
getField37
public SubLObject getField37()
getField38
public SubLObject getField38()
getField39
public SubLObject getField39()
getField40
public SubLObject getField40()
getField41
public SubLObject getField41()
getField42
public SubLObject getField42()
getField43
public SubLObject getField43()
getField44
public SubLObject getField44()
getField45
public SubLObject getField45()
getField46
public SubLObject getField46()
getField47
public SubLObject getField47()
getField48
public SubLObject getField48()
getField49
public SubLObject getField49()
getField50
public SubLObject getField50()
getField51
public SubLObject getField51()
getField52
public SubLObject getField52()
getField53
public SubLObject getField53()
getField54
public SubLObject getField54()
getField55
public SubLObject getField55()
getField56
public SubLObject getField56()
getField57
public SubLObject getField57()
getField58
public SubLObject getField58()
getField59
public SubLObject getField59()
getField60
public SubLObject getField60()
getField61
public SubLObject getField61()
getField62
public SubLObject getField62()
getField63
public SubLObject getField63()
getField64
public SubLObject getField64()
getField65
public SubLObject getField65()
getField66
public SubLObject getField66()
getField67
public SubLObject getField67()
getField68
public SubLObject getField68()
getField69
public SubLObject getField69()
setField2
public SubLObject setField2(SubLObject value)
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
setField2 in interface SubLObject- Overrides:
setField2 in class AbstractSubLObject
setField3
public SubLObject setField3(SubLObject value)
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
setField3 in interface SubLObject- Overrides:
setField3 in class AbstractSubLObject
setField4
public SubLObject setField4(SubLObject value)
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
setField4 in interface SubLObject- Overrides:
setField4 in class AbstractSubLObject
setField5
public SubLObject setField5(SubLObject value)
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
setField5 in interface SubLObject- Overrides:
setField5 in class AbstractSubLObject
setField6
public SubLObject setField6(SubLObject value)
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
setField6 in interface SubLObject- Overrides:
setField6 in class AbstractSubLObject
setField7
public SubLObject setField7(SubLObject value)
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
setField7 in interface SubLObject- Overrides:
setField7 in class AbstractSubLObject
setField8
public SubLObject setField8(SubLObject value)
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
setField8 in interface SubLObject- Overrides:
setField8 in class AbstractSubLObject
setField9
public SubLObject setField9(SubLObject value)
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
setField9 in interface SubLObject- Overrides:
setField9 in class AbstractSubLObject
setField10
public SubLObject setField10(SubLObject value)
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
setField10 in interface SubLObject- Overrides:
setField10 in class AbstractSubLObject
setField11
public SubLObject setField11(SubLObject value)
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
setField11 in interface SubLObject- Overrides:
setField11 in class AbstractSubLObject
setField12
public SubLObject setField12(SubLObject value)
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
setField12 in interface SubLObject- Overrides:
setField12 in class AbstractSubLObject
setField13
public SubLObject setField13(SubLObject value)
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
setField13 in interface SubLObject- Overrides:
setField13 in class AbstractSubLObject
setField14
public SubLObject setField14(SubLObject value)
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
setField14 in interface SubLObject- Overrides:
setField14 in class AbstractSubLObject
setField15
public SubLObject setField15(SubLObject value)
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
setField15 in interface SubLObject- Overrides:
setField15 in class AbstractSubLObject
setField16
public SubLObject setField16(SubLObject value)
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
setField16 in interface SubLObject- Overrides:
setField16 in class AbstractSubLObject
setField17
public SubLObject setField17(SubLObject value)
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
setField17 in interface SubLObject- Overrides:
setField17 in class AbstractSubLObject
setField18
public SubLObject setField18(SubLObject value)
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
setField18 in interface SubLObject- Overrides:
setField18 in class AbstractSubLObject
setField19
public SubLObject setField19(SubLObject value)
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
setField19 in interface SubLObject- Overrides:
setField19 in class AbstractSubLObject
setField20
public SubLObject setField20(SubLObject value)
- Description copied from class:
AbstractSubLObject
- Method created to avoid casting
- Specified by:
setField20 in interface SubLObject- Overrides:
setField20 in class AbstractSubLObject
setField21
public SubLObject setField21(SubLObject value)
setField22
public SubLObject setField22(SubLObject value)
setField23
public SubLObject setField23(SubLObject value)
setField24
public SubLObject setField24(SubLObject value)
setField25
public SubLObject setField25(SubLObject value)
setField26
public SubLObject setField26(SubLObject value)
setField27
public SubLObject setField27(SubLObject value)
setField28
public SubLObject setField28(SubLObject value)
setField29
public SubLObject setField29(SubLObject value)
setField30
public SubLObject setField30(SubLObject value)
setField31
public SubLObject setField31(SubLObject value)
setField32
public SubLObject setField32(SubLObject value)
setField33
public SubLObject setField33(SubLObject value)
setField34
public SubLObject setField34(SubLObject value)
setField35
public SubLObject setField35(SubLObject value)
setField36
public SubLObject setField36(SubLObject value)
setField37
public SubLObject setField37(SubLObject value)
setField38
public SubLObject setField38(SubLObject value)
setField39
public SubLObject setField39(SubLObject value)
setField40
public SubLObject setField40(SubLObject value)
setField41
public SubLObject setField41(SubLObject value)
setField42
public SubLObject setField42(SubLObject value)
setField43
public SubLObject setField43(SubLObject value)
setField44
public SubLObject setField44(SubLObject value)
setField45
public SubLObject setField45(SubLObject value)
setField46
public SubLObject setField46(SubLObject value)
setField47
public SubLObject setField47(SubLObject value)
setField48
public SubLObject setField48(SubLObject value)
setField49
public SubLObject setField49(SubLObject value)
setField50
public SubLObject setField50(SubLObject value)
setField51
public SubLObject setField51(SubLObject value)
setField52
public SubLObject setField52(SubLObject value)
setField53
public SubLObject setField53(SubLObject value)
setField54
public SubLObject setField54(SubLObject value)
setField55
public SubLObject setField55(SubLObject value)
setField56
public SubLObject setField56(SubLObject value)
setField57
public SubLObject setField57(SubLObject value)
setField58
public SubLObject setField58(SubLObject value)
setField59
public SubLObject setField59(SubLObject value)
setField60
public SubLObject setField60(SubLObject value)
setField61
public SubLObject setField61(SubLObject value)
setField62
public SubLObject setField62(SubLObject value)
setField63
public SubLObject setField63(SubLObject value)
setField64
public SubLObject setField64(SubLObject value)
setField65
public SubLObject setField65(SubLObject value)
setField66
public SubLObject setField66(SubLObject value)
setField67
public SubLObject setField67(SubLObject value)
setField68
public SubLObject setField68(SubLObject value)
setField69
public SubLObject setField69(SubLObject value)