def un_exp(self, ast): if ast.op == "not": return pi.Not(ast.e)
def un_exp(self, ast): if ast.op == "not": return pi.Not(ast.e) ### Array Implementation ### if ast.op == "\#": return pi.ArrayLength(ast.e)
def negation(self, ast): return pi.Not(ast.b)
def un_exp(self, ast): if ast.op == "not": return pi.Not(ast.e) if ast.op == "len": return pi.ArrSize(ast.e)
def un_exp(self, ast): if ast.op == "not": return pi.Not(ast.e) if ast.op == "::": return pi.ArraySize(ast.e)
def un_exp(self, ast): if ast.op == "not": return pi.Not(ast.e) if ast.op == "#": return pi.ArrLength(ast.e)