17 class Top :
public Predicate {
19 static const std::shared_ptr<Top>&
get();
22 void write(std::ostream& os)
const override;
static const std::shared_ptr< Top > & get()
bool isEqual(const Formula &other) const override
void write(std::ostream &os) const override