|
| 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...
|
| |