43 #ifndef __PRESTAF_FORMULA_H__ 
   44 # define __PRESTAF_FORMULA_H__ 
  143 prestaf_formula_create_from_file (
const char *filename);
 
  146 prestaf_formula_create_boolean_cst (
int value);
 
struct prestaf_predicate_st prestaf_predicate
Structure representing a predicate. The variables of the predicate take their value into ...
 
struct ccl_list_st ccl_list
Type of a generic list. 
 
char * ccl_ustring
Alias type for strings that are stored in an internal dictionary and then can be used as identifiers ...
 
enum ccl_log_type_enum ccl_log_type
Enum that indicates which kind of message has to be displayed. Each kind of message can be displayed ...
 
A dynamic association table implemented by hashing. 
 
struct ccl_hash_st ccl_hash
abstract type of an hash table. 
 
This module allows the manipulation of predicates for which variables take their value into ...