build method

@override Z3_ast build(Context c)

Implementation

@override
Z3_ast build(Context c) {
  switch (kind) {
    case NullaryOpKind.trueExpr:
      return c._trueExpr;
    case NullaryOpKind.falseExpr:
      return c._falseExpr;
    case NullaryOpKind.fpaRne:
      return c._fpaRne;
    case NullaryOpKind.fpaRna:
      return c._fpaRna;
    case NullaryOpKind.fpaRtp:
      return c._fpaRtp;
    case NullaryOpKind.fpaRtn:
      return c._fpaRtn;
    case NullaryOpKind.fpaRtz:
      return c._fpaRtz;
  }
}