com.cyc.cycjava.cycl
Class cycml_generator

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class cycml_generator
extends SubLTranslatedFile

Nested Class Summary

static class	cycml_generator.$cycml_kp_info_native
static class	cycml_generator.$cycml_kp_info_p$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const105$True
static SubLObject	$const107$False
static SubLObject	$const112$not
static SubLObject	$const114$and
static SubLObject	$const116$or
static SubLObject	$const118$xor
static SubLObject	$const120$implies
static SubLObject	$const122$equiv
static SubLObject	$const124$forAll
static SubLObject	$const126$thereExists
static SubLObject	$const128$thereExistExactly
static SubLObject	$const130$thereExistAtMost
static SubLObject	$const132$thereExistAtLeast
static SubLObject	$const135$OpenCycDefinitionalPredicate
static SubLSymbol	$dtp_cycml_kp_info$
static SubLSymbol	$kw41$KNOWLEDGE_PACKAGE_ID
static SubLSymbol	$kw42$KNOWLEDGE_PACKAGE_DEPENDENCIES
static SubLSymbol	$kw43$OPERATIONS
static SubLSymbol	$kw48$CREATE
static SubLSymbol	$kw49$FIND_OR_CREATE
static SubLSymbol	$kw51$RENAME
static SubLSymbol	$kw52$MERGE
static SubLSymbol	$kw53$KILL
static SubLSymbol	$kw57$ASSERT
static SubLSymbol	$kw58$REASSERT
static SubLSymbol	$kw59$UNASSERT
static SubLSymbol	$kw60$BLAST
static SubLSymbol	$kw63$CREATE_SKOLEM
static SubLList	$list104
static SubLList	$list29
static SubLList	$list30
static SubLList	$list31
static SubLList	$list32
static SubLList	$list68
static SubLList	$list71
static SubLList	$list73
static SubLList	$list75
static SubLList	$list77
static SubLList	$list79
static SubLList	$list81
static SubLList	$list84
static SubLString	$str10$api_request_priority
static SubLString	$str100$CycLReifiableNonAtomicTerm
static SubLString	$str102$ELNonAtomicTerm
static SubLString	$str106$
static SubLString	$str108$__is_unknown_type_for_CycML_seria
static SubLString	$str11$api_request_id
static SubLString	$str110$SubLList
static SubLString	$str111$dotted_item
static SubLString	$str113$not
static SubLString	$str115$and
static SubLString	$str117$or
static SubLString	$str119$xor
static SubLString	$str12$nonnegativeinteger
static SubLString	$str121$implies
static SubLString	$str123$equiv
static SubLString	$str125$forAll
static SubLString	$str127$thereExists
static SubLString	$str129$thereExistExactly
static SubLString	$str13$positiveinteger
static SubLString	$str131$thereExistAtMost
static SubLString	$str133$thereExistAtLeast
static SubLString	$str136$CycLAtomicSentence
static SubLString	$str137$Predicate
static SubLString	$str138$purpose
static SubLString	$str139$_A__A__A
static SubLString	$str14$new_name
static SubLString	$str140$_6__0D
static SubLString	$str141$hl_support
static SubLString	$str142$module_token
static SubLString	$str15$date
static SubLString	$str16$time
static SubLString	$str17$cyc_image_id
static SubLString	$str18$knowledge_package_id
static SubLString	$str19$sublsymbol
static SubLString	$str20$sublstring
static SubLString	$str21$sublrealnumber
static SubLString	$str22$cyclvariable
static SubLString	$str23$uri
static SubLString	$str24$namespace
static SubLString	$str25$false
static SubLString	$str26$true
static SubLString	$str3$__
static SubLString	$str4$api_request_message
static SubLString	$str44$Invalid_slot__S_for_construction_
static SubLString	$str45$__CYCML_KP_INFO_
static SubLString	$str5$api_request
static SubLString	$str6$api_request_bindings
static SubLString	$str64$cycml
static SubLString	$str65$knowledge_package
static SubLString	$str66$knowledge_package_dependencies
static SubLString	$str67$operations
static SubLString	$str69$create
static SubLString	$str7$justification
static SubLString	$str70$find_or_create
static SubLString	$str72$rename
static SubLString	$str74$merge
static SubLString	$str76$kill
static SubLString	$str78$assert
static SubLString	$str8$truth
static SubLString	$str80$reassert
static SubLString	$str82$unassert
static SubLString	$str83$blast
static SubLString	$str85$create_skolem
static SubLString	$str86$skolem_unreified_term
static SubLString	$str87$skolem_conjunctive_normal_form
static SubLString	$str88$skolem_arg_types
static SubLString	$str9$api_request_requestor
static SubLString	$str90$bookkeeping_info
static SubLString	$str91$Cyclist
static SubLString	$str92$Microtheory
static SubLString	$str93$CycLConstant
static SubLString	$str94$urn_uuid_
static SubLString	$str96$_S_is_not_a_reified_nart
static SubLString	$str97$CycLReifiedNonAtomicTerm
static SubLString	$str98$Function_Denotational
static SubLString	$str99$argument_list
static SubLSymbol	$sym0$CONSP
static SubLSymbol	$sym1$INTEGERP
static SubLSymbol	$sym101$CYCL_NAT_P
static SubLSymbol	$sym103$CLET
static SubLSymbol	$sym109$CYCML_SERIALIZE_OBJECT_TO_STRING
static SubLSymbol	$sym134$CYCL_ATOMIC_SENTENCE_P
static SubLSymbol	$sym2$STRINGP
static SubLSymbol	$sym27$CYCML_KP_INFO
static SubLSymbol	$sym28$CYCML_KP_INFO_P
static SubLSymbol	$sym33$PRINT_CYCML_KP_INFO
static SubLSymbol	$sym34$CYCML_KP_INFO_PRINT_FUNCTION_TRAMPOLINE
static SubLSymbol	$sym35$CYCML_KP_INFO_KNOWLEDGE_PACKAGE_ID
static SubLSymbol	$sym36$_CSETF_CYCML_KP_INFO_KNOWLEDGE_PACKAGE_ID
static SubLSymbol	$sym37$CYCML_KP_INFO_KNOWLEDGE_PACKAGE_DEPENDENCIES
static SubLSymbol	$sym38$_CSETF_CYCML_KP_INFO_KNOWLEDGE_PACKAGE_DEPENDENCIES
static SubLSymbol	$sym39$CYCML_KP_INFO_OPERATIONS
static SubLSymbol	$sym40$_CSETF_CYCML_KP_INFO_OPERATIONS
static SubLSymbol	$sym46$CYCL_CONSTANT_P
static SubLSymbol	$sym47$CYCL_FORT_P
static SubLSymbol	$sym50$VALID_CONSTANT_NAME_P
static SubLSymbol	$sym54$CYCL_SENTENCE_P
static SubLSymbol	$sym55$EL_STRENGTH_P
static SubLSymbol	$sym56$DIRECTION_P
static SubLSymbol	$sym61$CONSTANT_EXTERNAL_ID_P
static SubLSymbol	$sym62$LISTP
static SubLSymbol	$sym89$UNIVERSAL_SECOND_P
static SubLSymbol	$sym95$CYCL_NART_P
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	cycml_kp_info_print_function_trampoline(SubLObject object, SubLObject stream)
static SubLObject	declare_cycml_generator_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_cycml_generator_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_cycml_generator_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

