211 enum ltl_pattern_id {
213 LTL_AND_F = LTL_BEGIN,
245 LTL_RV_COUNTER_CARRY,
246 LTL_RV_COUNTER_CARRY_LINEAR,
247 LTL_RV_COUNTER_LINEAR,
268 SPOT_API formula ltl_pattern(ltl_pattern_id pattern,
int n,
int m = -1);
274 SPOT_API
const char* ltl_pattern_name(ltl_pattern_id pattern);
280 SPOT_API
int ltl_pattern_max(ltl_pattern_id pattern);
285 SPOT_API
int ltl_pattern_argc(ltl_pattern_id pattern);
Definition: automata.hh:26