[gringo] 09/11: debian/symbols: add libclingo.so.1 symbols

Wed Nov 1 16:16:05 UTC 2017

This is an automated email from the git hooks/post-receive script.

tkren-guest pushed a commit to branch devel
in repository gringo.

commit 3300fe7dfbf7e5512219aefa5a0fdb256f9620c2
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Wed Nov 1 14:23:56 2017 +0000

    debian/symbols: add libclingo.so.1 symbols
---
 debian/symbols | 314 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 314 insertions(+)

diff --git a/debian/symbols b/debian/symbols
new file mode 100644
index 0000000..99728c7
--- /dev/null
+++ b/debian/symbols
@@ -0,0 +1,314 @@
+libclingo.so.1 gringo #MINVER#
+ _ZNKSt5ctypeIcE8do_widenEc at Base 1
+ _ZNKSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St9_IdentityIS5_ESt4lessIS5_ESaIS5_EE4findERKS5_ at Base 1
+ _ZNSt10_HashtableINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_jESaIS8_ENSt8__detail10_Select1stESt8equal_toIS5_ESt4hashIS5_ENSA_18_Mod_range_hashingENSA_20_Default_ranged_hashENSA_20_Prime_rehash_policyENSA_17_Hashtable_traitsILb1ELb0ELb1EEEE10_M_emplaceIJS8_EEES6_INSA_14_Node_iteratorIS8_Lb0ELb1EEEbESt17integral_constantIbLb1EEDpOT_ at Base 1
+ _ZNSt10_HashtableINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_jESaIS8_ENSt8__detail10_Select1stESt8equal_toIS5_ESt4hashIS5_ENSA_18_Mod_range_hashingENSA_20_Default_ranged_hashENSA_20_Prime_rehash_policyENSA_17_Hashtable_traitsILb1ELb0ELb1EEEE9_M_rehashEmRKm at Base 1
+ _ZNSt10_HashtableIjSt4pairIKjPKcESaIS4_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS6_18_Mod_range_hashingENS6_20_Default_ranged_hashENS6_20_Prime_rehash_policyENS6_17_Hashtable_traitsILb0ELb0ELb1EEEE21_M_insert_unique_nodeEmmPNS6_10_Hash_nodeIS4_Lb0EEE at Base 1
+ _ZNSt10_HashtableIjSt4pairIKjPKcESaIS4_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS6_18_Mod_range_hashingENS6_20_Default_ranged_hashENS6_20_Prime_rehash_policyENS6_17_Hashtable_traitsILb0ELb0ELb1EEEE9_M_rehashEmRKm at Base 1
+ _ZNSt10_HashtableIjSt4pairIKjjESaIS2_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb0EEEE11equal_rangeERS1_ at Base 1
+ _ZNSt10_HashtableIjSt4pairIKjjESaIS2_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb0EEEE13_M_rehash_auxEmSt17integral_constantIbLb0EE at Base 1
+ _ZNSt10_HashtableIjSt4pairIKjjESaIS2_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb0EEEE5clearEv at Base 1
+ _ZNSt10_HashtableIjSt4pairIKjjESaIS2_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb0EEEED1Ev at Base 1
+ _ZNSt10_HashtableIjSt4pairIKjjESaIS2_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb0EEEED2Ev at Base 1
+ _ZNSt10_HashtableImSt4pairIKmjESaIS2_ENSt8__detail10_Select1stESt8equal_toImESt4hashImENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb1EEEE21_M_insert_unique_nodeEmmPNS4_10_Hash_nodeIS2_Lb0EEE at Base 1
+ _ZNSt10_HashtableImSt4pairIKmjESaIS2_ENSt8__detail10_Select1stESt8equal_toImESt4hashImENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb1EEEE9_M_rehashEmRS1_ at Base 1
+ _ZNSt11unique_lockISt5mutexE6unlockEv at Base 1
+ _ZNSt12__shared_ptrIjLN9__gnu_cxx12_Lock_policyE2EEC1ERKS2_ at Base 1
+ _ZNSt12__shared_ptrIjLN9__gnu_cxx12_Lock_policyE2EEC2ERKS2_ at Base 1
+ _ZNSt14_Function_base13_Base_managerISt5_BindIFMN5Clasp3Cli12ClaspAppBaseEFbRNS2_11ClaspFacadeEEPN6Gringo9ClingoAppESt12_PlaceholderILi1EEEEE10_M_managerERSt9_Any_dataRKSH_St18_Manager_operation at Base 1
+ _ZNSt14_Function_base13_Base_managerISt5_BindIFMN5Clasp3Cli12ClaspAppBaseEFbRNS2_14ProgramBuilderEEPN6Gringo9ClingoAppESt12_PlaceholderILi1EEEEE10_M_managerERSt9_Any_dataRKSH_St18_Manager_operation at Base 1
+ _ZNSt14_Function_base13_Base_managerIZNK6Gringo11ClingoModel5atomsEjEUljE_E10_M_managerERSt9_Any_dataRKS5_St18_Manager_operation at Base 1
+ _ZNSt15__exception_ptr12__dest_thunkISt13runtime_errorEEvPv at Base 1
+ _ZNSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE10_M_releaseEv at Base 1
+ _ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPN6Gringo10CSPRelTermEES5_EET0_T_S8_S7_ at Base 1
+ _ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPN6Gringo13TheoryAtomDefEES5_EET0_T_S8_S7_ at Base 1
+ _ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPN6Gringo5Input10CheckLevelEES6_EET0_T_S9_S8_ at Base 1
+ _ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPN6Gringo5Input7CSPElemEES6_EET0_T_S9_S8_ at Base 1
+ _ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPSt4pairISt10unique_ptrIN6Gringo5Input7LiteralESt14default_deleteIS7_EESt6vectorISA_SaISA_EEEESF_EET0_T_SI_SH_ at Base 1
+ _ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPSt4pairISt6vectorIS3_ISt10unique_ptrIN6Gringo5Input7LiteralESt14default_deleteIS8_EES4_ISB_SaISB_EEESaISE_EESD_EESI_EET0_T_SL_SK_ at Base 1
+ _ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPSt4pairISt6vectorIS4_ISt10unique_ptrIN6Gringo5Input7LiteralESt14default_deleteIS8_EESaISB_EESaISD_EESD_EESH_EET0_T_SK_SJ_ at Base 1
+ _ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPSt4pairISt6vectorISt10unique_ptrIN6Gringo4TermESt14default_deleteIS7_EESaISA_EES4_IS5_INS6_5Input7LiteralES8_ISE_EESaISG_EEEESK_EET0_T_SN_SM_ at Base 1
+ _ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPSt6vectorIN6Gringo5BoundESaIS5_EEES8_EET0_T_SB_SA_ at Base 1
+ _ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPSt6vectorISt10unique_ptrIN6Gringo4TermESt14default_deleteIS6_EESaIS9_EEESC_EET0_T_SF_SE_ at Base 1
+ _ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPSt6vectorISt10unique_ptrIN6Gringo5Input7LiteralESt14default_deleteIS7_EESaISA_EEESD_EET0_T_SG_SF_ at Base 1
+ _ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPSt8functionIFSt10unique_ptrIN6Gringo6Ground9StatementESt14default_deleteIS7_EEOSt6vectorIS4_INS6_7LiteralES8_ISC_EESaISE_EEEEESK_EET0_T_SN_SM_ at Base 1
+ _ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE10_M_destroyEv at Base 1
+ _ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE10_M_disposeEv at Base 1
+ _ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE14_M_get_deleterERKSt9type_info at Base 1
+ _ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EED0Ev at Base 1
+ _ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EED1Ev at Base 1
+ _ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EED2Ev at Base 1
+ _ZNSt3_V28__rotateIPjEET_S2_S2_S2_St26random_access_iterator_tag at Base 1
+ _ZNSt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_ED1Ev at Base 1
+ _ZNSt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_ED2Ev at Base 1
+ _ZNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp11ClaspFacade13SolveStrategyENS4_11SolveMode_tEEPNS6_5AsyncENS7_1EEEEEEE6_M_runEv at Base 1
+ _ZNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp11ClaspFacade13SolveStrategyENS4_11SolveMode_tEEPNS6_5AsyncENS7_1EEEEEEED0Ev at Base 1
+ _ZNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp11ClaspFacade13SolveStrategyENS4_11SolveMode_tEEPNS6_5AsyncENS7_1EEEEEEED1Ev at Base 1
+ _ZNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp11ClaspFacade13SolveStrategyENS4_11SolveMode_tEEPNS6_5AsyncENS7_1EEEEEEED2Ev at Base 1
+ _ZNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp2mt13ParallelSolveEjEPS6_jEEEEE6_M_runEv at Base 1
+ _ZNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp2mt13ParallelSolveEjEPS6_jEEEEED0Ev at Base 1
+ _ZNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp2mt13ParallelSolveEjEPS6_jEEEEED1Ev at Base 1
+ _ZNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp2mt13ParallelSolveEjEPS6_jEEEEED2Ev at Base 1
+ _ZNSt6vectorIN6Gringo5Input10TermVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 1
+ _ZNSt6vectorIN6Gringo5Input11BdLitVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 1
+ _ZNSt6vectorIN6Gringo5Input11BoundVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 1
+ _ZNSt6vectorIN6Gringo5Input13CSPAddTermUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 1
+ _ZNSt6vectorIN6Gringo5Input13CSPElemVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 1
+ _ZNSt6vectorIN6Gringo5Input13CSPMulTermUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 1
+ _ZNSt6vectorIN6Gringo5Input13CondLitVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 1
+ _ZNSt6vectorIN6Gringo5Input13TermVecVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 1
+ _ZNSt6vectorIN6Gringo5Input13TheoryAtomUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 1
+ _ZNSt6vectorIN6Gringo5Input13TheoryTermUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 1
+ _ZNSt6vectorIN6Gringo5Input14TheoryOpDefUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 1
+ _ZNSt6vectorIN6Gringo5Input14TheoryOpVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 1
+ _ZNSt6vectorIN6Gringo5Input15TheoryDefVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 1
+ _ZNSt6vectorIN6Gringo5Input15TheoryOptermUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 1
+ _ZNSt6vectorIN6Gringo5Input16BdAggrElemVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 1
+ _ZNSt6vectorIN6Gringo5Input16HdAggrElemVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 1
+ _ZNSt6vectorIN6Gringo5Input16TheoryAtomDefUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 1
+ _ZNSt6vectorIN6Gringo5Input16TheoryElemVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 1
+ _ZNSt6vectorIN6Gringo5Input16TheoryTermDefUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 1
+ _ZNSt6vectorIN6Gringo5Input17TheoryOpDefVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 1
+ _ZNSt6vectorIN6Gringo5Input18TheoryOptermVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 1
+ _ZNSt6vectorIN6Gringo5Input6LitUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 1
+ _ZNSt6vectorIN6Gringo5Input7TermUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 1
+ _ZNSt6vectorIN6Gringo5Input8HdLitUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 1
+ _ZNSt6vectorIN6Gringo5Input8IdVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 1
+ _ZNSt6vectorIN6Gringo5Input9CSPLitUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 1
+ _ZNSt6vectorIN6Gringo5Input9LitVecUidESaIS2_EE17_M_realloc_insertIJRKS2_EEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 1
+ _ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE12emplace_backIJS5_EEEvDpOT_ at Base 1
+ _ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE17_M_default_appendEm at Base 1
+ _ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE17_M_realloc_insertIJRKS5_EEEvN9__gnu_cxx17__normal_iteratorIPS5_S7_EEDpOT_ at Base 1
+ _ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE17_M_realloc_insertIJS5_EEEvN9__gnu_cxx17__normal_iteratorIPS5_S7_EEDpOT_ at Base 1
+ _ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EED1Ev at Base 1
+ _ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EED2Ev at Base 1
+ _ZNSt6vectorIPKcSaIS1_EE17_M_realloc_insertIJRKS1_EEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_ at Base 1
+ _ZNSt6vectorIPKcSaIS1_EE17_M_realloc_insertIJS1_EEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_ at Base 1
+ _ZNSt6vectorIPvSaIS0_EE12emplace_backIJS0_EEEvDpOT_ at Base 1
+ _ZNSt6vectorIS_IPKcSaIS1_EESaIS3_EE17_M_realloc_insertIJEEEvN9__gnu_cxx17__normal_iteratorIPS3_S5_EEDpOT_ at Base 1
+ _ZNSt6vectorISt4pairIPKciESaIS3_EE12emplace_backIJS3_EEEvDpOT_ at Base 1
+ _ZNSt6vectorISt4pairIS0_IjjEjESaIS2_EE17_M_realloc_insertIJS1_RjEEEvN9__gnu_cxx17__normal_iteratorIPS2_S4_EEDpOT_ at Base 1
+ _ZNSt6vectorISt4pairIijESaIS1_EE12emplace_backIJRS1_EEEvDpOT_ at Base 1
+ _ZNSt6vectorISt4pairIijESaIS1_EE12emplace_backIJRiiEEEvDpOT_ at Base 1
+ _ZNSt6vectorISt4pairIjjESaIS1_EE12emplace_backIJRjjEEEvDpOT_ at Base 1
+ _ZNSt6vectorISt4pairIjjESaIS1_EE12emplace_backIJS1_EEEvDpOT_ at Base 1
+ _ZNSt6vectorISt4pairIjjESaIS1_EE17_M_realloc_insertIJRS1_EEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_ at Base 1
+ _ZNSt6vectorISt4pairIjjESaIS1_EE17_M_realloc_insertIJRjjEEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_ at Base 1
+ _ZNSt6vectorIbSaIbEE13_M_insert_auxESt13_Bit_iteratorb at Base 1
+ _ZNSt6vectorIbSaIbEE14_M_fill_insertESt13_Bit_iteratormb at Base 1
+ _ZNSt6vectorIcSaIcEE15_M_range_insertIPKcEEvN9__gnu_cxx17__normal_iteratorIPcS1_EET_S9_St20forward_iterator_tag at Base 1
+ _ZNSt6vectorIcSaIcEE17_M_realloc_insertIJRKcEEEvN9__gnu_cxx17__normal_iteratorIPcS1_EEDpOT_ at Base 1
+ _ZNSt6vectorIiSaIiEE12emplace_backIJiEEEvDpOT_ at Base 1
+ _ZNSt6vectorIiSaIiEE17_M_realloc_insertIJiEEEvN9__gnu_cxx17__normal_iteratorIPiS1_EEDpOT_ at Base 1
+ _ZNSt6vectorIjSaIjEE12emplace_backIJRjEEEvDpOT_ at Base 1
+ _ZNSt6vectorIjSaIjEE12emplace_backIJjEEEvDpOT_ at Base 1
+ _ZNSt6vectorIjSaIjEE15_M_range_insertIN9__gnu_cxx17__normal_iteratorIPjS1_EEEEvS6_T_S7_St20forward_iterator_tag at Base 1
+ _ZNSt6vectorIjSaIjEE17_M_realloc_insertIJRKjEEEvN9__gnu_cxx17__normal_iteratorIPjS1_EEDpOT_ at Base 1
+ _ZNSt6vectorIjSaIjEE17_M_realloc_insertIJRN6Gringo6Output22BodyAggregateElements_12ClauseOffsetEEEEvN9__gnu_cxx17__normal_iteratorIPjS1_EEDpOT_ at Base 1
+ _ZNSt6vectorIjSaIjEE17_M_realloc_insertIJRjEEEvN9__gnu_cxx17__normal_iteratorIPjS1_EEDpOT_ at Base 1
+ _ZNSt6vectorIjSaIjEE17_M_realloc_insertIJiEEEvN9__gnu_cxx17__normal_iteratorIPjS1_EEDpOT_ at Base 1
+ _ZNSt6vectorIjSaIjEE17_M_realloc_insertIJjEEEvN9__gnu_cxx17__normal_iteratorIPjS1_EEDpOT_ at Base 1
+ _ZNSt7__cxx1115basic_stringbufIcSt11char_traitsIcESaIcEED0Ev at Base 1
+ _ZNSt7__cxx1115basic_stringbufIcSt11char_traitsIcESaIcEED1Ev at Base 1
+ _ZNSt7__cxx1115basic_stringbufIcSt11char_traitsIcESaIcEED2Ev at Base 1
+ _ZNSt7__cxx114listIjSaIjEE4sortIN5Clasp9ClaspVmtf9LessLevelEEEvT_ at Base 1
+ _ZNSt7__cxx114listIjSaIjEE5mergeIN5Clasp9ClaspVmtf9LessLevelEEEvOS2_T_ at Base 1
+ _ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St9_IdentityIS5_ESt4lessIS5_ESaIS5_EE16_M_insert_uniqueIRKS5_EESt4pairISt17_Rb_tree_iteratorIS5_EbEOT_ at Base 1
+ _ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St9_IdentityIS5_ESt4lessIS5_ESaIS5_EE24_M_get_insert_unique_posERKS5_ at Base 1
+ _ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St9_IdentityIS5_ESt4lessIS5_ESaIS5_EE7_M_copyINSB_20_Reuse_or_alloc_nodeEEEPSt13_Rb_tree_nodeIS5_EPKSF_PSt18_Rb_tree_node_baseRT_ at Base 1
+ _ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St9_IdentityIS5_ESt4lessIS5_ESaIS5_EE8_M_eraseEPSt13_Rb_tree_nodeIS5_E at Base 1
+ _ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St9_IdentityIS5_ESt4lessIS5_ESaIS5_EEaSERKSB_ at Base 1
+ _ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_mESt10_Select1stIS8_ESt4lessIS5_ESaIS8_EE16_M_insert_uniqueIS8_EES6_ISt17_Rb_tree_iteratorIS8_EbEOT_ at Base 1
+ _ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_mESt10_Select1stIS8_ESt4lessIS5_ESaIS8_EE8_M_eraseEPSt13_Rb_tree_nodeIS8_E at Base 1
+ _ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE17_M_emplace_uniqueIJiEEESt4pairISt17_Rb_tree_iteratorIiEbEDpOT_ at Base 1
+ _ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE8_M_eraseEPSt13_Rb_tree_nodeIiE at Base 1
+ _ZNSt8functionIFbjEEC1ERKS1_ at Base 1
+ _ZNSt8functionIFbjEEC2ERKS1_ at Base 1
+ _ZSt17__rotate_adaptiveIPjS0_lET_S1_S1_S1_T1_S2_T0_S2_ at Base 1
+ _ZTINSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp11ClaspFacade13SolveStrategyENS4_11SolveMode_tEEPNS6_5AsyncENS7_1EEEEEEEE at Base 1
+ _ZTINSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp2mt13ParallelSolveEjEPS6_jEEEEEE at Base 1
+ _ZTISt11_Mutex_baseILN9__gnu_cxx12_Lock_policyE2EE at Base 1
+ _ZTISt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE at Base 1
+ _ZTISt19_Sp_make_shared_tag at Base 1
+ _ZTISt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE at Base 1
+ _ZTSNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp11ClaspFacade13SolveStrategyENS4_11SolveMode_tEEPNS6_5AsyncENS7_1EEEEEEEE at Base 1
+ _ZTSNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp2mt13ParallelSolveEjEPS6_jEEEEEE at Base 1
+ _ZTSSt11_Mutex_baseILN9__gnu_cxx12_Lock_policyE2EE at Base 1
+ _ZTSSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE at Base 1
+ _ZTSSt19_Sp_make_shared_tag at Base 1
+ _ZTSSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE at Base 1
+ _ZTVNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp11ClaspFacade13SolveStrategyENS4_11SolveMode_tEEPNS6_5AsyncENS7_1EEEEEEEE at Base 1
+ _ZTVNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp2mt13ParallelSolveEjEPS6_jEEEEEE at Base 1
+ _ZTVSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE at Base 1
+ clingo_add_string at Base 1
+ clingo_assignment_decision at Base 1
+ clingo_assignment_decision_level at Base 1
+ clingo_assignment_has_conflict at Base 1
+ clingo_assignment_has_literal at Base 1
+ clingo_assignment_is_false at Base 1
+ clingo_assignment_is_fixed at Base 1
+ clingo_assignment_is_total at Base 1
+ clingo_assignment_is_true at Base 1
+ clingo_assignment_level at Base 1
+ clingo_assignment_max_size at Base 1
+ clingo_assignment_size at Base 1
+ clingo_assignment_truth_value at Base 1
+ clingo_backend_acyc_edge at Base 1
+ clingo_backend_add_atom at Base 1
+ clingo_backend_assume at Base 1
+ clingo_backend_external at Base 1
+ clingo_backend_heuristic at Base 1
+ clingo_backend_minimize at Base 1
+ clingo_backend_project at Base 1
+ clingo_backend_rule at Base 1
+ clingo_backend_weight_rule at Base 1
+ clingo_configuration_array_at at Base 1
+ clingo_configuration_array_size at Base 1
+ clingo_configuration_description at Base 1
+ clingo_configuration_map_at at Base 1
+ clingo_configuration_map_has_subkey at Base 1
+ clingo_configuration_map_size at Base 1
+ clingo_configuration_map_subkey_name at Base 1
+ clingo_configuration_root at Base 1
+ clingo_configuration_type at Base 1
+ clingo_configuration_value_get at Base 1
+ clingo_configuration_value_get_size at Base 1
+ clingo_configuration_value_is_assigned at Base 1
+ clingo_configuration_value_set at Base 1
+ clingo_control_add at Base 1
+ clingo_control_assign_external at Base 1
+ clingo_control_backend at Base 1
+ clingo_control_clasp_facade at Base 1
+ clingo_control_cleanup at Base 1
+ clingo_control_configuration at Base 1
+ clingo_control_free at Base 1
+ clingo_control_get_const at Base 1
+ clingo_control_ground at Base 1
+ clingo_control_has_const at Base 1
+ clingo_control_interrupt at Base 1
+ clingo_control_load at Base 1
+ clingo_control_new at Base 1
+ clingo_control_program_builder at Base 1
+ clingo_control_register_observer at Base 1
+ clingo_control_register_propagator at Base 1
+ clingo_control_release_external at Base 1
+ clingo_control_solve at Base 1
+ clingo_control_statistics at Base 1
+ clingo_control_symbolic_atoms at Base 1
+ clingo_control_theory_atoms at Base 1
+ clingo_control_use_enumeration_assumption at Base 1
+ clingo_error_code at Base 1
+ clingo_error_message at Base 1
+ clingo_error_string at Base 1
+ clingo_main_ at Base 1
+ clingo_model_contains at Base 1
+ clingo_model_context at Base 1
+ clingo_model_cost at Base 1
+ clingo_model_cost_size at Base 1
+ clingo_model_is_true at Base 1
+ clingo_model_number at Base 1
+ clingo_model_optimality_proven at Base 1
+ clingo_model_symbols at Base 1
+ clingo_model_symbols_size at Base 1
+ clingo_model_thread_id at Base 1
+ clingo_model_type at Base 1
+ clingo_parse_program at Base 1
+ clingo_parse_term at Base 1
+ clingo_program_builder_add at Base 1
+ clingo_program_builder_begin at Base 1
+ clingo_program_builder_end at Base 1
+ clingo_propagate_control_add_clause at Base 1
+ clingo_propagate_control_add_literal at Base 1
+ clingo_propagate_control_add_watch at Base 1
+ clingo_propagate_control_assignment at Base 1
+ clingo_propagate_control_has_watch at Base 1
+ clingo_propagate_control_propagate at Base 1
+ clingo_propagate_control_remove_watch at Base 1
+ clingo_propagate_control_thread_id at Base 1
+ clingo_propagate_init_add_watch at Base 1
+ clingo_propagate_init_get_check_mode at Base 1
+ clingo_propagate_init_number_of_threads at Base 1
+ clingo_propagate_init_set_check_mode at Base 1
+ clingo_propagate_init_solver_literal at Base 1
+ clingo_propagate_init_symbolic_atoms at Base 1
+ clingo_propagate_init_theory_atoms at Base 1
+ clingo_register_script_ at Base 1
+ clingo_script_version_ at Base 1
+ clingo_set_error at Base 1
+ clingo_signature_arity at Base 1
+ clingo_signature_create at Base 1
+ clingo_signature_hash at Base 1
+ clingo_signature_is_equal_to at Base 1
+ clingo_signature_is_less_than at Base 1
+ clingo_signature_is_negative at Base 1
+ clingo_signature_is_positive at Base 1
+ clingo_signature_name at Base 1
+ clingo_solve_control_add_clause at Base 1
+ clingo_solve_control_symbolic_atoms at Base 1
+ clingo_solve_handle_cancel at Base 1
+ clingo_solve_handle_close at Base 1
+ clingo_solve_handle_get at Base 1
+ clingo_solve_handle_model at Base 1
+ clingo_solve_handle_resume at Base 1
+ clingo_solve_handle_wait at Base 1
+ clingo_statistics_array_at at Base 1
+ clingo_statistics_array_size at Base 1
+ clingo_statistics_map_at at Base 1
+ clingo_statistics_map_size at Base 1
+ clingo_statistics_map_subkey_name at Base 1
+ clingo_statistics_root at Base 1
+ clingo_statistics_type at Base 1
+ clingo_statistics_value_get at Base 1
+ clingo_symbol_arguments at Base 1
+ clingo_symbol_create_function at Base 1
+ clingo_symbol_create_id at Base 1
+ clingo_symbol_create_infimum at Base 1
+ clingo_symbol_create_number at Base 1
+ clingo_symbol_create_string at Base 1
+ clingo_symbol_create_supremum at Base 1
+ clingo_symbol_hash at Base 1
+ clingo_symbol_is_equal_to at Base 1
+ clingo_symbol_is_less_than at Base 1
+ clingo_symbol_is_negative at Base 1
+ clingo_symbol_is_positive at Base 1
+ clingo_symbol_name at Base 1
+ clingo_symbol_number at Base 1
+ clingo_symbol_string at Base 1
+ clingo_symbol_to_string at Base 1
+ clingo_symbol_to_string_size at Base 1
+ clingo_symbol_type at Base 1
+ clingo_symbolic_atoms_begin at Base 1
+ clingo_symbolic_atoms_end at Base 1
+ clingo_symbolic_atoms_find at Base 1
+ clingo_symbolic_atoms_is_external at Base 1
+ clingo_symbolic_atoms_is_fact at Base 1
+ clingo_symbolic_atoms_is_valid at Base 1
+ clingo_symbolic_atoms_iterator_is_equal_to at Base 1
+ clingo_symbolic_atoms_literal at Base 1
+ clingo_symbolic_atoms_next at Base 1
+ clingo_symbolic_atoms_signatures at Base 1
+ clingo_symbolic_atoms_signatures_size at Base 1
+ clingo_symbolic_atoms_size at Base 1
+ clingo_symbolic_atoms_symbol at Base 1
+ clingo_theory_atoms_atom_elements at Base 1
+ clingo_theory_atoms_atom_guard at Base 1
+ clingo_theory_atoms_atom_has_guard at Base 1
+ clingo_theory_atoms_atom_literal at Base 1
+ clingo_theory_atoms_atom_term at Base 1
+ clingo_theory_atoms_atom_to_string at Base 1
+ clingo_theory_atoms_atom_to_string_size at Base 1
+ clingo_theory_atoms_element_condition at Base 1
+ clingo_theory_atoms_element_condition_id at Base 1
+ clingo_theory_atoms_element_to_string at Base 1
+ clingo_theory_atoms_element_to_string_size at Base 1
+ clingo_theory_atoms_element_tuple at Base 1
+ clingo_theory_atoms_size at Base 1
+ clingo_theory_atoms_term_arguments at Base 1
+ clingo_theory_atoms_term_name at Base 1
+ clingo_theory_atoms_term_number at Base 1
+ clingo_theory_atoms_term_to_string at Base 1
+ clingo_theory_atoms_term_to_string_size at Base 1
+ clingo_theory_atoms_term_type at Base 1
+ clingo_version at Base 1
+ clingo_warning_string at Base 1
+ gringo_main_ at Base 1

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gringo.git

