PolyBoRi
|
#include <CTermGenerator.h>
Public Types | |
typedef CTermGeneratorBase < TermType > | base |
typedef BoolePolyRing | data_type |
Public Member Functions | |
CTermGenerator (const data_type &) | |
CTermGenerator (const CTermGenerator &rhs) | |
CTermGenerator () | |
typedef CTermGeneratorBase<TermType> polybori::CTermGenerator< TermType >::base |
typedef BoolePolyRing polybori::CTermGenerator< TermType >::data_type |
|
inline |
|
inline |
|
inline |