BuchiAutomatonConstructorTest renamed in BAConstructorTest
BuchiAutomatonGetOrderedStatesTest renamed in BAGetOrderedTest
BuchiAutomatonGetSTest renamed in BAGetSTest
BuchiAutomatonGetTTest renamed in BAgetTTest
BuchiAutomatonIntersectionTest renamed in BAintersectionTest
BuchiAutomatonIsEmptyTest renamed in BAisEmptyTest
BuchiAutomatonStatesTests renamed in BAstatesTests
BuchiAutomatonTransitionTest renamed in BAtransitionTest
BAConstructorTest renamed in BAconstructorTest
BAGetOrderedStatesTest renamed in BAgetOrderedStatesTest
BAGetSTest renamed in BAgetSTest