third fourth case . concode_field_sep Automaton a concode_elem_sep Algorithm[] availableAlgorithms concode_elem_sep int alphabetSize concode_elem_sep JNIFactory jniFactory concode_elem_sep DispatcherFactory dispatcherFactory concode_field_sep boolean membership_query concode_elem_sep Automaton getAutomaton concode_elem_sep int[] equivalence_query concode_elem_sep void setUp concode_elem_sep boolean compare_membership_queries concode_elem_sep void testActiveLearning1 concode_elem_sep void testActiveLearning2 concode_elem_sep void testActiveLearning3 concode_elem_sep void tearDown concode_elem_sep void learnAll concode_elem_sep void learnJNIAndDispatcher
void function ( ) { Automaton loc0 = AutomatonProvider . getAutomaton ( 4 ) ; System . out . println ( "srini_string" ) ; learnAll ( new Teacher ( loc0 ) ) ; }