{*} {*} Pre operators for all players

We should have Pre operators for I, O, IO, \emptyset, available in Ticc.mli, so that the user can code CTL/ACTL model checking.

TiccFeatureNo/Pre operators for all players (last edited 2006-06-12 21:20:37 by LucaDeAlfaro)