Module aiger_dfa.utils
Expand source code
def onehot(idx, n):
return tuple(idx == i for i in range(n))Functions
def onehot(idx, n)-
Expand source code
def onehot(idx, n): return tuple(idx == i for i in range(n))
aiger_dfa.utilsdef onehot(idx, n):
return tuple(idx == i for i in range(n))
def onehot(idx, n)
def onehot(idx, n):
return tuple(idx == i for i in range(n))