$dtp_cycml_kp_info$

public static SubLSymbol $dtp_cycml_kp_info$

$sym0$CONSP

public static final SubLSymbol $sym0$CONSP

$sym1$INTEGERP

public static final SubLSymbol $sym1$INTEGERP

$sym2$STRINGP

public static final SubLSymbol $sym2$STRINGP

$str3$__

public static final SubLString $str3$__

$str4$api_request_message

public static final SubLString $str4$api_request_message

$str5$api_request

public static final SubLString $str5$api_request

$str6$api_request_bindings

public static final SubLString $str6$api_request_bindings

$str7$justification

public static final SubLString $str7$justification

$str8$truth

public static final SubLString $str8$truth

$str9$api_request_requestor

public static final SubLString $str9$api_request_requestor

$str10$api_request_priority

public static final SubLString $str10$api_request_priority

$str11$api_request_id

public static final SubLString $str11$api_request_id

$str12$nonnegativeinteger

public static final SubLString $str12$nonnegativeinteger

$str13$positiveinteger

public static final SubLString $str13$positiveinteger

$str14$new_name

public static final SubLString $str14$new_name

$str15$date

public static final SubLString $str15$date

$str16$time

public static final SubLString $str16$time

$str17$cyc_image_id

public static final SubLString $str17$cyc_image_id

