(wclist, no_symbol=False)
| 109 | |
| 110 | |
| 111 | def stringify_wildcards(wclist, no_symbol=False): |
| 112 | if no_symbol: |
| 113 | wcstring = "|".join("{}-".format(item) for item in wclist) |
| 114 | else: |
| 115 | wcstring = ", ".join('Symbol("{}-")'.format(item) for item in wclist) |
| 116 | return wcstring |
| 117 | |
| 118 | |
| 119 | def get_wildcards_jl(props): |
no test coverage detected
searching dependent graphs…