Home
last modified time | relevance | path

Searched refs:OPT_PRINT_AIGER (Results 1 – 2 of 2) sorted by relevance

/dports/math/spot/spot-2.10.2/bin/
H A Dltlsynt.cc52 OPT_PRINT_AIGER, enumerator
98 { "aiger", OPT_PRINT_AIGER, "ite|isop|both[+ud][+dc]"
702 case OPT_PRINT_AIGER: in parse_opt()
/dports/math/py-spot/spot-2.10.2/bin/
H A Dltlsynt.cc52 OPT_PRINT_AIGER, enumerator
98 { "aiger", OPT_PRINT_AIGER, "ite|isop|both[+ud][+dc]"
702 case OPT_PRINT_AIGER: in parse_opt()