build method

  1. @override
Z3_ast build(
  1. Context c
)
override

Implementation

@override
Z3_ast build(Context c) {
  final a = c._createAST(arg0);
  final b = c._createAST(arg1);
  final d = c._createAST(arg2);
  final e = c._createAST(arg3);
  switch (kind) {
    case QuaternaryOpKind.fpaFma:
      return c._z3.mk_fpa_fma(a, b, d, e);
  }
}