|
TaPAS
0.2
|
Alambic API. More...
Go to the source code of this file.
Typedefs | |
| typedef struct armoise_normalized_predicate_st | armoise_normalized_predicate |
| Abstract type of a normalized ARMOISE predicate. More... | |
Enumerations | |
| enum | alambic_error { ALAMBIC_NO_ERROR = 0, ALAMBIC_REAL_NOT_SUPPORTED, ALAMBIC_POSI_NOT_SUPPORTED, ALAMBIC_INT_NOT_SUPPORTED, ALAMBIC_INVALID_MUL_DIMENSIONS, ALAMBIC_INVALID_MUL_CARDINALITY, ALAMBIC_INVALID_MUL_FACTOR, ALAMBIC_INVALID_DIV_DIMENSIONS, ALAMBIC_INVALID_DIV_CARDINALITY, ALAMBIC_INVALID_MOD_DIMENSIONS, ALAMBIC_INVALID_MOD_CARDINALITY } |
| Error code returned by Alambic functions. More... | |
Functions | |
| armoise_normalized_predicate * | alambic_normalize_predicate (armoise_context *parent, const armoise_predicate *P, alambic_error *p_err) |
| Normalize the armoise predicate P. More... | |
| ccl_tree * | alambic_normalize_predicate_tree (armoise_context *parent, const ccl_tree *t, alambic_error *p_err) |
| Normalize the predicates stored in the tree t. More... | |
| genepi_set * | alambic_compute_predicate (genepi_solver *solver, const armoise_normalized_predicate *P, alambic_error *p_error) |
| Computes the solutions of the normalized predicate P. More... | |
Alambic API.
Definition in file alambic.h.
| typedef struct armoise_normalized_predicate_st armoise_normalized_predicate |
Abstract type of a normalized ARMOISE predicate.
| enum alambic_error |
Error code returned by Alambic functions.
| genepi_set* alambic_compute_predicate | ( | genepi_solver * | solver, |
| const armoise_normalized_predicate * | P, | ||
| alambic_error * | p_error | ||
| ) |
Computes the solutions of the normalized predicate P.
| solver | the Genepi solver |
| P | a normalized predicate |
| p_error | address where an error status should be stored |
| armoise_normalized_predicate* alambic_normalize_predicate | ( | armoise_context * | parent, |
| const armoise_predicate * | P, | ||
| alambic_error * | p_err | ||
| ) |
Normalize the armoise predicate P.
This rewriting procedure is required before computations with Genepi. The rewriting rules are mainly applied to first order formulas:
| parent | the parent of the context used to create the normalized version of P. |
| P | the predicate to normalize |
| p_err | address where an error status should be stored |
| ccl_tree* alambic_normalize_predicate_tree | ( | armoise_context * | parent, |
| const ccl_tree * | t, | ||
| alambic_error * | p_err | ||
| ) |
Normalize the predicates stored in the tree t.
| parent | the parent of the context used to create the normalized version of P. |
| t | the tree containing the predicates to normalize |
| p_err | address where an error status should be stored |
1.8.5