kc3-lang/kc3/libkc3/facts_spec.h

Tag - branch -callablemasterconfigurefnfractionsfractions-rebaselinuxratio-rebasev0.1- tag -v0.1.9v0.1.8v0.1.7v0.1.6v0.1.5v0.1.4v0.1.3v0.1.2v0.1.13v0.1.12v0.1.11v0.1.10v0.1.1v0.1.0v0HTTPd-v0.1.1HTTPd-v0.1.0

• Show log

  Commit

• Hash : 1ae6ad0e
  Author : Thomas de Grivel
  Date : 2024-07-15T19:59:52
  

  rename c3 to kc3, fix update_source, configure, build

Download

• libkc3/facts_spec.h

• /* kc3
   * Copyright 2022,2023,2024 kmx.io <contact@kmx.io>
   *
   * Permission is hereby granted to use this software granted the above
   * copyright notice and this permission paragraph are included in all
   * copies and substantial portions of this software.
   *
   * THIS SOFTWARE IS PROVIDED "AS-IS" WITHOUT ANY GUARANTEE OF
   * PURPOSE AND PERFORMANCE. IN NO EVENT WHATSOEVER SHALL THE
   * AUTHOR BE CONSIDERED LIABLE FOR THE USE AND PERFORMANCE OF
   * THIS SOFTWARE.
   */
  #ifndef LIBKC3_FACTS_SPEC_H
  #define LIBKC3_FACTS_SPEC_H
  
  #include "types.h"
  
  /* facts specification
     ===================
  
     A spec has the following pattern :
      (subject (predicate object)+ NULL)+ NULL
     For instance one fact {s1, p1.1, o1.1} has the spec :
       s1 p1.1 o1.1 NULL NULL
     And four facts of two subjects, each having two properties yield
     this spec :
       s1 p1.1 o1.1 p1.2 o1.2 NULL s2 p2.1 o2.1 p2.2 o2.2 NULL NULL
  */
  
  /* Constructors */
  p_facts_spec facts_spec_new_expand (p_facts_spec spec);
  
  /* Destructor */
  #define facts_spec_delete free
  
  /* Observers */
  uw facts_spec_count_facts (p_facts_spec spec);
  
  /* Modifiers */
  p_facts_spec facts_spec_sort (p_facts_spec spec);
  
  #endif /* LIBKC3_FACTS_SPEC_H */
  

Download