|
CBMC
|
Include dependency graph for algebraic_number.h:
This graph shows which files directly or indirectly include this file: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.