Searched refs:CNDFS (Results 1 – 8 of 8) sorted by relevance
37 CNDFS, ///< \brief Evangelista.12.atva emptiness check enumerator75 case mc_algorithm::CNDFS: in operator <<()
211 if (algo == mc_algorithm::BLOEMEN_EC || algo == mc_algorithm::CNDFS || in ec_instanciator()231 case mc_algorithm::CNDFS: in ec_instanciator()
103 mc_options.algorithm = spot::mc_algorithm::CNDFS; in parse_opt_finput()472 (mc_options.algorithm == spot::mc_algorithm::CNDFS || in checked_main()489 if (mc_options.algorithm == spot::mc_algorithm::CNDFS) in checked_main()
4216 mc: implement CNDFS4220 * tests/ltsmin/check.test: test CNDFS4221 * tests/ltsmin/modelcheck.cc: add CNDFS option