///
string const & type() const;
///
+ void placement(string const & p);
+ ///
+ string const & placement() const;
+ ///
void wide(bool w);
///
bool wide() const;
private:
///
- string floatType;
+ string floatType_;
///
- string floatPlacement;
+ string floatPlacement_;
///
bool wide_;
};