| - Up - | Next >> |
pf_return_t [enumerable type]typedef enum { pf_failed,
pf_entailed,
pf_sleep } pf_return_t;
Return type of a propagation function.
pf_fnct_t [function type]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.
| - Up - | Next >> |