CBMC
|
Go to the source code of this file.
Classes | |
class | algebraic_numbert |
Represents real numbers as roots (zeros) of a polynomial with rational coefficients. More... | |
Functions | |
std::ostream & | operator<< (std::ostream &out, const algebraic_numbert &a) |
std::ostream & operator<< | ( | std::ostream & | out, |
const algebraic_numbert & | a | ||
) |
Definition at line 34 of file algebraic_number.cpp.