Main Page

Source Files

Class Hierarchy

Alphabetical List

Compound List

Compound Members

File Members

Related Pages

Search for

---

libsrc/ndcuts.cxx File Reference

??? More...

#include <memory.h>
#include "udanax.h"

Include dependency graph for ndcuts.cxx:

Go to the source code of this file.

Functions
void	makecutsbackuptohere (typecuc *ptr, typewid *offset, typeknives *knives)
	???
bool	crumiscut (typecuc *ptr, typewid *offset, typeknives *knives)
	???
bool	sonsarecut (typecuc *ptr, typewid *offset, typeknives *knives)
	???
void	makecutsdownnd (typecuc *fullcrumptr, typewid *offset, typeknives *knives)
	???
void	cutsons (typecuc *ptr, typewid *offset, typeknives *knives)
	???
bool	crumleftofithcut (typecorecrum *ptr, typewid *offset, typeknives *knives, int i)
	???
void	newpeelcrumoffnd (typecorecrum *ptr, typecorecrum *newuncle)
	???
void	peelsoncorrectly (typecorecrum *ptr, typewid *offset, typecorecrum *son, typewid *grasp, typeknives *knives, int i)
	???
bool	crumiscutbyithknife (typecuc *ptr, typewid *offset, typeknives *knives, int i)
	???
void	makeithcutonson (typecorecrum *ptr, typewid *offset, typecorecrum *son, typewid *grasp, typeknives *knives, int i)
	???
bool	peeloffcorrectson (typecorecrum *ptr, typeknives *knives)
	???
void	slicecbcpm (typecorecrum *ptr, typewid *offset, typecorecrum *newcc, Tumbler *cut, int index)
	???
void	makecutsnd (typecuc *fullcrumptr, typeknives *knives)
	???

---

Detailed Description

???

(to be defined)

Definition in file ndcuts.cxx.

---

Function Documentation

bool crumiscut (  typecuc *  ptr, typewid *  offset, typeknives *  knives )  [static]

??? (to be defined) Definition at line 98 of file ndcuts.cxx. References typeknives::blades, typeknives::dimension, typeknives::nblades, THRUME, typecorecrum, and whereoncrum(). Referenced by cutsons(), makecutsdownnd(), and sonsarecut(). { int i; for (i = 0; i < knives->nblades; ++i) { if (whereoncrum((typecorecrum *) ptr, offset, &knives->blades[i], knives->dimension) == THRUME) return true; } return false; }

bool crumiscutbyithknife (  typecuc *  ptr, typewid *  offset, typeknives *  knives, int  i )  [static]

??? (to be defined) Definition at line 344 of file ndcuts.cxx. References typeknives::blades, typeknives::dimension, THRUME, typecorecrum, and whereoncrum(). Referenced by makecutsbackuptohere(), and makeithcutonson(). { if (whereoncrum((typecorecrum *) ptr, offset, &knives->blades[i], knives->dimension) == THRUME) return true; return false; }

bool crumleftofithcut (  typecorecrum *  ptr, typewid *  offset, typeknives *  knives, int  i )  [static]

??? (to be defined) Definition at line 221 of file ndcuts.cxx. References typeknives::blades, typeknives::dimension, THRUME, typecorecrum, and whereoncrum(). Referenced by peelsoncorrectly(). { if (whereoncrum(ptr, offset, &knives->blades[i], knives->dimension) > THRUME) return false; else return true; }

void cutsons (  typecuc *  ptr, typewid *  offset, typeknives *  knives )  [static]

??? (to be defined) Definition at line 192 of file ndcuts.cxx. References crumiscut(), findleftson(), findrightbro, makecutsbackuptohere(), NULL, prologuend(), setwispupwards(), sonsarecut(), typecorecrum, and typedsp. Referenced by makecutsbackuptohere(). { typewid grasp; typecorecrum *son, *nextson; while (sonsarecut(ptr, offset, knives)) { setwispupwards(ptr, 1); for (son = findleftson(ptr); son; son = nextson) { nextson = findrightbro(son); prologuend((typecorecrum *) ptr, offset, &grasp, (typedsp *) NULL); for (; crumiscut((typecuc *) son, &grasp, knives); prologuend((typecorecrum *) ptr, offset, &grasp, (typedsp *) NULL)) { makecutsbackuptohere((typecuc *) son, &grasp, knives); } } } }

