getRoot method

int getRoot()

Implementation

int getRoot() => _c._z3.algebraic_get_i(_n);