buildFuncDecl method

  1. @override
Z3_func_decl buildFuncDecl(
  1. Context c
)
override

Implementation

@override
Z3_func_decl buildFuncDecl(Context c) => c._z3.mk_piecewise_linear_order(
      c._createSort(domain[0]),
      id,
    );