Esempio n. 1
0
def compile_operator_flip(node, state):
    return IR.negate(state.codegen(node.value))
Esempio n. 2
0
def convert_none(node, state):
    return IR.negate(IR.exists(state.compute_path()))