FloatNumeral.from constructor

FloatNumeral.from(
  1. num value,
  2. FloatSort sort
)

Implementation

factory FloatNumeral.from(num value, FloatSort sort) {
  final n = _mathContext._z3.mk_fpa_numeral_double(
    value.toDouble(),
    _mathContext._createSort(sort),
  );
  return _mathContext._getAST(n) as FloatNumeral;
}