void makecutsbackuptohere (  typecuc *  ptr, typewid *  offset, typeknives *  knives )  [static]

??? (to be defined) Definition at line 567 of file ndcuts.cxx. References typeknives::blades, typecorecrumhedr::cenftype, createcrum(), crumiscutbyithknife(), cutsons(), typeknives::dimension, findleftson(), findrightbro, GRAN, typecorecrumhedr::height, typecuc::height, isfullcrum(), ivemodified(), L, makeithcutonson(), typeknives::nblades, NULL, peeloffcorrectson(), prologuend(), setwisp(), setwispupwards(), slicecbcpm(), THRUME, toomanysons(), typecorecrum, typedsp, and whereoncrum(). Referenced by cutsons(), and makecutsdownnd(). { typewid grasp; int i; typecuc *son, *newcc, *nextson; if (ptr->height == 0) { for (i = 0; i < knives->nblades; i++) { if (whereoncrum((typecorecrum *) ptr, offset, &knives->blades[i], knives->dimension) == THRUME) { newcc = (typecuc *) createcrum((int) ptr->height, (int) ptr->cenftype); if (ptr->cenftype == GRAN) { ((typecbc *) newcc)->cinfo.infotype = ((typecbc *) ptr)->cinfo.infotype; } slicecbcpm((typecorecrum *) ptr, offset, (typecorecrum *) newcc, &knives->blades[i], knives->dimension); ivemodified((typecorecrum *) ptr); ivemodified((typecorecrum *) newcc); setwisp((typecorecrum *) ptr); /* asserttreeisok(ptr); */ } } return; } else { for (i = 0; i < knives->nblades; ++i) { cutsons(ptr, offset, knives); if (!isfullcrum((typecorecrum *) ptr)) { setwispupwards(ptr, 0); if (crumiscutbyithknife(ptr, offset, knives, i)) { for (son = (typecuc *) findleftson(ptr); son; son = nextson) { nextson = (typecuc *) findrightbro((typecorecrum *) son); prologuend((typecorecrum *) ptr, offset, &grasp, (typedsp *) NULL); makeithcutonson((typecorecrum *) ptr, offset, (typecorecrum *) son, &grasp, knives, i); if (!crumiscutbyithknife(ptr, offset, knives, i)) { if (ptr->numberofsons == 0) { return; } break; } } } setwispupwards(ptr, 0); } /* asserttreeisok(ptr); */ } } if (!isfullcrum((typecorecrum *) ptr)) { if (toomanysons(ptr)) { while (toomanysons(ptr)) { #ifndef DISTRIBUTION L("setwispupwards 4\n" /*BUG: too many args, 1*/); #endif setwispupwards(ptr, 0); #ifndef DISTRIBUTION L("toomanysons peel\n"); #endif peeloffcorrectson((typecorecrum *) ptr, knives); } #ifndef DISTRIBUTION L("calling makecutsbackuptohere\n"); #endif makecutsbackuptohere(ptr, offset, knives); } } else if (toomanysons(ptr)) { #ifndef DISTRIBUTION L("________________toomanysons in fullcrum\n"); #endif } setwispupwards(ptr, 1); }

void makecutsdownnd (  typecuc *  fullcrumptr, typewid *  offset, typeknives *  knives )  [static]

??? (to be defined) Definition at line 144 of file ndcuts.cxx. References crumiscut(), findleftson(), findrightbro, typecuc::height, isfullcrum(), levelpush(), makecutsbackuptohere(), makecutsnd(), typeknives::nblades, NULL, prologuend(), toomanysons(), typecorecrum, and typedsp. Referenced by makecutsnd(). { typecuc *ptr; typecorecrum *sonptr, *son; int n; ptr = fullcrumptr; for (; (knives->nblades > 1) && false && ptr->height;) { for (n = 0, son = findleftson(ptr); son; son = findrightbro(son)) { if (crumiscut((typecuc *) son, offset, knives)) { n++; sonptr = son; } } if (n == 1) { prologuend((typecorecrum *) ptr, offset, offset, (typedsp *) NULL); ptr = (typecuc *) sonptr; } else break; } /* now we're at intersection */ makecutsbackuptohere(ptr, offset, knives); if (toomanysons(ptr)) { /* L("found toomany sons in makecutsdownnd\n"); */ if (isfullcrum((typecorecrum *) ptr)) { /* L("and was fullcrum\n"); */ /* return; */ levelpush(ptr); makecutsnd(fullcrumptr, knives); /* L("returningfrom makecutsnd\n"); */ } else makecutsnd(fullcrumptr, knives); } }

void makecutsnd (  typecuc *  fullcrumptr, typeknives *  knives )

??? (to be defined) Definition at line 538 of file ndcuts.cxx. References asserttreeisok(), clear, findfullcrum(), makecutsdownnd(), sonsarecut(), and typecorecrum. Referenced by deletend(), makecutsdownnd(), makegappm(), and rearrangend(). { typewid offset; //FIX: needs access to Session from higher-level code logbertmodifiedforcrum(sess, fullcrumptr); /* (L("\nmakecutsnd knives = \n"); displaycutspm(knives); */ clear(&offset, sizeof(offset)); makecutsdownnd(fullcrumptr, &offset, knives); clear(&offset, sizeof(offset)); /* clears ARE redundant */ for (fullcrumptr = findfullcrum((typecorecrum *) fullcrumptr); sonsarecut(fullcrumptr, &offset, knives); fullcrumptr = findfullcrum((typecorecrum *) fullcrumptr)) { clear(&offset, sizeof(offset)); makecutsdownnd(fullcrumptr, &offset, knives); } #ifndef DISTRIBUTION asserttreeisok((typecorecrum *) fullcrumptr); #endif }

void makeithcutonson (  typecorecrum *  ptr, typewid *  offset, typecorecrum *  son, typewid *  grasp, typeknives *  knives, int  i )  [static]

??? (to be defined) Definition at line 364 of file ndcuts.cxx. References assert, typeknives::blades, typecuc::cenftype, check(), crumiscutbyithknife(), typeknives::dimension, displaycutspm(), dump(), dumpwid(), findleftson(), L, peelsoncorrectly(), setwispupwards(), THRUME, typecorecrum, and whereoncrum(). Referenced by makecutsbackuptohere(). { int temp; if (!crumiscutbyithknife((typecuc *) ptr, offset, knives, i)) { #ifndef DISTRIBUTION L("foo return in makeithcutonson\n"); #endif return; } if ((temp = whereoncrum(son, grasp, &knives->blades[i], knives->dimension)) < THRUME) { peelsoncorrectly(ptr, offset, son, grasp, knives, i); setwispupwards((typecuc *) ptr, 1); if (!crumiscutbyithknife((typecuc *) ptr, offset, knives, i)) { setwispupwards((typecuc *) ptr, 1); /* prologuend(ptr,offset,grasp,NULL); */ if (((typecuc *) ptr)->numberofsons == 0) { #ifndef DISTRIBUTION displaycutspm(knives); dumpwid(offset, ptr->cenftype); L("sons went away\n"); /* dump(ptr); *//*dumpwholetree(ptr); */ check((typecuc *) ptr); #endif return; } return; } (void)findleftson((typecuc *) ptr); /* make sure its in core */ if (((typecuc *) ptr)->numberofsons == 0) { #ifndef DISTRIBUTION displaycutspm(knives); dumpwid(offset, ptr->cenftype); L("____sons went away\n"); dump(ptr); check((typecuc *) ptr); assert(0); // sons went away #else assert(0); #endif } } else if (temp == THRUME) assert(0); // makecutsbackuptohere crum not cut }

void newpeelcrumoffnd (  typecorecrum *  ptr, typecorecrum *  newuncle )  [static]

??? (to be defined) Definition at line 241 of file ndcuts.cxx. References adopt(), assert, typecorecrumhedr::cdsp, typecuc::cdsp, typecorecrumhedr::cenftype, typecuc::cenftype, clear, disown(), dspadd(), dspsub(), findfather(), isfullcrum(), ivemodified(), LEFTMOSTSON, makeroomonleftnd(), roomformoresons(), setwispupwards(), toomanysons(), tumblercheckptr(), typecorecrum, and typedsp. Referenced by peeloffcorrectson(), and peelsoncorrectly(). { typedsp temp; typecuc *father; typedsp grasp; typewid origin; typedsp offset; if (!roomformoresons((typecuc *) newuncle)) assert(0); // noroomfor more sons for newuncle if (isfullcrum(ptr)) assert(0); // peeloffcurmnd called with fullcrum ivemodified(ptr); /* to set father->modified */ father = findfather(ptr); clear(&offset, sizeof(offset)); dspadd(&father->cdsp, &ptr->cdsp, &origin, (int) father->cenftype); /* 1 ptr->cdsp */ /* * L("in newpeelcrumoffnd 1 \n"); dumpwid(&father->cdsp); * dumpwid(&ptr->cdsp); dumpwid(&origin); */ (void)tumblercheckptr((Tumbler *) & origin, (int *) ptr); makeroomonleftnd((typecuc *) newuncle, &offset, &origin, &grasp); disown(ptr); adopt(ptr, LEFTMOSTSON, newuncle); /* dspsub(&father->cdsp,&newuncle->cdsp,&temp,ptr->cenftype); */ /* 2 &temp <- father->cdsp - newuncle->cdsp check this father temp stuff4/6/85 */ dspadd(&father->cdsp, &ptr->cdsp, &temp, (int) ptr->cenftype); /* * dumpwid(&newuncle->cdsp); L("in newpeelcrumoffnd 2 \n"); * dumpwid(&temp); */ (void)tumblercheckptr((Tumbler *) & temp, (int *) ptr); /* dspadd(&ptr->cdsp,&temp,&ptr->cdsp, ptr->cenftype); */ dspsub(&temp, &newuncle->cdsp, &ptr->cdsp, (int) ptr->cenftype); /* 3 ptr->cdsp <- temp + ptr->cdsp */ /* * L("in newpeelcrumoffnd 3 \n"); dumpwid(&ptr->cdsp); * dump(ptr); */ (void)tumblercheckptr((Tumbler *) & ptr->cdsp, (int *) ptr); ivemodified(ptr); ivemodified(newuncle); /* setwispsofsons(newuncle);// to fix makeroomonleftnd// */ setwispupwards((typecuc *) ptr, 0); setwispupwards((typecuc *) newuncle, 0); setwispupwards(father, 1); if (toomanysons((typecuc *) newuncle)) assert(0); // toomany sons for newuncle /* L("calling fixincoresubtreewids\n"); */ /* fixincoresubtreewids(findfullcrum(ptr)); */ }

bool peeloffcorrectson (  typecorecrum *  ptr, typeknives *  knives )  [static]

??? (to be defined) Definition at line 424 of file ndcuts.cxx. References adopt(), typecorecrumhedr::cdsp, typecorecrumhedr::cenftype, createcrum(), findleftson(), findrightbro, typecorecrumhedr::height, movewisp, newpeelcrumoffnd(), RIGHTBRO, roomformoresons(), toomanysons(), and typecorecrum. Referenced by makecutsbackuptohere(). { typecorecrum *bro, *uncle; if (toomanysons((typecuc *) ptr)) { for (bro = findrightbro(ptr); bro; ptr = findrightbro(ptr)) { if (roomformoresons /* !toomanysons */ ((typecuc *) bro)) { newpeelcrumoffnd(findleftson((typecuc *) ptr), bro); return true; } } uncle = createcrum((int) ptr->height, (int) ptr->cenftype); adopt(uncle, RIGHTBRO, ptr); movewisp(&ptr->cdsp, &uncle->cdsp); newpeelcrumoffnd(findleftson((typecuc *) ptr), uncle); } return true; }

void peelsoncorrectly (  typecorecrum *  ptr, typewid *  offset, typecorecrum *  son, typewid *  grasp, typeknives *  knives, int  i )  [static]

??? (to be defined) Definition at line 308 of file ndcuts.cxx. References adopt(), typecorecrumhedr::cdsp, typecorecrumhedr::cenftype, createcrum(), crumleftofithcut(), findleftmostbro(), findrightbro, findrightmostbro(), typecorecrumhedr::height, movewisp, newpeelcrumoffnd(), RIGHTBRO, roomformoresons(), and typecorecrum. Referenced by makeithcutonson(). { /* put son in leftest uncle with room that is less than cut */ typecuc *uncle; uncle = (typecuc *) findleftmostbro(ptr); for (; uncle; uncle = (typecuc *) findrightbro((typecorecrum *) uncle)) { if (uncle == (typecuc *) ptr) { continue; } if (roomformoresons(uncle)) { if (crumleftofithcut((typecorecrum *) uncle, offset, knives, i)) { newpeelcrumoffnd((typecorecrum *) son, (typecorecrum *) uncle); return; } } } uncle = (typecuc *) createcrum((int) ptr->height, (int) ptr->cenftype); adopt((typecorecrum *) uncle, RIGHTBRO, findrightmostbro(ptr)); movewisp(&ptr->cdsp, &uncle->cdsp); newpeelcrumoffnd((typecorecrum *) son, (typecorecrum *) uncle); }

void slicecbcpm (  typecorecrum *  ptr, typewid *  offset, typecorecrum *  newcc, Tumbler *  cut, int  index )  [static]

??? (to be defined) Definition at line 453 of file ndcuts.cxx. References adopt(), assert, typecorecrumhedr::cdsp, typecorecrumhedr::cenftype, typecorecrumhedr::cwid, typewid::dsas, dspadd(), dump(), dumptumbler(), dumpwholetree(), dumpwid(), Tumbler::exp, is1story(), L, lockis1story(), locksubtract(), Tumbler::mantissa, move2dinfo(), movewisp, NULL, prologuend(), RIGHTBRO, THRUME, tumblerjustify(), tumblerlength(), tumblersub(), typecorecrum, typedsp, whereoncrum(), and widsize. Referenced by makecutsbackuptohere(). { typedsp grasp /* , reach */ ; Tumbler localcut; typewid newwid; int i; /* L("entering slicecbcpm \n"); */ int enftype = ptr->cenftype; prologuend(ptr, offset, &grasp, /* &reach */ (typedsp *) NULL); if (whereoncrum(ptr, offset, cut, index) != THRUME) assert(0); // Why are you trying to slice me? if (!lockis1story(ptr->cwid.dsas, (unsigned)widsize(enftype))) assert(0); // Not one story in POOM wid tumblersub(cut, &grasp.dsas[index], &localcut); if (localcut.exp != ptr->cwid.dsas[index].exp) { #ifndef DISTRIBUTION dump(ptr); dump(newcc); dumptumbler(cut); dumptumbler(&localcut); dumpwholetree(ptr); assert(0); // Oh well, I thought I understood this1 #else assert(0); #endif } if (!is1story(&localcut)) { #ifndef DISTRIBUTION L("\nin slicecbcpm ptr \n"); dump(ptr); L("\nin slicecbcpm newcc \n"); dump(newcc); L("\nin slicecbcpm offset \n"); dumpwid(offset, ptr->cenftype); L("\nin slicecbcpm grasp \n"); dumpwid(&grasp, ptr->cenftype); L("\nin slicecbcpm cut \n"); dumptumbler(cut); L("\nin slicecbcpm localcut \n"); dumptumbler(&localcut); L("\nin slicecbcpm wholedamn tree \n"); dumpwholetree(ptr); assert(0); // Oh well, I thought I understood this2 #else assert(0); #endif } if (tumblerlength(cut) != tumblerlength(&ptr->cwid.dsas[index])) assert(0); // level mismatch movewisp(&ptr->cwid, &newwid); for (i = 0; i < widsize(enftype); i++) { /* I really don't understand this loop */ newwid.dsas[i].mantissa[0] = localcut.mantissa[0]; tumblerjustify(&newwid.dsas[i]); } /* locksubtract (&ptr->cwid, &newwid, &newcc->cwid, widsize (enftype)); */ locksubtract((Tumbler *) & ptr->cwid, (Tumbler *) & newwid, (Tumbler *) & newcc->cwid, (unsigned)widsize(enftype)); movewisp(&newwid, &ptr->cwid); dspadd(&ptr->cdsp, &ptr->cwid, &newcc->cdsp, enftype); move2dinfo(&((type2dcbc *) ptr)->c2dinfo, &((type2dcbc *) newcc)->c2dinfo); adopt(newcc, RIGHTBRO, ptr); /* L("leaving slicecpcpm \n"); */ }

bool sonsarecut (  typecuc *  ptr, typewid *  offset, typeknives *  knives )  [static]

??? (to be defined) Definition at line 119 of file ndcuts.cxx. References crumiscut(), findleftson(), findrightbro, NULL, prologuend(), typecorecrum, and typedsp. Referenced by cutsons(), and makecutsnd(). { typecuc *son; typewid grasp; prologuend((typecorecrum *) ptr, offset, &grasp, (typedsp *) NULL); for (son = (typecuc *) findleftson(ptr); son; son = (typecuc *) findrightbro((typecorecrum *) son)) { if (crumiscut(son, &grasp, knives)) return true; } return false; }

---