$str18$knowledge_package_id

public static final SubLString $str18$knowledge_package_id

$str19$sublsymbol

public static final SubLString $str19$sublsymbol

$str20$sublstring

public static final SubLString $str20$sublstring

$str21$sublrealnumber

public static final SubLString $str21$sublrealnumber

$str22$cyclvariable

public static final SubLString $str22$cyclvariable

$str23$uri

public static final SubLString $str23$uri

$str24$namespace

public static final SubLString $str24$namespace

$str25$false

public static final SubLString $str25$false

$str26$true

public static final SubLString $str26$true

$sym27$CYCML_KP_INFO

public static final SubLSymbol $sym27$CYCML_KP_INFO

$sym28$CYCML_KP_INFO_P

public static final SubLSymbol $sym28$CYCML_KP_INFO_P

$list29

public static final SubLList $list29

$list30

public static final SubLList $list30

$list31

public static final SubLList $list31

$list32

public static final SubLList $list32

$sym33$PRINT_CYCML_KP_INFO

public static final SubLSymbol $sym33$PRINT_CYCML_KP_INFO

$sym34$CYCML_KP_INFO_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym34$CYCML_KP_INFO_PRINT_FUNCTION_TRAMPOLINE

$sym35$CYCML_KP_INFO_KNOWLEDGE_PACKAGE_ID

public static final SubLSymbol $sym35$CYCML_KP_INFO_KNOWLEDGE_PACKAGE_ID

$sym36$_CSETF_CYCML_KP_INFO_KNOWLEDGE_PACKAGE_ID

public static final SubLSymbol $sym36$_CSETF_CYCML_KP_INFO_KNOWLEDGE_PACKAGE_ID

$sym37$CYCML_KP_INFO_KNOWLEDGE_PACKAGE_DEPENDENCIES

public static final SubLSymbol $sym37$CYCML_KP_INFO_KNOWLEDGE_PACKAGE_DEPENDENCIES

$sym38$_CSETF_CYCML_KP_INFO_KNOWLEDGE_PACKAGE_DEPENDENCIES

public static final SubLSymbol $sym38$_CSETF_CYCML_KP_INFO_KNOWLEDGE_PACKAGE_DEPENDENCIES

$sym39$CYCML_KP_INFO_OPERATIONS

public static final SubLSymbol $sym39$CYCML_KP_INFO_OPERATIONS

$sym40$_CSETF_CYCML_KP_INFO_OPERATIONS

public static final SubLSymbol $sym40$_CSETF_CYCML_KP_INFO_OPERATIONS

$kw41$KNOWLEDGE_PACKAGE_ID

public static final SubLSymbol $kw41$KNOWLEDGE_PACKAGE_ID

$kw42$KNOWLEDGE_PACKAGE_DEPENDENCIES

public static final SubLSymbol $kw42$KNOWLEDGE_PACKAGE_DEPENDENCIES

$kw43$OPERATIONS

public static final SubLSymbol $kw43$OPERATIONS

$str44$Invalid_slot__S_for_construction_

