Frobby  0.9.0
Classes | Variables
Ideal.cpp File Reference
#include "stdinc.h"
#include "Ideal.h"
#include "TermPredicate.h"
#include "Term.h"
#include "Minimizer.h"
#include <algorithm>
#include <functional>
#include <sstream>

Go to the source code of this file.

Classes

class  ChunkPool
 

Variables

const int ExponentsPerChunk = 1024
 
const int MinTermsPerChunk = 2
 
class ChunkPool globalChunkPool
 

Variable Documentation

const int ExponentsPerChunk = 1024

Definition at line 700 of file Ideal.cpp.

class ChunkPool globalChunkPool
const int MinTermsPerChunk = 2

Definition at line 701 of file Ideal.cpp.