168 enum ltl_pattern_id {
170 LTL_AND_F = LTL_BEGIN,
194 LTL_RV_COUNTER_CARRY,
195 LTL_RV_COUNTER_CARRY_LINEAR,
196 LTL_RV_COUNTER_LINEAR,
213 SPOT_API formula ltl_pattern(ltl_pattern_id pattern,
int n);
219 SPOT_API
const char* ltl_pattern_name(ltl_pattern_id pattern);
225 SPOT_API
int ltl_pattern_max(ltl_pattern_id pattern);
Definition: automata.hh:26