# Coral's classes and structs ADistArg corADistArg AggSelInfo corAggSelInfo AnnoStruct corAnnoStruct Arg corArg ArgList corArgList ArrayArg corArrayArg ArrayBindEnv corArrayBindEnv AvgArg corAvgArg BaVarPair corBaVarPair BacktrackInfoArray corBacktrackInfoArray BindEnv corBindEnv BitVector corBitVector BuiltinBinaryRelation corBuiltinBinaryRelation BuiltinCompareRelation corBuiltinCompareRelation BuiltinDebugRelation corBuiltinDebugRelation BuiltinFailRelation corBuiltinFailRelation BuiltinIndexRelation corBuiltinIndexRelation BuiltinRelation corBuiltinRelation BuiltinSetRelation corBuiltinSetRelation BuiltinTraceRelation corBuiltinTraceRelation BuiltinUnaryRelation corBuiltinUnaryRelation BuiltinUserRelRelation corBuiltinUserRelRelation BuiltinUserTupleRelation corBuiltinUserTupleRelation CArg corCArg CArgDynArray corCArgDynArray C_arbtype corC_arbtype CcoralTimer corCcoralTimer Clause corClause ClauseName corClauseName ClearSym corClearSym ConnectArray corConnectArray Connection corConnection ConstArg corConstArg Context corContext ContextNode corContextNode DatabaseStruct corDatabaseStruct DerivedMethod corDerivedMethod DerivedRelation corDerivedRelation DistArg corDistArg DontCareArg corDontCareArg ExecutionEnv corExecutionEnv ExecutionList corExecutionList ExportInfo corExportInfo ExprArg corExprArg FixedArrayArg corFixedArrayArg FuncArg corFuncArg GArrayBindEnv corGArrayBindEnv GenericHashTable corGenericHashTable GenericIndex corGenericIndex GenericIndexSet corGenericIndexSet GoalNode corGoalNode GoalNodeLink corGoalNodeLink Grouping corGrouping HashEntry corHashEntry HashFuncs corHashFuncs HashIndex corHashIndex HashIndexSet corHashIndexSet HashNode corHashNode HashSimpleRelation corHashSimpleRelation HeapNode corHeapNode History corHistory Literal corLiteral LogicalArrayArg corLogicalArrayArg ModuleEnv corModuleEnv ModuleExecInfo corModuleExecInfo ModuleInfo corModuleInfo ModulePred corModulePred NumArg corNumArg ParseStack corParseStack ParserEnv corParserEnv ParserStruct corParserStruct PipelinedDerivedRelation corPipelinedDerivedRelation PipelinedExecInfo corPipelinedExecInfo PredAnnotations corPredAnnotations Predicate corPredicate PrioritizeInfo corPrioritizeInfo ProfileInfo corProfileInfo QFMaterializedModuleData corQFMaterializedModuleData QFModuleData corQFModuleData QFPipelinedModuleData corQFPipelinedModuleData RMark corRMark RMarkArray corRMarkArray Relation corRelation RelationLink corRelationLink RelationList corRelationList RelationStruct corRelationStruct RuleEnv corRuleEnv RuleInfo corRuleInfo RuleInfoArray corRuleInfoArray Scc corScc SccEnv corSccEnv SccInfo corSccInfo SccWork corSccWork SemiNaive corSemiNaive StackMark corStackMark StorageRelation corStorageRelation SuspendContext corSuspendContext Symbol corSymbol SymbolTable corSymbolTable Table corTable TableStack corTableStack Term corTerm TermLink corTermLink Term_garray corTerm_garray Trail corTrail TrieNode corTrieNode Tuple corTuple TupleIterator corTupleIterator TupleLink corTupleLink TupleList corTupleList User corUser VarArg corVarArg VarLink corVarLink VersionedBindEnv corVersionedBindEnv # More structs and classses AliasList corAliasList BoundArgList corBoundArgList BPlusTreeIndex corBPlusTreeIndex break_info corbreak_info BufferGroup corBufferGroup Catalog corCatalog CRdbDatabase corCRdbDatabase CRdbManager corCRdbManager CRdbRelation corCRdbRelation CRdbVar corCRdbVar CRdbVarPtrList corCRdbVarPtrList DBEntry corDBEntry FileDescStruct corFileDescStruct IndexStruct corIndexStruct LinkedRelation corLinkedRelation PersistentIndex corPersistentIndex PersistentIndexSet corPersistentIndexSet PersistentRel corPersistentRel RefdData corRefdData Reference corReference RuleAnno corRuleAnno RuleAnnoCase corRuleAnnoCase RuleAnnoCaseDetails corRuleAnnoCaseDetails RuleAnnoCaseName corRuleAnnoCaseName RuleAnnotes corRuleAnnotes Schema corSchema StorageManager corStorageManager Transaction corTransaction # Coral's external variables and functions arg_chain corarg_chain arg_link corarg_link array corarray collection corcollection parameter_chain corparameter_chain parameter_link corparameter_link set_stack corset_stack #sip corsip #sips corsips suspensionClass corsuspensionClass ADstOpSymbol corADstOpSymbol AbsOpSymbol corAbsOpSymbol AbsSolver corAbsSolver AddClauseToPredicate corAddClauseToPredicate AddElemDSolver corAddElemDSolver AddElemDSymbol corAddElemDSymbol AddElemSolver corAddElemSolver AddElemSymbol corAddElemSymbol AddExportInfo corAddExportInfo AddOp corAddOp AddOpSymbol corAddOpSymbol AddProfileInfo corAddProfileInfo AddRelSolver corAddRelSolver AddRelToDBSymbol corAddRelToDBSymbol AggSelectionSymbol corAggSelectionSymbol AliasSolver corAliasSolver AliasSymbol corAliasSymbol AllocPredicate corAllocPredicate AllocTab corAllocTab AllocateRelation corAllocateRelation AllowedAdornSymbol corAllowedAdornSymbol AllowedIndexSymbol corAllowedIndexSymbol AnswerSolver corAnswerSolver AnswerSymbol corAnswerSymbol AnyOpSymbol corAnyOpSymbol AppendFunction corAppendFunction ArgSymbol corArgSymbol ArrayBindSolver corArrayBindSolver ArrayBindString corArrayBindString ArrayConstructSymbol corArrayConstructSymbol ArrayConstructorString corArrayConstructorString ArrayDestructSolver corArrayDestructSolver ArrayDestructorString corArrayDestructorString ArrayLookupSolver corArrayLookupSolver ArrayLookupString corArrayLookupString ArraySolver corArraySolver AssignFunction corAssignFunction AssignSymbol corAssignSymbol AssignValueToGlobal corAssignValueToGlobal AvgOp corAvgOp AvgOpSymbol corAvgOpSymbol BindingsPrintSolver corBindingsPrintSolver BitandOp corBitandOp BitandOpSymbol corBitandOpSymbol BitnotOpSymbol corBitnotOpSymbol BitorOp corBitorOp BitorOpSymbol corBitorOpSymbol BitxorOp corBitxorOp BitxorOpSymbol corBitxorOpSymbol BreakSolver corBreakSolver BreakSymbol corBreakSymbol BuiltinDB corBuiltinDB BuiltinRelTable corBuiltinRelTable Builtin_Arith_Start corBuiltin_Arith_Start Builtin_Convertible_Start corBuiltin_Convertible_Start CDstOpSymbol corCDstOpSymbol consultFile corconsultFile consultBuff corconsultBuff C_ConstructEnvCount corC_ConstructEnvCount C_ConstructEnvSize corC_ConstructEnvSize C_DeleteFunctorCount corC_DeleteFunctorCount C_DeleteFunctorSize corC_DeleteFunctorSize C_DeleteGArraySize corC_DeleteGArraySize C_DeleteHashIndex corC_DeleteHashIndex C_DeleteHashIndexSize corC_DeleteHashIndexSize C_DeleteHashRelation corC_DeleteHashRelation C_DeleteTupleCount corC_DeleteTupleCount C_DeleteTupleSize corC_DeleteTupleSize C_DestructEnvCount corC_DestructEnvCount C_DestructEnvSize corC_DestructEnvSize C_NewArgListCount corC_NewArgListCount C_NewArgListSize corC_NewArgListSize C_NewDoubleCount corC_NewDoubleCount C_NewFunctorCount corC_NewFunctorCount C_NewFunctorSize corC_NewFunctorSize C_NewGArraySize corC_NewGArraySize C_NewHashIndex corC_NewHashIndex C_NewHashIndexSize corC_NewHashIndexSize C_NewHashRelation corC_NewHashRelation C_NewIntCount corC_NewIntCount C_NewTupleCount corC_NewTupleCount C_NewTupleSize corC_NewTupleSize C_PipelinedConstructs corC_PipelinedConstructs C_PipelinedDestructs corC_PipelinedDestructs C_cont_id corC_cont_id C_suppress_all_free corC_suppress_all_free C_tupleiterConstructs corC_tupleiterConstructs C_tupleiterDestructs corC_tupleiterDestructs CallSolver corCallSolver CallSymbol corCallSymbol CeilOpSymbol corCeilOpSymbol CeilSolver corCeilSolver CheckSubsumSymbol corCheckSubsumSymbol ChoiceSymbol corChoiceSymbol ClearBreakSolver corClearBreakSolver ClearBreakSymbol corClearBreakSymbol ClearDBSolver corClearDBSolver ClearDBSymbol corClearDBSymbol ClearRelSolver corClearRelSolver ClearRelSymbol corClearRelSymbol ClearSymbol corClearSymbol CloseRelSolver corCloseRelSolver CloseRelSymbol corCloseRelSymbol CompOpSymbol corCompOpSymbol ConsSymbol corConsSymbol ConsultSolver corConsultSolver ConsultSymbol corConsultSymbol ConvertAdornment corConvertAdornment ConvertFunctionsSymbol corConvertFunctionsSymbol CopyArg corCopyArg CopyArgs corCopyArgs CopyRelSolver corCopyRelSolver CopyRelToDBSymbol corCopyRelToDBSymbol CopyTermOp corCopyTermOp CopyTermSymbol corCopyTermSymbol CountOp corCountOp CountOpSymbol corCountOpSymbol CounterSolver corCounterSolver CounterSymbol corCounterSymbol CpuTimeSymbol corCpuTimeSymbol CputimeSolver corCputimeSolver CreateDBSolver corCreateDBSolver CreateDBSymbol corCreateDBSymbol CreateSetSolver corCreateSetSolver CreateSetSymbol corCreateSetSymbol CurDB corCurDB CurTrail corCurTrail CurrModuleInfo corCurrModuleInfo CurrentDBSolver corCurrentDBSolver CurrentDBSymbol corCurrentDBSymbol CutSolver corCutSolver CutSymbol corCutSymbol DatabaseTable corDatabaseTable DebugSolver corDebugSolver DeleteFactSolver corDeleteFactSolver DeleteFactSymbol corDeleteFactSymbol DeleteFunction corDeleteFunction DeleteInTab corDeleteInTab DestroyDBSolver corDestroyDBSolver DestroyDBSymbol corDestroyDBSymbol DiffDSolver corDiffDSolver DiffSolver corDiffSolver DifferenceDSymbol corDifferenceDSymbol DifferenceSymbol corDifferenceSymbol DiskResidentSymbol corDiskResidentSymbol DisplayDefaultsSolver corDisplayDefaultsSolver DisplayDefaultsSymbol corDisplayDefaultsSymbol DisplayFile corDisplayFile DisplaySymbol corDisplaySymbol DisplayTimerSymbol corDisplayTimerSymbol DivOp corDivOp DivOpSymbol corDivOpSymbol DontCareSymbol corDontCareSymbol DstOpSymbol corDstOpSymbol DumpCounts corDumpCounts EagerEvalSymbol corEagerEvalSymbol EagerIndexingSymbol corEagerIndexingSymbol EmptyPrintSolver corEmptyPrintSolver EndModuleFunction corEndModuleFunction EndOfScc corEndOfScc EndTimeSolver corEndTimeSolver EnterSymbol corEnterSymbol EquOp corEquOp EquOpSymbol corEquOpSymbol ExistOptSymbol corExistOptSymbol ExodusDB corExodusDB ExplainOffSymbol corExplainOffSymbol ExplainOnSymbol corExplainOnSymbol ExportSymbol corExportSymbol ExtractSolver corExtractSolver ExtractSymbol corExtractSymbol FactFunction corFactFunction FailSymbol corFailSymbol FindPredicate corFindPredicate Find_External_Relation corFind_External_Relation Find_RMark_Offset corFind_RMark_Offset FloorOpSymbol corFloorOpSymbol FloorSolver corFloorSolver ForEachInTab corForEachInTab ForEachTabElement corForEachTabElement FuncOp corFuncOp FunctorSymbol corFunctorSymbol GeqOp corGeqOp GeqOpSymbol corGeqOpSymbol GetSymbol corGetSymbol GlobalNewt corGlobalNewt GlobalProfileInfo corGlobalProfileInfo GlobalVarTable corGlobalVarTable GoalIdOp corGoalIdOp GoalIdOpSymbol corGoalIdOpSymbol GrtOp corGrtOp GrtOpSymbol corGrtOpSymbol HelpSolver corHelpSolver HelpSymbol corHelpSymbol HistorySolver corHistorySolver HistorySymbol corHistorySymbol IDivOpSymbol corIDivOpSymbol IndexDeltaSymbol corIndexDeltaSymbol InitTab corInitTab Insert corInsert InsertBuiltin corInsertBuiltin InsertFactSolver corInsertFactSolver InsertFactSymbol corInsertFactSymbol IntToHash corIntToHash InterDSymbol corInterDSymbol InterSymbol corInterSymbol IntersectionDSolver corIntersectionDSolver IntersectionSolver corIntersectionSolver IsConstantSymbol corIsConstantSymbol IsDoubleSymbol corIsDoubleSymbol IsFloatSymbol corIsFloatSymbol IsFunctorSymbol corIsFunctorSymbol IsIntSymbol corIsIntSymbol IsListSymbol corIsListSymbol IsLongSymbol corIsLongSymbol IsNumSymbol corIsNumSymbol IsShortSymbol corIsShortSymbol IsStringSymbol corIsStringSymbol IsVarSymbol corIsVarSymbol Iteration_String corIteration_String KillSolver corKillSolver KillSymbol corKillSymbol LShiftOp corLShiftOp LShiftOpSymbol corLShiftOpSymbol LengthSolver corLengthSolver LengthSymbol corLengthSymbol LeqOp corLeqOp LeqOpSymbol corLeqOpSymbol ListAllSolver corListAllSolver ListDBSolver corListDBSolver ListDBSymbol corListDBSymbol ListRelsInDBSymbol corListRelsInDBSymbol ListSusSolver corListSusSolver ListSusSymbol corListSusSymbol ListSymbol corListSymbol LogicalArrayBindSolver corLogicalArrayBindSolver LogicalArrayBindString corLogicalArrayBindString LogicalArrayConstructorString corLogicalArrayConstructorString LoginSolver corLoginSolver LoginSymbol corLoginSymbol LogoutSolver corLogoutSolver LogoutSymbol corLogoutSymbol LookupPredicate corLookupPredicate LssOp corLssOp LssOpSymbol corLssOpSymbol MagicArgs corMagicArgs MagicBindEnv corMagicBindEnv MagicRelation corMagicRelation MakeFixInt corMakeFixInt MakeIndexSymbol corMakeIndexSymbol MakeSetDSolver corMakeSetDSolver MakeSetDSymbol corMakeSetDSymbol MakeSetSolver corMakeSetSolver MakeSetSymbol corMakeSetSymbol MaxOp corMaxOp MaxOpSymbol corMaxOpSymbol MemTupleSolver corMemTupleSolver MemTupleSymbol corMemTupleSymbol MemberSolver corMemberSolver MemberSymbol corMemberSymbol MinOp corMinOp MinOpSymbol corMinOpSymbol MinusOneCArg corMinusOneCArg ModOp corModOp ModOpSymbol corModOpSymbol ModuleSymbol corModuleSymbol MonotonicSymbol corMonotonicSymbol MulOp corMulOp MulOpSymbol corMulOpSymbol MultiUnionDSolver corMultiUnionDSolver MultiUnionSolver corMultiUnionSolver MultisetSymbol corMultisetSymbol NPOS corNPOS NeqOp corNeqOp NeqOpSymbol corNeqOpSymbol NestedSccEvalSymbol corNestedSccEvalSymbol NestedSymbol corNestedSymbol NewDouble corNewDouble NilSymbol corNilSymbol NoMagicSymbol corNoMagicSymbol NoPreProcessingSymbol corNoPreProcessingSymbol NoRewritingSymbol corNoRewritingSymbol NonGroundFactsSymbol corNonGroundFactsSymbol NullCArg corNullCArg NullTerm corNullTerm OneCArg corOneCArg OpenRelInDBSymbol corOpenRelInDBSymbol OpenRelSolver corOpenRelSolver OrdinaryMagicSymbol corOrdinaryMagicSymbol PDstOpSymbol corPDstOpSymbol PipeInSymbol corPipeInSymbol PipeOutSymbol corPipeOutSymbol PowSolver corPowSolver PowSymbol corPowSymbol PredicateSNSymbol corPredicateSNSymbol PrintBindingSymbol corPrintBindingSymbol PrintEmptySymbol corPrintEmptySymbol PrintModSymbol corPrintModSymbol PrintModuleSolver corPrintModuleSolver PrintSccNonRecursiveRules corPrintSccNonRecursiveRules PrintSccRecursiveRules corPrintSccRecursiveRules PrintSolver corPrintSolver PrintSymbol corPrintSymbol PrintTupleSymbol corPrintTupleSymbol PrintfSolver corPrintfSolver PrintfSymbol corPrintfSymbol PrioritizeSymbol corPrioritizeSymbol ProdOp corProdOp ProdOpSymbol corProdOpSymbol ProfileOffSymbol corProfileOffSymbol ProfileOnSymbol corProfileOnSymbol QSymbol corQSymbol QueryFunction corQueryFunction QuerySymbol corQuerySymbol QuitSolver corQuitSolver QuitSymbol corQuitSymbol RShiftOp corRShiftOp RShiftOpSymbol corRShiftOpSymbol RehashBigger corRehashBigger RelCount corRelCount RelDisplay corRelDisplay RelOptionsSolver corRelOptionsSolver RenameDBSolver corRenameDBSolver RenameDBSymbol corRenameDBSymbol ResetCounterSolver corResetCounterSolver ResetCounterSymbol corResetCounterSymbol ResetCounts corResetCounts ResetDefaultsSolver corResetDefaultsSolver ResetDefaultsSymbol corResetDefaultsSymbol ResumeSolver corResumeSolver ResumeSymbol corResumeSymbol ReturnUnifySymbol corReturnUnifySymbol Rule_String corRule_String SDstOpSymbol corSDstOpSymbol SaveDBSolver corSaveDBSolver SaveDBSymbol corSaveDBSymbol SaveModuleSymbol corSaveModuleSymbol ScanfSymbol corScanfSymbol SccCount corSccCount SccDone corSccDone SccList corSccList SccListTail corSccListTail SccWorkList corSccWorkList Scc_String corScc_String SetSymbol corSetSymbol ShellSolver corShellSolver ShellSymbol corShellSymbol SimpleCopyArgs corSimpleCopyArgs SingleAnswerSymbol corSingleAnswerSymbol SingleSccSymbol corSingleSccSymbol SipReorderSymbol corSipReorderSymbol SocketRelSymbol corSocketRelSymbol StartTimeSolver corStartTimeSolver StartTimerSymbol corStartTimerSymbol StdHashFuncs corStdHashFuncs StrHash corStrHash SubOp corSubOp SubOpSymbol corSubOpSymbol SubsetSolver corSubsetSolver SubsetSymbol corSubsetSymbol SubstringSolver corSubstringSolver SubstringSymbol corSubstringSymbol SumOp corSumOp SumOpSymbol corSumOpSymbol SupMagicIndexingSymbol corSupMagicIndexingSymbol SupplementaryMagicSymbol corSupplementaryMagicSymbol SymbolLookup corSymbolLookup SymbolString corSymbolString SymbolTab corSymbolTab SymbolTabInit corSymbolTabInit SymbolTabInitDone corSymbolTabInitDone SyncSolver corSyncSolver SyncSymbol corSyncSymbol SystemUsage corSystemUsage T_Stack corT_Stack TabInsert corTabInsert TabInserted corTabInserted TableSize corTableSize TheDontCareArg corTheDontCareArg TheParameterArg corTheParameterArg TraceSymbol corTraceSymbol TrueSymbol corTrueSymbol TuplePrintSolver corTuplePrintSolver UnionDSolver corUnionDSolver UnionMaxDSymbol corUnionMaxDSymbol UnionMaxSymbol corUnionMaxSymbol UnionSolver corUnionSolver UnionSumDSymbol corUnionSumDSymbol UnionSumSymbol corUnionSumSymbol UnivSolver corUnivSolver UnivSymbol corUnivSymbol UntraceSymbol corUntraceSymbol UnusedEnv corUnusedEnv UseFactorMagicSymbol corUseFactorMagicSymbol UseFactoringSymbol corUseFactoringSymbol UseOrdSearchSymbol corUseOrdSearchSymbol UsePipeliningSymbol corUsePipeliningSymbol UserSolver corUserSolver UserSymbol corUserSymbol WhoSolver corWhoSolver WhoSymbol corWhoSymbol WhoamiSolver corWhoamiSolver WhoamiSymbol corWhoamiSymbol WriteTableSymbol corWriteTableSymbol YieldSolver corYieldSolver YieldSymbol corYieldSymbol ZeroCArg corZeroCArg addDBStruct coraddDBStruct addIndexSolver1 coraddIndexSolver1 addIndexSolver2 coraddIndexSolver2 addToDB coraddToDB add_agg_sel_annotation coradd_agg_sel_annotation add_allowed_adornment coradd_allowed_adornment add_disallowed_adornment coradd_disallowed_adornment add_diskrel_annotation coradd_diskrel_annotation add_index_delta_annotation coradd_index_delta_annotation add_make_index_annotation coradd_make_index_annotation add_member coradd_member add_multiset_annotation coradd_multiset_annotation add_pred_extern coradd_pred_extern add_prioritize_annotation coradd_prioritize_annotation add_rule coradd_rule add_sup_to_scc coradd_sup_to_scc add_to_array coradd_to_array alloc_preds coralloc_preds alloc_tuple coralloc_tuple andOptionToRelation corandOptionToRelation annotation_error corannotation_error append_arg corappend_arg append_parameter corappend_parameter arith_dereference_term corarith_dereference_term b corb backpatch_bindenvs corbackpatch_bindenvs beginMem corbeginMem build_var_list corbuild_var_list builtin_ops corbuiltin_ops callEQO corcallEQO callMagic corcallMagic cleanup_do_query corcleanup_do_query clearDatabases corclearDatabases clearRelInDB corclearRelInDB clearSym corclearSym clearSymbols corclearSymbols clear_relation corclear_relation clients corclients compile_nonrec_rule corcompile_nonrec_rule compile_single_rule corcompile_single_rule complete_rule corcomplete_rule convert_ans_2_set corconvert_ans_2_set copyToDB corcopyToDB copy_array corcopy_array copy_rule corcopy_rule copy_structs corcopy_structs count_var_list corcount_var_list createDB corcreateDB createFunctorTable corcreateFunctorTable create_an_annotation corcreate_an_annotation create_functor corcreate_functor create_grouping corcreate_grouping create_list corcreate_list create_multi_grouping corcreate_multi_grouping create_nested_multiset corcreate_nested_multiset create_rule_info corcreate_rule_info curConn corcurConn curUser corcurUser currentDB corcurrentDB deep_dereference_term cordeep_dereference_term deflt_conn cordeflt_conn deflt_exEnv cordeflt_exEnv destroyDB cordestroyDB determine_subsum_status cordetermine_subsum_status display_relation_name cordisplay_relation_name do_dump cordo_dump do_query cordo_query dump_str cordump_str duplicate_agg_sel_anno corduplicate_agg_sel_anno duplicate_index corduplicate_index enter_symbol corenter_symbol equal_funcargs corequal_funcargs equal_tuples corequal_tuples exEnv corexEnv execute_single_rule corexecute_single_rule find_ext_magicquerypred corfind_ext_magicquerypred find_external_relation corfind_external_relation find_local_or_external_relation corfind_local_or_external_relation find_local_relation corfind_local_relation find_predicates_invoked_from corfind_predicates_invoked_from find_r_kind corfind_r_kind fprint_magic_name corfprint_magic_name fprint_pred_name corfprint_pred_name full_dereference_term corfull_dereference_term fulldir corfulldir generateIndexes corgenerateIndexes getSuccessBacktrackPoint corgetSuccessBacktrackPoint get_annos corget_annos get_iterator_term corget_iterator_term get_offset corget_offset getfirstFailureBacktrackPoint corgetfirstFailureBacktrackPoint getnextFailureBacktrackPoint corgetnextFailureBacktrackPoint group_dump corgroup_dump group_predicates_in_one_scc corgroup_predicates_in_one_scc has_fail_in_body corhas_fail_in_body has_grouping_args corhas_grouping_args hash_string corhash_string hashcons_table corhashcons_table heap_insert corheap_insert incrLoadFile corincrLoadFile initBuiltins corinitBuiltins initPredOrders corinitPredOrders init_builtin_symbols corinit_builtin_symbols init_collection corinit_collection initialize_scc_structs corinitialize_scc_structs inline_unify_binding corinline_unify_binding insert_array_element corinsert_array_element insert_cur_set corinsert_cur_set interpretPipelined corinterpretPipelined interpret_module corinterpret_module intersect_var_lists corintersect_var_lists isGroundHashValue corisGroundHashValue is_a_builtin coris_a_builtin is_magic coris_magic is_mp_done coris_mp_done is_supp coris_supp isfree_term corisfree_term link_anno_case_list corlink_anno_case_list link_rule_anno corlink_rule_anno listEveryDB corlistEveryDB listRelsInDB corlistRelsInDB list_length corlist_length lookupDB corlookupDB makePipelinedRelation cormakePipelinedRelation make_anno cormake_anno make_anno_case cormake_anno_case make_anno_case_details cormake_anno_case_details make_anno_case_name cormake_anno_case_name make_done_prefix cormake_done_prefix make_ext_pred_list cormake_ext_pred_list make_local_relation cormake_local_relation make_relation cormake_relation make_trie cormake_trie make_vararglist cormake_vararglist max_suspensions cormax_suspensions merge_heaps cormerge_heaps mk_tmp_file_name cormk_tmp_file_name my_str cormy_str number_sccs cornumber_sccs openRelInCurDB coropenRelInCurDB open_file coropen_file opt coropt orOptionToRelation cororOptionToRelation parseEnv corparseEnv parseStack corparseStack parserStruct corparserStruct perform_rewriting corperform_rewriting pipeInSolver corpipeInSolver pipeOutSolver corpipeOutSolver pop_arg_chain corpop_arg_chain pop_cur_set corpop_cur_set pop_heap corpop_heap pop_member corpop_member print_Annotations corprint_Annotations print_MultisetAnnotations corprint_MultisetAnnotations print_adorn_for_pred corprint_adorn_for_pred print_adornment corprint_adornment print_adornment_brack corprint_adornment_brack print_agg_sel_annotations corprint_agg_sel_annotations print_allowed_adornment_annotations corprint_allowed_adornment_annotations print_diskrel_annotations corprint_diskrel_annotations print_make_index_annotations corprint_make_index_annotations print_new_line_after_rule corprint_new_line_after_rule print_pred corprint_pred print_prioritize_annotations corprint_prioritize_annotations print_rule corprint_rule print_rule_with_order corprint_rule_with_order print_sip corprint_sip print_sips corprint_sips print_unique_predname corprint_unique_predname processInputStack corprocessInputStack pull_out_arith_expr corpull_out_arith_expr push_arg_chain corpush_arg_chain push_cur_set corpush_cur_set readTable correadTable reclaim_index correclaim_index reclaim_relation correclaim_relation removeRelFromDB corremoveRelFromDB remove_member corremove_member renameDB correnameDB renameRelation correnameRelation rule_var_enter corrule_var_enter rule_var_lookup corrule_var_lookup saveDB corsaveDB server_page_length corserver_page_length simplify_index corsimplify_index sip_var_lookup corsip_var_lookup sprint_magic_name corsprint_magic_name sprint_pred_name corsprint_pred_name sprint_rule corsprint_rule startMemUsage corstartMemUsage startRUsage corstartRUsage static_terms corstatic_terms subsumes corsubsumes subsumes_arg_lists corsubsumes_arg_lists subsumes_args corsubsumes_args subsumes_binding corsubsumes_binding subsumes_nested_arg_lists corsubsumes_nested_arg_lists subsumes_tuple corsubsumes_tuple subsumes_value corsubsumes_value suspension corsuspension tableFile cortableFile tmpCArg cortmpCArg unify_arg_lists corunify_arg_lists unify_args corunify_args unify_binding corunify_binding unify_literal corunify_literal update_anno_list corupdate_anno_list update_annotations corupdate_annotations update_grouping corupdate_grouping usable_terms corusable_terms vars_between corvars_between writeTableSolver corwriteTableSolver