public static final SubLString $str44$Invalid_slot__S_for_construction_

$str45$__CYCML_KP_INFO_

public static final SubLString $str45$__CYCML_KP_INFO_

$sym46$CYCL_CONSTANT_P

public static final SubLSymbol $sym46$CYCL_CONSTANT_P

$sym47$CYCL_FORT_P

public static final SubLSymbol $sym47$CYCL_FORT_P

$kw48$CREATE

public static final SubLSymbol $kw48$CREATE

$kw49$FIND_OR_CREATE

public static final SubLSymbol $kw49$FIND_OR_CREATE

$sym50$VALID_CONSTANT_NAME_P

public static final SubLSymbol $sym50$VALID_CONSTANT_NAME_P

$kw51$RENAME

public static final SubLSymbol $kw51$RENAME

$kw52$MERGE

public static final SubLSymbol $kw52$MERGE

$kw53$KILL

public static final SubLSymbol $kw53$KILL

$sym54$CYCL_SENTENCE_P

public static final SubLSymbol $sym54$CYCL_SENTENCE_P

$sym55$EL_STRENGTH_P

public static final SubLSymbol $sym55$EL_STRENGTH_P

$sym56$DIRECTION_P

public static final SubLSymbol $sym56$DIRECTION_P

$kw57$ASSERT

public static final SubLSymbol $kw57$ASSERT

$kw58$REASSERT

public static final SubLSymbol $kw58$REASSERT

$kw59$UNASSERT

public static final SubLSymbol $kw59$UNASSERT

$kw60$BLAST

public static final SubLSymbol $kw60$BLAST

$sym61$CONSTANT_EXTERNAL_ID_P

public static final SubLSymbol $sym61$CONSTANT_EXTERNAL_ID_P

$sym62$LISTP

public static final SubLSymbol $sym62$LISTP

$kw63$CREATE_SKOLEM

public static final SubLSymbol $kw63$CREATE_SKOLEM

$str64$cycml

public static final SubLString $str64$cycml

$str65$knowledge_package

public static final SubLString $str65$knowledge_package

$str66$knowledge_package_dependencies

public static final SubLString $str66$knowledge_package_dependencies

$str67$operations

public static final SubLString $str67$operations

$list68

public static final SubLList $list68

$str69$create

public static final SubLString $str69$create

$str70$find_or_create

public static final SubLString $str70$find_or_create

$list71

public static final SubLList $list71

$str72$rename

public static final SubLString $str72$rename

$list73

public static final SubLList $list73

$str74$merge

public static final SubLString $str74$merge

$list75

public static final SubLList $list75

$str76$kill

public static final SubLString $str76$kill

$list77

public static final SubLList $list77

$str78$assert

public static final SubLString $str78$assert

$list79

public static final SubLList $list79

$str80$reassert

public static final SubLString $str80$reassert

$list81

public static final SubLList $list81

$str82$unassert

public static final SubLString $str82$unassert

$str83$blast

public static final SubLString $str83$blast

$list84

public static final SubLList $list84

$str85$create_skolem

public static final SubLString $str85$create_skolem

$str86$skolem_unreified_term

public static final SubLString $str86$skolem_unreified_term

$str87$skolem_conjunctive_normal_form

public static final SubLString $str87$skolem_conjunctive_normal_form

$str88$skolem_arg_types

public static final SubLString $str88$skolem_arg_types

$sym89$UNIVERSAL_SECOND_P

public static final SubLSymbol $sym89$UNIVERSAL_SECOND_P

$str90$bookkeeping_info

public static final SubLString $str90$bookkeeping_info

$str91$Cyclist

public static final SubLString $str91$Cyclist

$str92$Microtheory

public static final SubLString $str92$Microtheory

$str93$CycLConstant

public static final SubLString $str93$CycLConstant

$str94$urn_uuid_

public static final SubLString $str94$urn_uuid_

$sym95$CYCL_NART_P

public static final SubLSymbol $sym95$CYCL_NART_P

