182 enum ltl_pattern_id {
184 LTL_AND_F = LTL_BEGIN,
214 LTL_RV_COUNTER_CARRY,
215 LTL_RV_COUNTER_CARRY_LINEAR,
216 LTL_RV_COUNTER_LINEAR,
233 SPOT_API formula ltl_pattern(ltl_pattern_id pattern,
int n);
239 SPOT_API
const char* ltl_pattern_name(ltl_pattern_id pattern);
245 SPOT_API
int ltl_pattern_max(ltl_pattern_id pattern);
Definition: automata.hh:26