- System.out.println("-aggressivesearch");
- System.out.println("-prunequantifiernodes");
- System.out.println("-cplusplus");
- System.out.println("-time");
- System.out.println("-omitcomp");
- System.out.println("-mergenodes");
- System.out.println("-debuggraph");
+ System.out.println("-aggressivesearch -- search for one repair per constraint");
+ System.out.println("-prunequantifiernodes -- prune nodes that satisfy constraint by decreasing scope");
+ System.out.println("-cplusplus -- properly set up c++ classes");
+ System.out.println("-time -- generate timing code");
+ System.out.println("-omitcomp -- omit compensation updates");
+ System.out.println("-mergenodes -- omit nodes for simpler role dependence graphs");
+ System.out.println("-debuggraph -- add edge labels and support to debug graph");