Searched defs:output_aborter (Results 1 – 4 of 4) sorted by relevance
47 class SPOT_API output_aborter class53 output_aborter(unsigned max_states, in output_aborter() function in spot::output_aborter
47 m4_define([_AM_AUTOCONF_VERSION], [])53 AC_DEFUN([AM_SET_CURRENT_AUTOMAKE_VERSION],
2899 class output_aborter(object): class