Searched refs:opt_dtbasat (Results 1 – 2 of 2) sorted by relevance
310 int opt_dtbasat = -1; in checked_main() local646 opt_dtbasat = to_int(argv[formula_index] + 3); in checked_main()648 opt_dtbasat = 0; in checked_main()1126 if (opt_dtbasat >= 0) in checked_main()1130 dtba_sat_synthetize(ensure_digraph(a), opt_dtbasat); in checked_main()1153 if (opt_determinize || opt_dtwacomp || opt_dtbasat >= 0 in checked_main()