diff options
| author | Marius Kintel <marius@kintel.net> | 2013-03-06 04:27:12 (GMT) |
|---|---|---|
| committer | Marius Kintel <marius@kintel.net> | 2013-03-06 04:27:12 (GMT) |
| commit | f70578f362c8c2c78036c9de846c20802ac7aa81 (patch) | |
| tree | f327de271f14382c0915677a87e53867785551f7 /src/csgtermnormalizer.h | |
| parent | 32469374cfe2985f936f017a204d4e9d7dcd3e2f (diff) | |
| parent | 03be37d16b585e64de87118053206aaae06e7cf8 (diff) | |
Merge branch 'master' into epec-kernel
Diffstat (limited to 'src/csgtermnormalizer.h')
| -rw-r--r-- | src/csgtermnormalizer.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/csgtermnormalizer.h b/src/csgtermnormalizer.h index c331f11..f7a444f 100644 --- a/src/csgtermnormalizer.h +++ b/src/csgtermnormalizer.h @@ -17,6 +17,7 @@ private: shared_ptr<CSGTerm> collapse_null_terms(const shared_ptr<CSGTerm> &term); unsigned int count(const shared_ptr<CSGTerm> &term) const; + bool aborted; size_t limit; size_t nodecount; shared_ptr<class CSGTerm> rootnode; |