int LSystem::GetNumOfFInAxiom( void) { int tmp= 0; for( int i= 0; i < ( int)getAxiom( ).size( ); i++) if( getAxiom( )[ i] == 'F') tmp++; return tmp; }
/* * Class: uk_ac_manchester_cs_factplusplus_FaCTPlusPlus * Method: retract * Signature: (Luk/ac/manchester/cs/factplusplus/AxiomPointer;)V */ JNIEXPORT void JNICALL Java_uk_ac_manchester_cs_factplusplus_FaCTPlusPlus_retract (JNIEnv * env, jobject obj, jobject axiom) { TRACE_JNI("retract"); getK(env,obj)->retract(getAxiom(env,axiom)); }