![]() |
Iterators for CanonicalForm's. More...
#include "canonicalform.h"Go to the source code of this file.
Data Structures | |
| class | CFIterator |
| class to iterate through CanonicalForm's More... | |
Macros | |
| #define | CF_INLINE |
| #define | CF_NO_INLINE |
| #define | CF_INLINE |
Typedefs | |
| typedef term * | termList |
Iterators for CanonicalForm's.
Definition in file cf_iter.h.