46 #ifndef HAVE_STATIC_TEMPLATE_DECLARATION_FAILS
void input_form(std::ostream &) const
Definition: numericdatum_impl.h:29
void pprint(std::ostream &) const
Definition: numericdatum_impl.h:35
NumericDatum< double,&SLIInterpreter::Doubletype > DoubleDatum
Definition: doubledatum.h:57
Definition: numericdatum.h:40
pool is a specialized allocator class for many identical small objects.
Definition: allocator.h:50