Home | History | Annotate | Download | only in src

Lines Matching defs:ParseArgs

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