inference_datastructures_inference.$inference_answer_justification

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.inference.harness
Class inference_datastructures_inference.$inference_answer_justification_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_answer_justification_native

All Implemented Interfaces:: SubLObject, SubLStruct, java.lang.Cloneable

Enclosing class:: inference_datastructures_inference

public static final class inference_datastructures_inference.$inference_answer_justification_native
extends SubLStructNative
extends SubLStructNative

Field Summary
`SubLObject`	`$answer`
`SubLObject`	`$proofs`
`SubLObject`	`$supports`

Fields inherited from class com.cyc.tool.subl.jrtl.nativeCode.type.core.AbstractSubLStruct
`STRUCT_TYPE_NAME`

Fields inherited from interface com.cyc.tool.subl.jrtl.nativeCode.type.core.SubLObject
`DEFAULT_EXCEEDED_HASH_VALUE, DO_CHECK_TYPES, DO_PARANOID_TYPE_CHECKING, MAX_HASH_DEPTH, MAX_HASH_LENGTH`

Constructor Summary
`inference_datastructures_inference.$inference_answer_justification_native()`

Method Summary
`SubLObject`	`getField2()` Method created to avoid casting
`SubLObject`	`getField3()` Method created to avoid casting
`SubLObject`	`getField4()` Method created to avoid casting
`SubLStructDecl`	`getStructDecl()`
`SubLObject`	`setField2(SubLObject value)` Method created to avoid casting
`SubLObject`	`setField3(SubLObject value)` Method created to avoid casting
`SubLObject`	`setField4(SubLObject value)` Method created to avoid casting

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.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, getField10, getField11, getField12, getField13, getField14, getField15, getField16, getField17, getField18, getField19, getField20, getField5, getField6, getField7, getField8, getField9, 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, setField10, setField11, setField12, setField13, setField14, setField15, setField16, setField17, setField18, setField19, setField20, setField5, setField6, setField7, setField8, setField9, 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 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, getField10, getField11, getField12, getField13, getField14, getField15, getField16, getField17, getField18, getField19, getField20, getField5, getField6, getField7, getField8, getField9, 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, setField10, setField11, setField12, setField13, setField14, setField15, setField16, setField17, setField18, setField19, setField20, setField5, setField6, setField7, setField8, setField9, 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.SubLStruct
`getField, getFieldCount, id, setField`

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, getField10, getField11, getField12, getField13, getField14, getField15, getField16, getField17, getField18, getField19, getField20, getField5, getField6, getField7, getField8, getField9, 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, setField10, setField11, setField12, setField13, setField14, setField15, setField16, setField17, setField18, setField19, setField20, setField5, setField6, setField7, setField8, setField9, 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

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, getField10, getField11, getField12, getField13, getField14, getField15, getField16, getField17, getField18, getField19, getField20, getField5, getField6, getField7, getField8, getField9, 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, setField10, setField11, setField12, setField13, setField14, setField15, setField16, setField17, setField18, setField19, setField20, setField5, setField6, setField7, setField8, setField9, 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

Field Detail

$answer

public SubLObject $answer

$supports

public SubLObject $supports

$proofs

public SubLObject $proofs

Constructor Detail

inference_datastructures_inference.$inference_answer_justification_native

public inference_datastructures_inference.$inference_answer_justification_native()

Method Detail