ABC_OPTION_INFO  2452 util/outputtxt.c void outputABC_OPTION_INFO(struct ABC_FILE *abc, struct ABC_OPTION_INFO *o)
ABC_OPTION_INFO  3096 util/parser.c  void parseABC_OPTION_INFO(struct ABC_OPTION_INFO *oinfo, FILE *f)
ABC_OPTION_INFO  3100 util/parser.c    oinfo->Option = malloc(sizeof(struct ABC_OPTION_INFO) * oinfo->OptionCount);
ABC_OPTION_INFO  1788 util/swftypes.h 	struct ABC_OPTION_INFO Options;