Inliner result type. More...
#include <SexpInliner.h>
Related Functions | |
(Note that these are not member functions.) | |
| void | InlineRes_destroy (InlineRes_ptr self) |
| Class destroyer. | |
| Set_t | InlineRes_get_equivalences (const InlineRes_ptr self) |
| Returns the extracted and forced equivalences as a set. | |
| Expr_ptr | InlineRes_get_equivalences_expr (const InlineRes_ptr self) |
| Returns the extracted and forced equivalences as an expression. | |
| Expr_ptr | InlineRes_get_inlined_expr (const InlineRes_ptr self) |
| Returns the inlined expression, without equivalences and invariants. | |
| Expr_ptr | InlineRes_get_invariant_expr (const InlineRes_ptr self) |
| Returns the conjuction of all forced invariants. | |
| Set_t | InlineRes_get_invariants (const InlineRes_ptr self) |
| Returns the extracted and forced invariants as a set. | |
| Expr_ptr | InlineRes_get_original_expr (const InlineRes_ptr self) |
| Returns the original expression which has been inlined. | |
| Expr_ptr | InlineRes_get_result (const InlineRes_ptr self) |
| Composes the whole result, making the conjuction of the inlined expression, equivalences and invariants. | |
| Expr_ptr | InlineRes_get_result_unique (const InlineRes_ptr self) |
| Composes the whole result, making the conjuction of the inlined expression, equivalences and invariants. | |
Inliner result type.
Inliner result type
| void InlineRes_destroy | ( | InlineRes_ptr | self | ) | [related] |
Class destroyer.
| Set_t InlineRes_get_equivalences | ( | const InlineRes_ptr | self | ) | [related] |
Returns the extracted and forced equivalences as a set.
Returned set belongs to self, do not free it
| Expr_ptr InlineRes_get_equivalences_expr | ( | const InlineRes_ptr | self | ) | [related] |
Returns the extracted and forced equivalences as an expression.
| Expr_ptr InlineRes_get_inlined_expr | ( | const InlineRes_ptr | self | ) | [related] |
Returns the inlined expression, without equivalences and invariants.
| Expr_ptr InlineRes_get_invariant_expr | ( | const InlineRes_ptr | self | ) | [related] |
Returns the conjuction of all forced invariants.
| Set_t InlineRes_get_invariants | ( | const InlineRes_ptr | self | ) | [related] |
Returns the extracted and forced invariants as a set.
Returned set belongs to self, do not free it
| Expr_ptr InlineRes_get_original_expr | ( | const InlineRes_ptr | self | ) | [related] |
Returns the original expression which has been inlined.
| Expr_ptr InlineRes_get_result | ( | const InlineRes_ptr | self | ) | [related] |
Composes the whole result, making the conjuction of the inlined expression, equivalences and invariants.
| Expr_ptr InlineRes_get_result_unique | ( | const InlineRes_ptr | self | ) | [related] |
Composes the whole result, making the conjuction of the inlined expression, equivalences and invariants.
The equivalences and the invariants are sorted before being conjuncted to the inlined expression, to return a unique expression.
1.6.1
