operator >= method

bool operator >=(
  1. AlgebraicNumeral other
)

Implementation

bool operator >=(AlgebraicNumeral other) => _c._z3.algebraic_ge(_n, other._n);