示例#1
0
 def _op_raw_fpNeg(self, a):
     return z3.fpNeg(a, ctx=self._context)
示例#2
0
def _neg(term, smt):
  if isinstance(smt.type(term), FloatType):
    return z3.fpNeg(smt.eval(term.x))

  return -smt.eval(term.x)
示例#3
0
def _neg(term, smt):
    if isinstance(smt.type(term), FloatType):
        return z3.fpNeg(smt.eval(term.x))

    return -smt.eval(term.x)
示例#4
0
 def _op_raw_fpNeg(self, a):
     return z3.fpNeg(a, ctx=self._context)
示例#5
0
 def __neg__(self):
     return Float(val=z3.simplify(z3.fpNeg(self.z3_ds)),ne=self.ne,ns=self.ns)