|
template<typename U , typename V > |
U | Parma_Polyhedra_Library::Interfaces::Java::jtype_to_unsigned (const V &value) |
| Builds an unsigned C++ number from the Java native number value . More...
|
|
template<typename T > |
void | Parma_Polyhedra_Library::Interfaces::Java::set_ptr (JNIEnv *env, jobject ppl_object, const T *address, bool to_be_marked=false) |
| Sets the pointer of the underlying C++ object in the Java object. More...
|
|
void * | Parma_Polyhedra_Library::Interfaces::Java::get_ptr (JNIEnv *env, jobject ppl_object) |
| Returns a pointer to the C++ object wrapped by ppl_object . More...
|
|
bool | Parma_Polyhedra_Library::Interfaces::Java::is_java_marked (JNIEnv *env, jobject ppl_object) |
| Returns true if and only if the Java object ppl_object refers to a C++ object. More...
|
|
void | Parma_Polyhedra_Library::Interfaces::Java::set_coefficient (JNIEnv *env, jobject dst, jobject src) |
| Sets Java Coefficient dst to have the same value as src . More...
|
|
void | Parma_Polyhedra_Library::Interfaces::Java::set_by_reference (JNIEnv *env, jobject by_ref_dst, jobject src) |
| Modifies parma_polyhedra_library::By_Reference object by_ref_dst so that it references object src . More...
|
|
jobject | Parma_Polyhedra_Library::Interfaces::Java::get_by_reference (JNIEnv *env, jobject by_reference) |
| Returns the object referenced by parma_polyhedra_library::By_Reference object by_reference . More...
|
|
template<typename R > |
jobject | Parma_Polyhedra_Library::Interfaces::Java::build_linear_expression (JNIEnv *env, const R &r) |
| Builds a Java parma_polyhedra_library::Linear_Expression from the C++ constraint/congruence r . More...
|
|
Variable | Parma_Polyhedra_Library::Interfaces::Java::build_cxx_variable (JNIEnv *env, jobject j_var) |
| Builds a C++ Variable from Java parma_polyhedra_library::Variable j_var . More...
|
|
jobject | Parma_Polyhedra_Library::Interfaces::Java::build_java_variable (JNIEnv *env, const Variable var) |
| Builds a Java parma_polyhedra_library::Variable from C++ Variable var . More...
|
|
Coefficient | Parma_Polyhedra_Library::Interfaces::Java::build_cxx_coeff (JNIEnv *env, jobject j_coeff) |
| Builds a C++ Coefficient from Java parma_polyhedra_library::Coefficient j_coeff . More...
|
|
jobject | Parma_Polyhedra_Library::Interfaces::Java::build_java_coeff (JNIEnv *env, const Coefficient &ppl_coeff) |
| Builds a Java parma_polyhedra_library::Coefficient from C++ Coefficient ppl_coeff . More...
|
|
template<typename System , typename Elem_Builder > |
System | Parma_Polyhedra_Library::Interfaces::Java::build_cxx_system (JNIEnv *env, jobject j_iterable, Elem_Builder build_cxx_elem) |
|
Congruence_System | Parma_Polyhedra_Library::Interfaces::Java::build_cxx_congruence_system (JNIEnv *env, jobject j_cgs) |
| Builds a C++ Congruence_System from Java parma_polyhedra_library::Congruence_System j_cgs . More...
|
|
Constraint_System | Parma_Polyhedra_Library::Interfaces::Java::build_cxx_constraint_system (JNIEnv *env, jobject j_cs) |
| Builds a C++ Constraint_System from Java parma_polyhedra_library::Constraint_System j_cs . More...
|
|
Generator_System | Parma_Polyhedra_Library::Interfaces::Java::build_cxx_generator_system (JNIEnv *env, jobject j_gs) |
| Builds a C++ Generator_System from Java parma_polyhedra_library::Generator_System j_gs . More...
|
|
Grid_Generator_System | Parma_Polyhedra_Library::Interfaces::Java::build_cxx_grid_generator_system (JNIEnv *env, jobject j_gs) |
| Builds a C++ Grid_Generator_System from Java parma_polyhedra_library::Grid_Generator_System j_gs . More...
|
|