定义了一个字符串变量 clause1 = "((1 & z[0]) != 0)"
clause1 = "((1 & z[0]) != 0)"
它的eval()给出了BoolRef: 1 & v__a != 0 我实际需要的BoolRef: ((1 & v__a) != 0)
BoolRef: 1 & v__a != 0
BoolRef: ((1 & v__a) != 0)
如何将方括号保留在eval()中并评估其他所有内容
相关分类