mirror of
https://develop.openfoam.com/Development/openfoam.git
synced 2025-11-28 03:28:01 +00:00
- convenience for checking is any/all particular options have been
specified. Eg,
if (args.optionCount({"opt1", "opt2", "opt3"}) < 3) ...