void ExactInf::setProperties( const PropertySet &opts ) {
assert( opts.hasKey("verbose") );
-
+
props.verbose = opts.getStringAs<size_t>("verbose");
}
}
-string ExactInf::identify() const {
+string ExactInf::identify() const {
return string(Name) + printProperties();
}