[petsc-dev] PetscOptionsTruthGroup

Jed Brown jed at 59A2.org
Thu Feb 4 06:43:35 CST 2010

Is there a reason that this uses PetscOptionsHasName instead of
PetscOptionsGetTruth?  I would prefer the latter behavior because it
would let me switch options on and off without deleting and retyping the
option name.


More information about the petsc-dev mailing list