 |
My Project
UNKNOWN_GIT_VERSION
|
Go to the documentation of this file.
31 if (
f.inBaseDomain() ||
f.inQuotDomain() )
46 ASSERT( !
f.inQuotDomain(),
"illegal iterator" );
48 if (
f.inBaseDomain() )
61 else if (
v >
f.mvar() )
104 if (
f.inBaseDomain() ||
f.inQuotDomain() )
class to iterate through CanonicalForm's
#define ASSERT(expression, message)
Factory's internal CanonicalForm's.
factory's class for polynomials
Iterators for CanonicalForm's.
factory's class for variables
Factory's internal polynomials.
const Variable & v
< [in] a sqrfree bivariate poly
CFIterator & operator=(const CFIterator &)