Add class declaration, now continue studying antichain algorithm