ThomEncoding.h File Reference
#include "SignDetermination/SignDetermination.h"#include "ThomRootFinder.h"#include <carl-arith/poly/umvpoly/functions/Substitution.h>#include "ThomEncoding.tpp"
Include dependency graph for ThomEncoding.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | carl::ThomEncoding< Number > |
Namespaces | |
| carl | |
| carl is the main namespace for the library. | |
Macros | |
| #define | INITIAL_OFFSET (Number(1)/10) |
Functions | |
| template<typename N > | |
| bool | carl::operator< (const ThomEncoding< N > &lhs, const ThomEncoding< N > &rhs) |
| template<typename N > | |
| bool | carl::operator<= (const ThomEncoding< N > &lhs, const ThomEncoding< N > &rhs) |
| template<typename N > | |
| bool | carl::operator> (const ThomEncoding< N > &lhs, const ThomEncoding< N > &rhs) |
| template<typename N > | |
| bool | carl::operator>= (const ThomEncoding< N > &lhs, const ThomEncoding< N > &rhs) |
| template<typename N > | |
| bool | carl::operator== (const ThomEncoding< N > &lhs, const ThomEncoding< N > &rhs) |
| template<typename N > | |
| bool | carl::operator!= (const ThomEncoding< N > &lhs, const ThomEncoding< N > &rhs) |
| template<typename N > | |
| bool | carl::operator< (const ThomEncoding< N > &lhs, const N &rhs) |
| template<typename N > | |
| bool | carl::operator<= (const ThomEncoding< N > &lhs, const N &rhs) |
| template<typename N > | |
| bool | carl::operator> (const ThomEncoding< N > &lhs, const N &rhs) |
| template<typename N > | |
| bool | carl::operator>= (const ThomEncoding< N > &lhs, const N &rhs) |
| template<typename N > | |
| bool | carl::operator== (const ThomEncoding< N > &lhs, const N &rhs) |
| template<typename N > | |
| bool | carl::operator!= (const ThomEncoding< N > &lhs, const N &rhs) |
| template<typename N > | |
| bool | carl::operator< (const N &lhs, const ThomEncoding< N > &rhs) |
| template<typename N > | |
| bool | carl::operator<= (const N &lhs, const ThomEncoding< N > &rhs) |
| template<typename N > | |
| bool | carl::operator> (const N &lhs, const ThomEncoding< N > &rhs) |
| template<typename N > | |
| bool | carl::operator>= (const N &lhs, const ThomEncoding< N > &rhs) |
| template<typename N > | |
| bool | carl::operator== (const N &lhs, const ThomEncoding< N > &rhs) |
| template<typename N > | |
| bool | carl::operator!= (const N &lhs, const ThomEncoding< N > &rhs) |
| template<typename N > | |
| ThomEncoding< N > | carl::operator+ (const N &lhs, const ThomEncoding< N > &rhs) |
| template<typename N > | |
| std::ostream & | carl::operator<< (std::ostream &os, const ThomEncoding< N > &rhs) |
Macro Definition Documentation
◆ INITIAL_OFFSET
| #define INITIAL_OFFSET (Number(1)/10) |
Definition at line 15 of file ThomEncoding.h.
