|
From: Melchior F. <mf...@ao...> - 2006-02-18 23:04:44
|
* Melchior FRANZ -- Saturday 18 February 2006 23:38:
> + if (props.getBoolValue("dump", false))
> + model->print(stderr, "", 1);
Better make that an int:
int m = props.getIntValue("dump", -1);
if (m >= 0)
model->print(stderr, "", m);
Then use an int property (values -1 -> off, 0 -> few details,
..., 4 -> very *many* details):
<dump>1</dump>
m.
|