$str96$_S_is_not_a_reified_nart

public static final SubLString $str96$_S_is_not_a_reified_nart

$str97$CycLReifiedNonAtomicTerm

public static final SubLString $str97$CycLReifiedNonAtomicTerm

$str98$Function_Denotational

public static final SubLString $str98$Function_Denotational

$str99$argument_list

public static final SubLString $str99$argument_list

$str100$CycLReifiableNonAtomicTerm

public static final SubLString $str100$CycLReifiableNonAtomicTerm

$sym101$CYCL_NAT_P

public static final SubLSymbol $sym101$CYCL_NAT_P

$str102$ELNonAtomicTerm

public static final SubLString $str102$ELNonAtomicTerm

$sym103$CLET

public static final SubLSymbol $sym103$CLET

$list104

public static final SubLList $list104

$const105$True

public static final SubLObject $const105$True

$str106$

public static final SubLString $str106$

$const107$False

public static final SubLObject $const107$False

$str108$__is_unknown_type_for_CycML_seria

public static final SubLString $str108$__is_unknown_type_for_CycML_seria

$sym109$CYCML_SERIALIZE_OBJECT_TO_STRING

public static final SubLSymbol $sym109$CYCML_SERIALIZE_OBJECT_TO_STRING

$str110$SubLList

public static final SubLString $str110$SubLList

$str111$dotted_item

public static final SubLString $str111$dotted_item

$const112$not

public static final SubLObject $const112$not

$str113$not

public static final SubLString $str113$not

$const114$and

public static final SubLObject $const114$and

$str115$and

public static final SubLString $str115$and

$const116$or

public static final SubLObject $const116$or

$str117$or

public static final SubLString $str117$or

$const118$xor

public static final SubLObject $const118$xor

$str119$xor

public static final SubLString $str119$xor

$const120$implies

public static final SubLObject $const120$implies

$str121$implies

public static final SubLString $str121$implies

$const122$equiv

public static final SubLObject $const122$equiv

$str123$equiv

public static final SubLString $str123$equiv

$const124$forAll

public static final SubLObject $const124$forAll

$str125$forAll

public static final SubLString $str125$forAll

$const126$thereExists

public static final SubLObject $const126$thereExists

$str127$thereExists

public static final SubLString $str127$thereExists

$const128$thereExistExactly

public static final SubLObject $const128$thereExistExactly

$str129$thereExistExactly

public static final SubLString $str129$thereExistExactly

$const130$thereExistAtMost

public static final SubLObject $const130$thereExistAtMost

$str131$thereExistAtMost

public static final SubLString $str131$thereExistAtMost

$const132$thereExistAtLeast

public static final SubLObject $const132$thereExistAtLeast

$str133$thereExistAtLeast

public static final SubLString $str133$thereExistAtLeast

$sym134$CYCL_ATOMIC_SENTENCE_P

public static final SubLSymbol $sym134$CYCL_ATOMIC_SENTENCE_P

$const135$OpenCycDefinitionalPredicate

public static final SubLObject $const135$OpenCycDefinitionalPredicate

$str136$CycLAtomicSentence

public static final SubLString $str136$CycLAtomicSentence

$str137$Predicate

public static final SubLString $str137$Predicate

$str138$purpose

public static final SubLString $str138$purpose

$str139$_A__A__A

public static final SubLString $str139$_A__A__A

$str140$_6__0D

public static final SubLString $str140$_6__0D

$str141$hl_support

public static final SubLString $str141$hl_support

$str142$module_token

public static final SubLString $str142$module_token

Method Detail

cycml_kp_info_print_function_trampoline

public static final SubLObject cycml_kp_info_print_function_trampoline(SubLObject object,
                                                                       SubLObject stream)

declare_cycml_generator_file

public static final SubLObject declare_cycml_generator_file()

init_cycml_generator_file

public static final SubLObject init_cycml_generator_file()

setup_cycml_generator_file

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