20 #ifndef SPOT_TGBAALGOS_HOAF_HH
21 # define SPOT_TGBAALGOS_HOAF_HH
29 enum hoaf_alias { Hoaf_Alias_None, Hoaf_Alias_Ap, Hoaf_Alias_Cond };
32 Hoaf_Acceptance_States,
33 Hoaf_Acceptance_Transitions,
51 SPOT_API std::ostream&
54 const ltl::formula* f = 0,
55 hoaf_acceptance acceptance = Hoaf_Acceptance_States,
56 hoaf_alias alias = Hoaf_Alias_None,
57 bool newlines =
true);
59 SPOT_API std::ostream&
63 const ltl::formula* f = 0);
66 #endif // SPOT_TGBAALGOS_HOAF_HH