8#ifndef formulaContainer_hh
9#define formulaContainer_hh
63 const Formula<F>& frm()
const {
return *frm_; }
66 bool empty()
const {
return frm_.get() == 0; }
70 virtual std::ostream&
info(std::ostream&
os)
const;
Set< F > makeSet(uint n, const F &first,...)