evalPolySign method

int evalPolySign(
  1. List<Numeral> vs
)

Implementation

int evalPolySign(List<Numeral> vs) {
  final vsPtr = calloc<Z3_ast>(vs.length);
  try {
    for (var i = 0; i < vs.length; i++) {
      vsPtr[i] = vs[i]._n;
    }
    final result = _c._z3.algebraic_eval(_n, vs.length, vsPtr);
    return result;
  } finally {
    malloc.free(vsPtr);
  }
}