void flower_check(Flower *flower) {
eventTree_check(flower_getEventTree(flower));
Flower_GroupIterator *groupIterator = flower_getGroupIterator(flower);
Group *group;
while ((group = flower_getNextGroup(groupIterator)) != NULL) {
group_check(group);
}
flower_destructGroupIterator(groupIterator);
Flower_ChainIterator *chainIterator = flower_getChainIterator(flower);
Chain *chain;
while ((chain = flower_getNextChain(chainIterator)) != NULL) {
chain_check(chain);
}
flower_destructCapIterator(chainIterator);
//We check built trees in here.
Flower_EndIterator *endIterator = flower_getEndIterator(flower);
End *end;
while ((end = flower_getNextEnd(endIterator)) != NULL) {
end_check(end);
end_check(end_getReverse(end)); //We will test everything backwards also.
}
flower_destructEndIterator(endIterator);
if (flower_builtFaces(flower)) {
Flower_FaceIterator *faceIterator = flower_getFaceIterator(flower);
Face *face;
while ((face = flower_getNextFace(faceIterator)) != NULL) {
face_check(face);
}
flower_destructFaceIterator(faceIterator);
face_checkFaces(flower);
} else {
cactusCheck(flower_getFaceNumber(flower) == 0);
}
if (flower_builtBlocks(flower)) { //Note that a flower for which the blocks are not yet built must be a leaf.
Flower_BlockIterator *blockIterator = flower_getBlockIterator(flower);
Block *block;
while ((block = flower_getNextBlock(blockIterator)) != NULL) {
block_check(block);
block_check(block_getReverse(block)); //We will test everything backwards also.
}
flower_destructBlockIterator(blockIterator);
} else {
cactusCheck(flower_isLeaf(flower)); //Defensive
cactusCheck(flower_isTerminal(flower)); //Checks that a flower without built blocks is a leaf and does not
//contain any blocks.
}
Flower_SequenceIterator *sequenceIterator = flower_getSequenceIterator(flower);
Sequence *sequence;
while ((sequence = flower_getNextSequence(sequenceIterator)) != NULL) {
sequence_check(sequence);
}
flower_destructSequenceIterator(sequenceIterator);
}
void flower_writeBinaryRepresentation(Flower *flower, void(*writeFn)(const void * ptr, size_t size, size_t count)) {
Flower_SequenceIterator *sequenceIterator;
Flower_EndIterator *endIterator;
Flower_BlockIterator *blockIterator;
Flower_GroupIterator *groupIterator;
Flower_ChainIterator *chainIterator;
Sequence *sequence;
End *end;
Block *block;
Group *group;
Chain *chain;
binaryRepresentation_writeElementType(CODE_FLOWER, writeFn);
binaryRepresentation_writeName(flower_getName(flower), writeFn);
binaryRepresentation_writeBool(flower_builtBlocks(flower), writeFn);
binaryRepresentation_writeBool(flower_builtTrees(flower), writeFn);
binaryRepresentation_writeBool(flower_builtFaces(flower), writeFn);
binaryRepresentation_writeName(flower->parentFlowerName, writeFn);
if (flower_getEventTree(flower) != NULL) {
eventTree_writeBinaryRepresentation(flower_getEventTree(flower), writeFn);
}
sequenceIterator = flower_getSequenceIterator(flower);
while ((sequence = flower_getNextSequence(sequenceIterator)) != NULL) {
sequence_writeBinaryRepresentation(sequence, writeFn);
}
flower_destructSequenceIterator(sequenceIterator);
endIterator = flower_getEndIterator(flower);
while ((end = flower_getNextEnd(endIterator)) != NULL) {
end_writeBinaryRepresentation(end, writeFn);
}
flower_destructEndIterator(endIterator);
blockIterator = flower_getBlockIterator(flower);
while ((block = flower_getNextBlock(blockIterator)) != NULL) {
block_writeBinaryRepresentation(block, writeFn);
}
flower_destructBlockIterator(blockIterator);
groupIterator = flower_getGroupIterator(flower);
while ((group = flower_getNextGroup(groupIterator)) != NULL) {
group_writeBinaryRepresentation(group, writeFn);
}
flower_destructGroupIterator(groupIterator);
chainIterator = flower_getChainIterator(flower);
while ((chain = flower_getNextChain(chainIterator)) != NULL) {
chain_writeBinaryRepresentation(chain, writeFn);
}
flower_destructChainIterator(chainIterator);
binaryRepresentation_writeElementType(CODE_FLOWER, writeFn); //this avoids interpretting things wrong.
}
void makeCactusTree_flower(Flower *flower, FILE *fileHandle, const char *parentNodeName,
const char *parentEdgeColour) {
if(flower_isTerminal(flower)) {
makeCactusTree_terminalNode(flower, fileHandle, parentNodeName, parentEdgeColour);
}
else {
//Write the flower nodes.
char *flowerNameString = cactusMisc_nameToString(flower_getName(flower));
const char *edgeColour = graphViz_getColour();
addNodeToGraph(flowerNameString, fileHandle, flower_getTotalBaseLength(flower)
/ totalProblemSize, "ellipse", flowerNameString);
//Write in the parent edge.
if (parentNodeName != NULL) {
graphViz_addEdgeToGraph(parentNodeName, flowerNameString, fileHandle, "",
parentEdgeColour, 10, 1, "forward");
}
//Create the chains.
Flower_ChainIterator *chainIterator = flower_getChainIterator(flower);
Chain *chain;
while ((chain = flower_getNextChain(chainIterator)) != NULL) {
makeCactusTree_chain(chain, fileHandle, flowerNameString, edgeColour);
}
flower_destructChainIterator(chainIterator);
//Create the diamond node
char *diamondNodeNameString = st_malloc(sizeof(char) * (strlen(
flowerNameString) + 2));
sprintf(diamondNodeNameString, "z%s", flowerNameString);
const char *diamondEdgeColour = graphViz_getColour();
//Create all the groups linked to the diamond.
Flower_GroupIterator *groupIterator = flower_getGroupIterator(flower);
Group *group;
double size = 0.0; //get the size of the group organising node..
int64_t nonTrivialGroupCount = 0;
while ((group = flower_getNextGroup(groupIterator)) != NULL) {
assert(!group_isLeaf(group));
if (group_isTangle(group)) {
size += group_getTotalBaseLength(group);
nonTrivialGroupCount++;
}
}
flower_destructGroupIterator(groupIterator);
if(nonTrivialGroupCount == 0) {
assert(flower_getParentGroup(flower) == 0);
}
else {
//assert(nonTrivialGroupCount > 0);
addNodeToGraph(diamondNodeNameString, fileHandle, size
/ totalProblemSize, "diamond", "");
graphViz_addEdgeToGraph(flowerNameString, diamondNodeNameString,
fileHandle, "", edgeColour, 10, 1, "forward");
groupIterator = flower_getGroupIterator(flower);
while ((group = flower_getNextGroup(groupIterator)) != NULL) {
if (group_isTangle(group)) {
assert(!group_isLeaf(group));
makeCactusTree_flower(group_getNestedFlower(group), fileHandle,
diamondNodeNameString, diamondEdgeColour);
}
}
flower_destructGroupIterator(groupIterator);
}
free(flowerNameString);
free(diamondNodeNameString);
}
}
