| /dports/math/py-libpoly/libpoly-0.1.11/src/variable/ |
| H A D | variable_db.c | 40 void lp_variable_db_resize(lp_variable_db_t* var_db, size_t capacity) { in lp_variable_db_resize()
53 lp_variable_t lp_variable_db_new_variable(lp_variable_db_t* var_db, const char* name) { in lp_variable_db_new_variable()
62 void lp_variable_db_add_variable(lp_variable_db_t* var_db, lp_variable_t var, const char* name) { in lp_variable_db_add_variable()
71 void lp_variable_db_construct(lp_variable_db_t* var_db) { in lp_variable_db_construct()
80 void lp_variable_db_destruct(lp_variable_db_t* var_db) { in lp_variable_db_destruct()
91 void lp_variable_db_attach(lp_variable_db_t* var_db) { in lp_variable_db_attach()
96 void lp_variable_db_detach(lp_variable_db_t* var_db) { in lp_variable_db_detach()
106 lp_variable_db_t* lp_variable_db_new(void) { in lp_variable_db_new()
107 lp_variable_db_t* new = malloc(sizeof(lp_variable_db_t)); in lp_variable_db_new()
113 int lp_variable_db_print(const lp_variable_db_t* var_db, FILE* out) { in lp_variable_db_print()
[all …]
|
| H A D | variable_order.c | 151 int lp_variable_order_print(const lp_variable_order_t* var_order, const lp_variable_db_t* var_db, F… in lp_variable_order_print()
165 char* lp_variable_order_to_string(const lp_variable_order_t* var_order, const lp_variable_db_t* var… in lp_variable_order_to_string()
|
| /dports/math/libpoly/libpoly-0.1.11/src/variable/ |
| H A D | variable_db.c | 40 void lp_variable_db_resize(lp_variable_db_t* var_db, size_t capacity) { in lp_variable_db_resize()
53 lp_variable_t lp_variable_db_new_variable(lp_variable_db_t* var_db, const char* name) { in lp_variable_db_new_variable()
62 void lp_variable_db_add_variable(lp_variable_db_t* var_db, lp_variable_t var, const char* name) { in lp_variable_db_add_variable()
71 void lp_variable_db_construct(lp_variable_db_t* var_db) { in lp_variable_db_construct()
80 void lp_variable_db_destruct(lp_variable_db_t* var_db) { in lp_variable_db_destruct()
91 void lp_variable_db_attach(lp_variable_db_t* var_db) { in lp_variable_db_attach()
96 void lp_variable_db_detach(lp_variable_db_t* var_db) { in lp_variable_db_detach()
106 lp_variable_db_t* lp_variable_db_new(void) { in lp_variable_db_new()
107 lp_variable_db_t* new = malloc(sizeof(lp_variable_db_t)); in lp_variable_db_new()
113 int lp_variable_db_print(const lp_variable_db_t* var_db, FILE* out) { in lp_variable_db_print()
[all …]
|
| H A D | variable_order.c | 151 int lp_variable_order_print(const lp_variable_order_t* var_order, const lp_variable_db_t* var_db, F… in lp_variable_order_print()
165 char* lp_variable_order_to_string(const lp_variable_order_t* var_order, const lp_variable_db_t* var… in lp_variable_order_to_string()
|
| /dports/math/py-libpoly/libpoly-0.1.11/include/ |
| H A D | variable_db.h | 29 lp_variable_db_t* lp_variable_db_new(void);
32 void lp_variable_db_attach(lp_variable_db_t* var_db);
35 void lp_variable_db_detach(lp_variable_db_t* var_db);
38 lp_variable_t lp_variable_db_new_variable(lp_variable_db_t* var_db, const char* name);
41 void lp_variable_db_add_variable(lp_variable_db_t* var_db, lp_variable_t var, const char* name);
44 int lp_variable_db_print(const lp_variable_db_t* var_db, FILE* out);
47 const char* lp_variable_db_get_name(const lp_variable_db_t* var_db, lp_variable_t var);
|
| H A D | assignment.h | 35 const lp_variable_db_t* var_db;
39 void lp_assignment_construct(lp_assignment_t* m, const lp_variable_db_t* var_db);
42 lp_assignment_t* lp_assignment_new(const lp_variable_db_t* var_db);
79 const lp_variable_db_t* var_db;
85 void lp_interval_assignment_construct(lp_interval_assignment_t* m, const lp_variable_db_t* var_db);
88 lp_interval_assignment_t* lp_interval_assignment_new(const lp_variable_db_t* var_db);
|
| H A D | polynomial_context.h | 41 lp_variable_db_t* var_db;
51 lp_polynomial_context_t* lp_polynomial_context_new(lp_int_ring_t* K, lp_variable_db_t* var_db, lp_v…
|
| H A D | variable_order.h | 70 int lp_variable_order_print(const lp_variable_order_t* var_order, const lp_variable_db_t* var_db, F…
73 char* lp_variable_order_to_string(const lp_variable_order_t* var_order, const lp_variable_db_t* var…
|
| H A D | poly.h | 48 typedef struct lp_variable_db_struct lp_variable_db_t; typedef
|
| /dports/math/libpoly/libpoly-0.1.11/include/ |
| H A D | variable_db.h | 29 lp_variable_db_t* lp_variable_db_new(void);
32 void lp_variable_db_attach(lp_variable_db_t* var_db);
35 void lp_variable_db_detach(lp_variable_db_t* var_db);
38 lp_variable_t lp_variable_db_new_variable(lp_variable_db_t* var_db, const char* name);
41 void lp_variable_db_add_variable(lp_variable_db_t* var_db, lp_variable_t var, const char* name);
44 int lp_variable_db_print(const lp_variable_db_t* var_db, FILE* out);
47 const char* lp_variable_db_get_name(const lp_variable_db_t* var_db, lp_variable_t var);
|
| H A D | assignment.h | 35 const lp_variable_db_t* var_db;
39 void lp_assignment_construct(lp_assignment_t* m, const lp_variable_db_t* var_db);
42 lp_assignment_t* lp_assignment_new(const lp_variable_db_t* var_db);
79 const lp_variable_db_t* var_db;
85 void lp_interval_assignment_construct(lp_interval_assignment_t* m, const lp_variable_db_t* var_db);
88 lp_interval_assignment_t* lp_interval_assignment_new(const lp_variable_db_t* var_db);
|
| H A D | polynomial_context.h | 41 lp_variable_db_t* var_db;
51 lp_polynomial_context_t* lp_polynomial_context_new(lp_int_ring_t* K, lp_variable_db_t* var_db, lp_v…
|
| H A D | variable_order.h | 70 int lp_variable_order_print(const lp_variable_order_t* var_order, const lp_variable_db_t* var_db, F…
73 char* lp_variable_order_to_string(const lp_variable_order_t* var_order, const lp_variable_db_t* var…
|
| /dports/math/py-libpoly/libpoly-0.1.11/src/polyxx/ |
| H A D | context.cpp | 6 mVariableDB = deleting_unique_ptr<lp_variable_db_t>( in Context()
8 [](lp_variable_db_t* ptr) { lp_variable_db_detach(ptr); }); in Context()
19 lp_variable_db_t* Context::get_variable_db() const { in get_variable_db()
20 return const_cast<lp_variable_db_t*>(mVariableDB.get()); in get_variable_db()
|
| /dports/math/libpoly/libpoly-0.1.11/src/polyxx/ |
| H A D | context.cpp | 6 mVariableDB = deleting_unique_ptr<lp_variable_db_t>( in Context()
8 [](lp_variable_db_t* ptr) { lp_variable_db_detach(ptr); }); in Context()
19 lp_variable_db_t* Context::get_variable_db() const { in get_variable_db()
20 return const_cast<lp_variable_db_t*>(mVariableDB.get()); in get_variable_db()
|
| /dports/math/py-libpoly/libpoly-0.1.11/src/utils/ |
| H A D | assignment.c | 44 void lp_assignment_construct(lp_assignment_t* m, const lp_variable_db_t* var_db) { in lp_assignment_construct()
48 lp_variable_db_attach((lp_variable_db_t*)var_db); in lp_assignment_construct()
52 lp_assignment_t* lp_assignment_new(const lp_variable_db_t* var_db) { in lp_assignment_new()
66 lp_variable_db_detach((lp_variable_db_t*)m->var_db); in lp_assignment_destruct()
147 void lp_interval_assignment_construct(lp_interval_assignment_t* m, const lp_variable_db_t* var_db) { in lp_interval_assignment_construct()
153 lp_variable_db_attach((lp_variable_db_t*)var_db); in lp_interval_assignment_construct()
157 lp_interval_assignment_t* lp_interval_assignment_new(const lp_variable_db_t* var_db) { in lp_interval_assignment_new()
172 lp_variable_db_detach((lp_variable_db_t*)m->var_db); in lp_interval_assignment_destruct()
|
| /dports/math/libpoly/libpoly-0.1.11/src/utils/ |
| H A D | assignment.c | 44 void lp_assignment_construct(lp_assignment_t* m, const lp_variable_db_t* var_db) { in lp_assignment_construct()
48 lp_variable_db_attach((lp_variable_db_t*)var_db); in lp_assignment_construct()
52 lp_assignment_t* lp_assignment_new(const lp_variable_db_t* var_db) { in lp_assignment_new()
66 lp_variable_db_detach((lp_variable_db_t*)m->var_db); in lp_assignment_destruct()
147 void lp_interval_assignment_construct(lp_interval_assignment_t* m, const lp_variable_db_t* var_db) { in lp_interval_assignment_construct()
153 lp_variable_db_attach((lp_variable_db_t*)var_db); in lp_interval_assignment_construct()
157 lp_interval_assignment_t* lp_interval_assignment_new(const lp_variable_db_t* var_db) { in lp_interval_assignment_new()
172 lp_variable_db_detach((lp_variable_db_t*)m->var_db); in lp_interval_assignment_destruct()
|
| /dports/math/py-libpoly/libpoly-0.1.11/include/polyxx/ |
| H A D | context.h | 12 deleting_unique_ptr<lp_variable_db_t> mVariableDB;
23 lp_variable_db_t* get_variable_db() const;
|
| /dports/math/libpoly/libpoly-0.1.11/include/polyxx/ |
| H A D | context.h | 12 deleting_unique_ptr<lp_variable_db_t> mVariableDB;
23 lp_variable_db_t* get_variable_db() const;
|
| /dports/math/py-libpoly/libpoly-0.1.11/src/polynomial/ |
| H A D | polynomial_context.c | 29 …l_context_construct(lp_polynomial_context_t* ctx, lp_int_ring_t* K, lp_variable_db_t* var_db, lp_v… in lp_polynomial_context_construct()
82 lp_polynomial_context_t* lp_polynomial_context_new(lp_int_ring_t* K, lp_variable_db_t* var_db, lp_v… in lp_polynomial_context_new()
|
| /dports/math/libpoly/libpoly-0.1.11/src/polynomial/ |
| H A D | polynomial_context.c | 29 …l_context_construct(lp_polynomial_context_t* ctx, lp_int_ring_t* K, lp_variable_db_t* var_db, lp_v… in lp_polynomial_context_construct()
82 lp_polynomial_context_t* lp_polynomial_context_new(lp_int_ring_t* K, lp_variable_db_t* var_db, lp_v… in lp_polynomial_context_new()
|
| /dports/math/py-libpoly/libpoly-0.1.11/python/ |
| H A D | polypyVariable.h | 48 lp_variable_db_t* Variable_get_default_db(void);
|
| H A D | polypyVariableOrder.h | 54 lp_variable_db_t* Variable_get_default_db(void);
|
| /dports/math/libpoly/libpoly-0.1.11/python/ |
| H A D | polypyVariable.h | 48 lp_variable_db_t* Variable_get_default_db(void);
|
| H A D | polypyVariableOrder.h | 54 lp_variable_db_t* Variable_get_default_db(void);
|