Lines Matching defs:ParseArgs
549 // This needs to be called before Run(), and after ParseArgs().756 bool Sat::ParseArgs(int argc, char **argv) {