Fedora 40 updates for aarch64 : / usr /src /debug /E-3.1.0-1.fc40.aarch64 /include

• ccl_bce.h
• ccl_clausecpos.h
• ccl_clausefunc.h
• ccl_clauseinfo.h
• ccl_clausepos.h
• ccl_clausepos_tree.h
• ccl_clauses.h
• ccl_clausesets.h
• ccl_condensation.h
• ccl_context_sr.h
• ccl_def_handling.h
• ccl_derivation.h
• ccl_diseq_decomp.h
• ccl_eqn.h
• ccl_eqnlist.h
• ccl_eqnresolution.h
• ccl_ext_index.h
• ccl_f_generality.h
• ccl_factor.h
• ccl_fcvindexing.h
• ccl_findex.h
• ccl_formula_wrapper.h
• ccl_formulafunc.h
• ccl_formulasets.h
• ccl_freqvectors.h
• ccl_garbage_coll.h
• ccl_global_indices.h
• ccl_groundconstr.h
• ccl_grounding.h
• ccl_inferencedoc.h
• ccl_neweval.h
• ccl_overlap_index.h
• ccl_paramod.h
• ccl_pdtrees.h
• ccl_pred_elim.h
• ccl_proofstate.h
• ccl_propclauses.h
• ccl_relevance.h
• ccl_rewrite.h
• ccl_satinterface.h
• ccl_sine.h
• ccl_splitting.h
• ccl_subsumption.h
• ccl_subterm_index.h
• ccl_subterm_tree.h
• ccl_tautologies.h
• ccl_tcnf.h
• ccl_tformulae.h
• ccl_unfold_defs.h
• ccl_unit_simplify.h
• cco_batch_spec.h
• cco_clausesplitting.h
• cco_diseq_decomp.h
• cco_einteractive_mode.h
• cco_eqnresolving.h
• cco_factoring.h
• cco_forward_contraction.h
• cco_gproc_ctrl.h
• cco_ho_inferences.h
• cco_interpreted.h
• cco_paramodulation.h
• cco_proc_ctrl.h
• cco_proofproc.h
• cco_scheduling.h
• cco_simplification.h
• cco_sine.h
• che_axfilter.h
• che_axiomscan.h
• che_clausefeatures.h
• che_clausesetfeatures.h
• che_clauseweight.h
• che_dagweight.h
• che_diversityweight.h
• che_fcode_featurearrays.h
• che_fifo.h
• che_funweights.h
• che_hcb.h
• che_hcbadmin.h
• che_heuristics.h
• che_learning.h
• che_levweight.h
• che_lifo.h
• che_litselection.h
• che_new_autoschedule.h
• che_orientweight.h
• che_prefixweight.h
• che_prio_funs.h
• che_proofcontrol.h
• che_random.h
• che_rawspecfeatures.h
• che_refinedweight.h
• che_simweight.h
• che_strucweight.h
• che_termweight.h
• che_termweights.h
• che_tfidfweight.h
• che_to_autoselect.h
• che_to_params.h
• che_to_precgen.h
• che_to_weightgen.h
• che_treeweight.h
• che_varweights.h
• che_wfcb.h
• che_wfcbadmin.h
• cio_basicparser.h
• cio_commandline.h
• cio_fileops.h
• cio_initio.h
• cio_network.h
• cio_output.h
• cio_scanner.h
• cio_signals.h
• cio_simplestuff.h
• cio_streams.h
• cio_tempfile.h
• clb_ddarrays.h
• clb_defines.h
• clb_dstrings.h
• clb_error.h
• clb_fixdarrays.h
• clb_intmap.h
• clb_memory.h
• clb_min_heap.h
• clb_numtrees.h
• clb_numxtrees.h
• clb_objmaps.h
• clb_objtrees.h
• clb_os_wrapper.h
• clb_partial_orderings.h
• clb_pdarrays.h
• clb_pdrangearrays.h
• clb_permastrings.h
• clb_plist.h
• clb_plocalstacks.h
• clb_pqueue.h
• clb_pstacks.h
• clb_ptrees.h
• clb_regmem.h
• clb_simple_stuff.h
• clb_stringtrees.h
• clb_sysdate.h
• clb_verbose.h
• cle_annotations.h
• cle_annoterms.h
• cle_clauseenc.h
• cle_examplerep.h
• cle_flatannoterms.h
• cle_indexfunctions.h
• cle_kbdesc.h
• cle_kbinsert.h
• cle_numfeatures.h
• cle_patterns.h
• cle_termtops.h
• cle_tsm.h
• cle_tsmio.h
• cte_acterms.h
• cte_dbvars.h
• cte_fixpoint_unif.h
• cte_fp_index.h
• cte_functypes.h
• cte_garbage_coll.h
• cte_ho_csu.h
• cte_idx_fp.h
• cte_lambda.h
• cte_match_mgu_1-1.h
• cte_pattern_match_mgu.h
• cte_replace.h
• cte_signature.h
• cte_simpletypes.h
• cte_subst.h
• cte_termbanks.h
• cte_termcellstore.h
• cte_termfunc.h
• cte_termpos.h
• cte_termtrees.h
• cte_termtypes.h
• cte_termvars.h
• cte_termweightext.h
• cte_typebanks.h
• cte_typecheck.h
• cte_varhash.h
• cto_kbo.h
• cto_kbolin.h
• cto_lpo.h
• cto_ocb.h
• cto_orderings.h
• e_options.h
• pcl_analysis.h
• pcl_expressions.h
• pcl_idents.h
• pcl_miniclauses.h
• pcl_miniprotocol.h
• pcl_ministeps.h
• pcl_positions.h
• pcl_proofcheck.h
• pcl_protocol.h
• pcl_steps.h

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Nov 15 06:15:53 2024