Home
last modified time | relevance | path

Searched refs:Generator_System_add_ID (Results 1 – 3 of 3) sorted by relevance

/dports/devel/ppl/ppl-1.2/interfaces/Java/jni/
H A Dppl_java_common_defs.hh344 jmethodID Generator_System_add_ID; member
H A Dppl_java_common.cc1158 cached_FMIDs.Generator_System_add_ID, in build_java_generator_system()
H A Dppl_java_globals.cc296 cached_FMIDs.Generator_System_add_ID = mID; in Java_parma_1polyhedra_1library_Generator_1System_initIDs()