#include <cassert>

Go to the source code of this file.
Namespaces | |
| namespace | Parma_Polyhedra_Library |
| namespace | Parma_Polyhedra_Library::Interfaces |
| namespace | Parma_Polyhedra_Library::Interfaces::Java |
Functions | |
| 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. | |
| 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. | |
| void * | Parma_Polyhedra_Library::Interfaces::Java::get_ptr (JNIEnv *env, jobject ppl_object) |
Returns a pointer to the C++ object wrapped by ppl_object. | |
| 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. | |
| 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. | |
| 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. | |
| 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. | |
| 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. | |
| 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. | |
| 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. | |
| 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. | |
| 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. | |
| 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. | |
| 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. | |
| 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. | |
| 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. | |
1.6.3