4.1 Overview

pf_return_t

typedef enum { pf_failed,  
               pf_entailed,  
               pf_sleep } pf_return_t;

Return type of a propagation function.

pf_fnct_t

typedef pf_return_t (* pf_fnct_t)(int *, PEL_SuspVar * []);

Type of a propagation function. A propagation function takes an array of parameter indicies and an array of references to constrained variables ((PEL_SuspVar *)). It returns a value of type pf_return_t.


Tobias Müller
Version 1.4.0 (20080702)