seal5.transform.detect_registers

Detect available registers for Seal5.

Functions

detect_registers(set_def)
get_parser()
main(argv)
run(args)