[286] | 1 | // This file is a part of Framsticks SDK. http://www.framsticks.com/ |
---|
[1213] | 2 | // Copyright (C) 1999-2023 Maciej Komosinski and Szymon Ulatowski. |
---|
[286] | 3 | // See LICENSE.txt for details. |
---|
[193] | 4 | |
---|
[196] | 5 | // Copyright (C) 1999,2000 Adam Rotaru-Varga (adam_rotaru@yahoo.com), GNU LGPL |
---|
[1237] | 6 | // 2018, Grzegorz Latosinski, added development checkpoints and support for new API for neuron types |
---|
[196] | 7 | |
---|
[193] | 8 | #include "f4_general.h" |
---|
[1234] | 9 | #include "../genooperators.h" // for GENOPER_ constants |
---|
[196] | 10 | #include <common/nonstd_stl.h> |
---|
[375] | 11 | #include <common/log.h> |
---|
[196] | 12 | #include <frams/model/model.h> // for min and max attributes |
---|
| 13 | #include <common/nonstd_math.h> |
---|
[1249] | 14 | #include <algorithm> // std::min, std::max |
---|
[193] | 15 | |
---|
| 16 | #ifdef DMALLOC |
---|
| 17 | #include <dmalloc.h> |
---|
| 18 | #endif |
---|
| 19 | |
---|
[1227] | 20 | |
---|
| 21 | #define BREAK_WHEN_REP_COUNTER_NULL //see comments where it is used |
---|
| 22 | #define TREAT_BAD_CONNECTIONS_AS_INVALID_GENO //see comments where it is used |
---|
| 23 | |
---|
| 24 | |
---|
[774] | 25 | void rolling_dec(double *v) |
---|
[671] | 26 | { |
---|
[1229] | 27 | *v -= 0.7853; // 0.7853981 45 degrees = pi/4 like in f1 |
---|
[193] | 28 | } |
---|
[671] | 29 | |
---|
[774] | 30 | void rolling_inc(double *v) |
---|
[671] | 31 | { |
---|
[196] | 32 | *v += 0.7853; // 0.7853981 45 degrees |
---|
[193] | 33 | } |
---|
| 34 | |
---|
| 35 | |
---|
[1227] | 36 | f4_Cell::f4_Cell(int nnr, f4_Cell *ndad, int nangle, GeneProps newP) |
---|
[193] | 37 | { |
---|
[1227] | 38 | nr = nnr; |
---|
[1259] | 39 | type = f4_Cell_type::CELL_UNDIFF; |
---|
[196] | 40 | dadlink = ndad; |
---|
| 41 | org = NULL; |
---|
| 42 | genot = NULL; |
---|
[1239] | 43 | gcur = old_gcur = NULL; |
---|
[760] | 44 | repeat.clear(); |
---|
[196] | 45 | //genoRange.clear(); -- implicit |
---|
[193] | 46 | |
---|
[196] | 47 | anglepos = nangle; |
---|
| 48 | commacount = 0; |
---|
[1249] | 49 | stickchildcount = 0; |
---|
[196] | 50 | P = newP; |
---|
| 51 | rolling = 0; |
---|
| 52 | xrot = 0; |
---|
| 53 | zrot = 0; |
---|
| 54 | //OM = Orient_1; |
---|
| 55 | inertia = 0.8; |
---|
| 56 | force = 0.04; |
---|
| 57 | sigmo = 2; |
---|
[1227] | 58 | conns_count = 0; |
---|
[193] | 59 | |
---|
[196] | 60 | // adjust firstend and OM if there is a stick dad |
---|
| 61 | if (ndad != NULL) |
---|
| 62 | { |
---|
| 63 | // make sure it is a stick (and not a stick f4_Cell!) |
---|
[1259] | 64 | if (ndad->type == f4_Cell_type::CELL_STICK) |
---|
[196] | 65 | { |
---|
| 66 | //firstend = ndad->lastend; |
---|
| 67 | //OM = ndad->OM; |
---|
[1249] | 68 | ndad->stickchildcount++; |
---|
[196] | 69 | } |
---|
[1259] | 70 | if (ndad->type == f4_Cell_type::CELL_NEURON) |
---|
[196] | 71 | { |
---|
| 72 | inertia = ndad->inertia; |
---|
| 73 | force = ndad->force; |
---|
| 74 | sigmo = ndad->sigmo; |
---|
| 75 | } |
---|
| 76 | } |
---|
| 77 | // adjust lastend |
---|
| 78 | //lastend = firstend + ((Orient)OM * (Pt3D(1,0,0) * P.len)); |
---|
[1249] | 79 | P.muscle_bend_range = 1; |
---|
[193] | 80 | } |
---|
| 81 | |
---|
| 82 | |
---|
[1227] | 83 | f4_Cell::f4_Cell(f4_Cells *nO, int nnr, f4_Node *ngeno, f4_Node *ngcur, f4_Cell *ndad, int nangle, GeneProps newP) |
---|
[193] | 84 | { |
---|
[1227] | 85 | nr = nnr; |
---|
[1259] | 86 | type = f4_Cell_type::CELL_UNDIFF; |
---|
[196] | 87 | dadlink = ndad; |
---|
| 88 | org = nO; |
---|
| 89 | genot = ngeno; |
---|
[1239] | 90 | gcur = old_gcur = ngcur; |
---|
[760] | 91 | repeat.clear(); |
---|
[196] | 92 | //genoRange.clear(); -- implicit |
---|
| 93 | // preserve geno range of parent cell |
---|
| 94 | if (NULL != ndad) |
---|
| 95 | genoRange.add(ndad->genoRange); |
---|
[193] | 96 | |
---|
[196] | 97 | anglepos = nangle; |
---|
| 98 | commacount = 0; |
---|
[1249] | 99 | stickchildcount = 0; |
---|
[196] | 100 | P = newP; |
---|
| 101 | rolling = 0; |
---|
| 102 | xrot = 0; |
---|
| 103 | zrot = 0; |
---|
| 104 | //OM = Orient_1; |
---|
| 105 | inertia = 0.8; |
---|
| 106 | force = 0.04; |
---|
| 107 | sigmo = 2; |
---|
[1227] | 108 | conns_count = 0; |
---|
[193] | 109 | |
---|
[196] | 110 | // adjust firstend and OM if there is a stick dad |
---|
| 111 | if (ndad != NULL) |
---|
| 112 | { |
---|
| 113 | // make sure it is a stick (and not a stick f4_Cell!) |
---|
[1259] | 114 | if (ndad->type == f4_Cell_type::CELL_STICK) |
---|
[671] | 115 | { |
---|
[196] | 116 | //firstend = ndad->lastend; |
---|
| 117 | //OM = ndad->OM; |
---|
[1249] | 118 | ndad->stickchildcount++; |
---|
[196] | 119 | } |
---|
[1259] | 120 | if (ndad->type == f4_Cell_type::CELL_NEURON) |
---|
[196] | 121 | { |
---|
| 122 | inertia = ndad->inertia; |
---|
| 123 | force = ndad->force; |
---|
| 124 | sigmo = ndad->sigmo; |
---|
| 125 | } |
---|
| 126 | } |
---|
| 127 | // adjust lastend |
---|
| 128 | //lastend = firstend + ((Orient)OM * (Pt3D(1,0,0) * P.len)); |
---|
[1249] | 129 | P.muscle_bend_range = 1; |
---|
[193] | 130 | } |
---|
| 131 | |
---|
| 132 | |
---|
| 133 | f4_Cell::~f4_Cell() |
---|
| 134 | { |
---|
[1227] | 135 | // remove connections |
---|
| 136 | if (conns_count) |
---|
[196] | 137 | { |
---|
| 138 | int i; |
---|
[1227] | 139 | for (i = conns_count - 1; i >= 0; i--) |
---|
| 140 | delete conns[i]; |
---|
| 141 | conns_count = 0; |
---|
[196] | 142 | } |
---|
[193] | 143 | } |
---|
| 144 | |
---|
[1237] | 145 | void f4_Cell::oneStep() |
---|
[193] | 146 | { |
---|
[1227] | 147 | while (gcur != NULL) |
---|
[196] | 148 | { |
---|
| 149 | //DB( printf(" %d (%d) executing '%c' %d\n", name, type, gcur->name, gcur->pos); ) |
---|
| 150 | // currently this is the last one processed |
---|
| 151 | // the current genotype code is processed |
---|
[760] | 152 | //genoRange.add(gcur->pos,gcur->pos+gcur->name.length()-1); |
---|
[1227] | 153 | |
---|
| 154 | // To detect what genes are valid neuroclass names, but do NOT have is_neuroclass==true |
---|
[1229] | 155 | // (just as a curiosity to ensure we properly distinguish between, for example, the "G" neuron and the "G" modifier): |
---|
[1227] | 156 | //char *TMP = (char*)gcur->name.c_str(); |
---|
[1229] | 157 | //if (gcur->is_neuroclass==false && GenoOperators::parseNeuroClass(TMP, ModelEnum::SHAPETYPE_BALL_AND_STICK)) |
---|
[1227] | 158 | // printf("Could be a valid neuroclass, but is_neuroclass==false: %s\n", gcur->name.c_str()); |
---|
| 159 | |
---|
[1229] | 160 | if (gcur->neuclass == NULL) //not a neuron |
---|
[196] | 161 | { |
---|
[1229] | 162 | if (gcur->name.length() > 1) |
---|
| 163 | logPrintf("f4_Cell", "oneStep", LOG_WARN, "Multiple-character code that is not a neuron class name: '%s'", gcur->name.c_str()); //let's see an example of such a code... |
---|
| 164 | |
---|
[760] | 165 | genoRange.add(gcur->pos, gcur->pos); |
---|
| 166 | char name = gcur->name[0]; |
---|
| 167 | switch (name) |
---|
[671] | 168 | { |
---|
[760] | 169 | case '<': |
---|
| 170 | { |
---|
| 171 | // cell division! |
---|
| 172 | //DB( printf(" div! %d\n", name); ) |
---|
[193] | 173 | |
---|
[760] | 174 | // error: sticks cannot divide |
---|
[1259] | 175 | if (type == f4_Cell_type::CELL_STICK) |
---|
[671] | 176 | { |
---|
[760] | 177 | // cannot fix |
---|
| 178 | org->setError(gcur->pos); |
---|
[1237] | 179 | return; // error code set -> stop further cells development |
---|
[196] | 180 | } |
---|
[193] | 181 | |
---|
[760] | 182 | // undiff divides |
---|
[1259] | 183 | if (type == f4_Cell_type::CELL_UNDIFF) |
---|
[760] | 184 | { |
---|
| 185 | // commacount is set only when daughter turns into X |
---|
| 186 | // daughter cell |
---|
| 187 | // adjust new len |
---|
| 188 | GeneProps newP = P; |
---|
| 189 | newP.propagateAlong(false); |
---|
[1227] | 190 | f4_Cell *tmp = new f4_Cell(org, org->cell_count, genot, gcur->child2, this, commacount, newP); |
---|
[760] | 191 | tmp->repeat = repeat; |
---|
| 192 | repeat.clear(); |
---|
| 193 | org->addCell(tmp); |
---|
| 194 | } |
---|
[1227] | 195 | // a neuron divides: create a new, duplicate connections |
---|
[1259] | 196 | if (type == f4_Cell_type::CELL_NEURON) |
---|
[1227] | 197 | { |
---|
[760] | 198 | // daughter cell |
---|
[1227] | 199 | f4_Cell *tmp = new f4_Cell(org, org->cell_count, genot, gcur->child2, |
---|
[760] | 200 | // has the same dadlink |
---|
| 201 | this->dadlink, commacount, P); |
---|
| 202 | tmp->repeat = repeat; |
---|
| 203 | repeat.clear(); |
---|
| 204 | // it is a neuron from start |
---|
[1259] | 205 | tmp->type = f4_Cell_type::CELL_NEURON; |
---|
[760] | 206 | // it has the same type as the parent neuron |
---|
| 207 | tmp->neuclass = neuclass; |
---|
[1227] | 208 | // duplicate connections |
---|
| 209 | f4_CellConn *conn; |
---|
| 210 | for (int i = 0; i < conns_count; i++) |
---|
[196] | 211 | { |
---|
[1227] | 212 | conn = conns[i]; |
---|
| 213 | tmp->addConnection(conn->from, conn->weight); |
---|
[196] | 214 | } |
---|
[760] | 215 | org->addCell(tmp); |
---|
| 216 | } |
---|
| 217 | // adjustments for this cell |
---|
| 218 | gcur = gcur->child; |
---|
[1237] | 219 | return; // error code not set -> halt this development and yield to other cells to develop |
---|
[760] | 220 | } |
---|
| 221 | case '>': |
---|
| 222 | { |
---|
| 223 | // finish |
---|
[1227] | 224 | // see if there is a repeat count |
---|
[760] | 225 | if (repeat.top > 0) |
---|
| 226 | { // there is a repeat counter |
---|
| 227 | if (!repeat.first()->isNull()) |
---|
| 228 | { // repeat counter is not null |
---|
| 229 | repeat.first()->dec(); |
---|
| 230 | if (repeat.first()->count > 0) |
---|
| 231 | { |
---|
| 232 | // return to repeat |
---|
| 233 | gcur = repeat.first()->node->child; |
---|
| 234 | } |
---|
| 235 | else |
---|
| 236 | { |
---|
| 237 | // continue |
---|
| 238 | gcur = repeat.first()->node->child2; |
---|
| 239 | repeat.pop(); |
---|
| 240 | } |
---|
| 241 | break; |
---|
| 242 | } |
---|
[671] | 243 | else |
---|
| 244 | { |
---|
[196] | 245 | repeat.pop(); |
---|
[1227] | 246 | // MacKo 2023-04: originally, there was no "break" nor "return" here (hence [[fallthrough]]; needed below for modern compilers) - not sure if this was intentional or overlooking. |
---|
| 247 | // This case can be tested with "#0" in the genotype. Anyway, there seems to be no difference in outcomes with and without "break". |
---|
| 248 | // However, falling through [[fallthrough]] below for count==0 causes performing repeat.push(repeat_ptr(gcur, 0)) while the very reason |
---|
| 249 | // we are here is that repeat count==0 (one of the conditions for isNull()), so I opted to add "break", but marked this tentative decision using #define. |
---|
| 250 | // The ultimate informed decision would require understanding all the logic and testing all the edge cases. |
---|
| 251 | #ifdef BREAK_WHEN_REP_COUNTER_NULL |
---|
| 252 | break; |
---|
| 253 | #endif |
---|
[196] | 254 | } |
---|
| 255 | } |
---|
[671] | 256 | else |
---|
| 257 | { |
---|
[760] | 258 | // error: still undiff |
---|
[1259] | 259 | if (type == f4_Cell_type::CELL_UNDIFF) |
---|
[760] | 260 | { |
---|
| 261 | // fix it: insert an 'X' |
---|
[1227] | 262 | f4_Node *insertnode = new f4_Node("X", NULL, gcur->pos); |
---|
[760] | 263 | if (org->setRepairInsert(gcur->pos, gcur, insertnode)) // not in repair mode, release |
---|
| 264 | delete insertnode; |
---|
[1237] | 265 | return; // error code set -> stop further cells development |
---|
[760] | 266 | } |
---|
| 267 | repeat.clear(); |
---|
| 268 | // eat up rest |
---|
[1227] | 269 | int remaining_nodes = gcur->count() - 1; |
---|
| 270 | if (remaining_nodes > 0) |
---|
| 271 | logPrintf("f4_Cell", "oneStep", LOG_WARN, "Ignoring junk genetic code: %d node(s) at position %d", remaining_nodes, gcur->child->pos); //let's see an example of such a genotype... |
---|
[760] | 272 | gcur = NULL; |
---|
[1237] | 273 | return; // done development |
---|
[196] | 274 | } |
---|
| 275 | } |
---|
[1227] | 276 | #ifndef BREAK_WHEN_REP_COUNTER_NULL |
---|
[853] | 277 | [[fallthrough]]; |
---|
[1227] | 278 | #endif |
---|
[760] | 279 | case '#': |
---|
[671] | 280 | { |
---|
[760] | 281 | // repetition marker |
---|
| 282 | if (repeat.top >= repeat_stack::stackSize) |
---|
[196] | 283 | { |
---|
[760] | 284 | // repeat pointer stack is full, cannot remember this one. |
---|
| 285 | // fix: delete it |
---|
| 286 | org->setRepairRemove(gcur->pos, gcur); |
---|
[1237] | 287 | return; // error code set -> stop further cells development |
---|
[196] | 288 | } |
---|
[1227] | 289 | repeat.push(repeat_ptr(gcur, gcur->reps)); |
---|
[760] | 290 | gcur = gcur->child; |
---|
| 291 | break; |
---|
[196] | 292 | } |
---|
[760] | 293 | case ',': |
---|
[196] | 294 | { |
---|
[760] | 295 | commacount++; |
---|
| 296 | gcur = gcur->child; |
---|
| 297 | break; |
---|
[196] | 298 | } |
---|
[1234] | 299 | case 'r': |
---|
| 300 | case 'R': |
---|
[671] | 301 | { |
---|
[760] | 302 | // error: if neuron |
---|
[1259] | 303 | if (type == f4_Cell_type::CELL_NEURON) |
---|
[760] | 304 | { |
---|
| 305 | // fix: delete it |
---|
| 306 | org->setRepairRemove(gcur->pos, gcur); |
---|
[1237] | 307 | return; // error code set -> stop further cells development |
---|
[760] | 308 | } |
---|
| 309 | switch (name) |
---|
| 310 | { |
---|
| 311 | case 'r': rolling_dec(&rolling); break; |
---|
| 312 | case 'R': rolling_inc(&rolling); break; |
---|
| 313 | } |
---|
| 314 | gcur = gcur->child; |
---|
| 315 | break; |
---|
[196] | 316 | } |
---|
[760] | 317 | case 'l': case 'L': |
---|
| 318 | case 'c': case 'C': |
---|
| 319 | case 'q': case 'Q': |
---|
| 320 | case 'a': case 'A': |
---|
| 321 | case 'i': case 'I': |
---|
| 322 | case 's': case 'S': |
---|
| 323 | case 'm': case 'M': |
---|
| 324 | case 'f': case 'F': |
---|
| 325 | case 'w': case 'W': |
---|
| 326 | case 'e': case 'E': |
---|
| 327 | case 'd': case 'D': |
---|
| 328 | case 'g': case 'G': |
---|
| 329 | case 'b': case 'B': |
---|
| 330 | case 'h': case 'H': |
---|
[671] | 331 | { |
---|
[760] | 332 | // error: if neuron |
---|
[1259] | 333 | if (type == f4_Cell_type::CELL_NEURON) //some neurons have the same single-letter names as modifiers (for example G,S,D), but they are supposed to have is_neuroclass==true so they should indeed not be handled here |
---|
[1234] | 334 | {//however, what we see here is actually modifiers such as IdqEbWL (so not valid neuroclasses) that occurred within an already differentiated cell of type==CELL_NEURON. |
---|
[1227] | 335 | //printf("Handled as a modifier, but type==CELL_NEURON: '%c'\n", name); |
---|
[760] | 336 | // fix: delete it |
---|
| 337 | org->setRepairRemove(gcur->pos, gcur); |
---|
[1237] | 338 | return; // error code set -> stop further cells development |
---|
[760] | 339 | } |
---|
| 340 | P.executeModifier(name); |
---|
| 341 | gcur = gcur->child; |
---|
| 342 | break; |
---|
[196] | 343 | } |
---|
[760] | 344 | case 'X': |
---|
[671] | 345 | { |
---|
[760] | 346 | // turn undiff. cell into a stick |
---|
| 347 | // error: already differentiated |
---|
[1259] | 348 | if (type != f4_Cell_type::CELL_UNDIFF) |
---|
[760] | 349 | { |
---|
| 350 | // fix: delete this node |
---|
| 351 | org->setRepairRemove(gcur->pos, gcur); |
---|
[1237] | 352 | return; // error code set -> stop further cells development |
---|
[760] | 353 | } |
---|
[1259] | 354 | type = f4_Cell_type::CELL_STICK; |
---|
[760] | 355 | // fix dad commacount and own anglepos |
---|
[1237] | 356 | if (dadlink != NULL) |
---|
[760] | 357 | { |
---|
| 358 | dadlink->commacount++; |
---|
| 359 | anglepos = dadlink->commacount; |
---|
| 360 | } |
---|
[1227] | 361 | // change of type halts developments, see comment at 'neuclasshandler' below |
---|
[760] | 362 | gcur = gcur->child; |
---|
[1237] | 363 | return; // error code not set -> halt this development and yield to other cells to develop |
---|
[196] | 364 | } |
---|
[1227] | 365 | case '[': |
---|
[671] | 366 | { |
---|
[1227] | 367 | // connection to neuron |
---|
| 368 | // error: not a neuron |
---|
[1259] | 369 | if (type != f4_Cell_type::CELL_NEURON) |
---|
[760] | 370 | { |
---|
| 371 | // fix: delete it |
---|
| 372 | org->setRepairRemove(gcur->pos, gcur); |
---|
[1237] | 373 | return; // error code set -> stop further cells development |
---|
[760] | 374 | } |
---|
[1227] | 375 | // input [%d:%g] |
---|
| 376 | int relfrom = gcur->conn_from; |
---|
| 377 | double weight = gcur->conn_weight; |
---|
| 378 | f4_Cell *neu_from = NULL; |
---|
[193] | 379 | |
---|
[1227] | 380 | // input from other neuron |
---|
| 381 | // find neuron at relative i |
---|
| 382 | // find own index |
---|
| 383 | int this_index = 0, neu_counter = 0; |
---|
| 384 | for (int i = 0; i < org->cell_count; i++) |
---|
[760] | 385 | { |
---|
[1259] | 386 | if (org->C[i]->type == f4_Cell_type::CELL_NEURON) neu_counter++; |
---|
[1227] | 387 | if (org->C[i] == this) { this_index = neu_counter - 1; break; } |
---|
[760] | 388 | } |
---|
[1227] | 389 | // find index of incoming |
---|
| 390 | int from_index = this_index + relfrom; |
---|
[193] | 391 | |
---|
[1227] | 392 | if (from_index < 0) goto wait_conn; |
---|
| 393 | if (from_index >= org->cell_count) goto wait_conn; |
---|
| 394 | |
---|
| 395 | // find that neuron |
---|
| 396 | neu_counter = 0; |
---|
| 397 | int from; |
---|
| 398 | for (from = 0; from < org->cell_count; from++) |
---|
[760] | 399 | { |
---|
[1259] | 400 | if (org->C[from]->type == f4_Cell_type::CELL_NEURON) neu_counter++; |
---|
[1227] | 401 | if (from_index == (neu_counter - 1)) break; |
---|
[760] | 402 | } |
---|
[1227] | 403 | if (from >= org->cell_count) goto wait_conn; |
---|
| 404 | neu_from = org->C[from]; |
---|
| 405 | |
---|
| 406 | // add connection |
---|
| 407 | // error: could not add connection (too many?) |
---|
| 408 | if (addConnection(neu_from, weight)) |
---|
[760] | 409 | { |
---|
| 410 | // cannot fix |
---|
| 411 | org->setError(gcur->pos); |
---|
[1237] | 412 | return; // error code set -> stop further cells development |
---|
[760] | 413 | } |
---|
| 414 | gcur = gcur->child; |
---|
| 415 | break; |
---|
[196] | 416 | } |
---|
[1227] | 417 | wait_conn: |
---|
[671] | 418 | { |
---|
[760] | 419 | // wait for other neurons to develop |
---|
[1227] | 420 | |
---|
[1239] | 421 | if (!org->development_stagnation) // other cells are developing, the situation is changing, we may continue waiting... |
---|
[1237] | 422 | return; // error code not set -> halt this development and yield to other cells to develop |
---|
[1227] | 423 | |
---|
[1239] | 424 | //no cells are developing and we are waiting, but there is no chance other cells will create neurons we are waiting for, so we are forced to move on. |
---|
| 425 | |
---|
[1227] | 426 | #ifdef TREAT_BAD_CONNECTIONS_AS_INVALID_GENO // MacKo 2023-04: there were so many invalid connections accumulating in the genotype (and stopping processing of the chain of gcur->child) that it looks like treating them as errors is better... in 2000's, Framsticks neurons were flexible when it comes to inputs and outputs (for example, when asked, muscles would provide an output too, and neurons that ignored inputs would still accept them when connected) so f4 could create connections pretty randomly, but after 2000's we attempt to respect neurons' getPreferredInputs() and getPreferredOutput() so the network of connections has more constraints. |
---|
| 427 | if (gcur->parent->name == "#") |
---|
[760] | 428 | { |
---|
[1227] | 429 | // MacKo 2023-04: Unfortunately the logic of multiplicating connections is not ideal... |
---|
| 430 | //TREAT_BAD_CONNECTIONS_AS_INVALID_GENO without this "#" exception would break /*4*/<X>N:N#5<[1:1]> |
---|
| 431 | // because every neuron wants to get an input from the neuron that will be created next |
---|
| 432 | // and all is fine until the last created neuron, which wants to get an input from another one which will not be created |
---|
| 433 | // (3 gets from 4, 4 gets from 5, 5 wants to get from 6 (relative connection offset for each of them is 1), |
---|
| 434 | // but 6 will not get created and if we want to TREAT_BAD_CONNECTIONS_AS_INVALID_GENO, we produce an error... |
---|
| 435 | // We would like to have this multiplication working, but OTAH we don't want to accept bad connections because then they tend to multiply as junk genes and bloat the genotype also causing more and more neutral mutations... |
---|
| 436 | //so this condition and checking for "#" is a simple way to be kind to some, but not all, bad connections, and not raise errors. Perhaps too kind and we open the door for too many cases with invalid connections. |
---|
| 437 | //Maybe it would be better to perform this check before addConnection(), seeing that for example we process the last iteration of the repetition counter? But how would we know that the (needed here) input neuron will not be developed later by other dividing cells... |
---|
[1239] | 438 | |
---|
[1227] | 439 | gcur = gcur->child; |
---|
[1239] | 440 | org->development_stagnation = false; //do not force other potentially waiting cells to hurry and act in this development cycle (which would be the last cycle if development_stagnation stayed true); we just acted and because of this the situation may change, so they can wait until another development_stagnation is detected |
---|
[1237] | 441 | return; // error code not set -> halt this development and yield to other cells to develop |
---|
[760] | 442 | } |
---|
[1227] | 443 | else |
---|
| 444 | { |
---|
| 445 | //org->setError(gcur->pos); //in case setRepairRemove() would not always produce reasonable results |
---|
| 446 | org->setRepairRemove(gcur->pos, gcur); //produces unexpected results? or NOT? TODO verify, some genotypes earlier produced strange outcomes of this repair (produced a valid genotype, but some neurons were multiplied/copied after repair - maybe because when a branch of '<' (or something else) is missing, the other branch is copied?) |
---|
[1237] | 447 | return; // error code set -> stop further cells development |
---|
[1227] | 448 | } |
---|
| 449 | #else |
---|
| 450 | // no more actives, cannot add connection, ignore, but treat not as an error - before 2023-04 |
---|
[760] | 451 | gcur = gcur->child; |
---|
[1227] | 452 | #endif |
---|
[196] | 453 | } |
---|
[853] | 454 | break; |
---|
[760] | 455 | case ':': |
---|
[671] | 456 | { |
---|
[760] | 457 | // neuron parameter |
---|
| 458 | // error: not a neuron |
---|
[1259] | 459 | if (type != f4_Cell_type::CELL_NEURON) |
---|
[671] | 460 | { |
---|
[760] | 461 | // fix: delete it |
---|
| 462 | org->setRepairRemove(gcur->pos, gcur); |
---|
[1237] | 463 | return; // error code set -> stop further cells development |
---|
[196] | 464 | } |
---|
[1227] | 465 | switch (gcur->prop_symbol) |
---|
[671] | 466 | { |
---|
[760] | 467 | case '!': |
---|
[1227] | 468 | if (gcur->prop_increase) |
---|
[760] | 469 | force += (1.0 - force) * 0.2; |
---|
| 470 | else |
---|
| 471 | force -= force * 0.2; |
---|
| 472 | break; |
---|
| 473 | case '=': |
---|
[1227] | 474 | if (gcur->prop_increase) |
---|
[760] | 475 | inertia += (1.0 - inertia) * 0.2; |
---|
| 476 | else |
---|
| 477 | inertia -= inertia * 0.2; |
---|
| 478 | break; |
---|
| 479 | case '/': |
---|
[1227] | 480 | if (gcur->prop_increase) |
---|
[760] | 481 | sigmo *= 1.4; |
---|
| 482 | else |
---|
| 483 | sigmo /= 1.4; |
---|
| 484 | break; |
---|
| 485 | default: |
---|
| 486 | org->setRepairRemove(gcur->pos, gcur); |
---|
[1237] | 487 | return; // error code set -> stop further cells development |
---|
[196] | 488 | } |
---|
[760] | 489 | gcur = gcur->child; |
---|
| 490 | break; |
---|
[196] | 491 | } |
---|
[760] | 492 | case ' ': |
---|
[1237] | 493 | case '\t': |
---|
| 494 | case '\n': |
---|
| 495 | case '\r': |
---|
[671] | 496 | { |
---|
[1237] | 497 | // whitespace has no effect, should not occur |
---|
[760] | 498 | // fix: delete it |
---|
| 499 | org->setRepairRemove(gcur->pos, gcur); |
---|
[1237] | 500 | return; // error code set -> stop further cells development |
---|
[196] | 501 | } |
---|
[760] | 502 | default: |
---|
[671] | 503 | { |
---|
[1229] | 504 | // error: unknown code |
---|
| 505 | string buf = "Unknown code '" + gcur->name + "'"; |
---|
| 506 | logMessage("f4_Cell", "oneStep", LOG_ERROR, buf.c_str()); |
---|
| 507 | org->setRepairRemove(gcur->pos, gcur); |
---|
[1237] | 508 | return; // error code set -> stop further cells development |
---|
[196] | 509 | } |
---|
[760] | 510 | } |
---|
| 511 | } |
---|
| 512 | else |
---|
| 513 | { |
---|
[1227] | 514 | genoRange.add(gcur->pos, gcur->pos + int(gcur->name.length()) + 2 - 1); // +2 for N: |
---|
[1259] | 515 | if (type != f4_Cell_type::CELL_UNDIFF) |
---|
[671] | 516 | { |
---|
[760] | 517 | // fix: delete this node |
---|
[196] | 518 | org->setRepairRemove(gcur->pos, gcur); |
---|
[1237] | 519 | return; // error code set -> stop further cells development |
---|
[196] | 520 | } |
---|
[760] | 521 | // error: if no previous |
---|
[1227] | 522 | if (dadlink == NULL) |
---|
[671] | 523 | { |
---|
[760] | 524 | // fix: delete it |
---|
[196] | 525 | org->setRepairRemove(gcur->pos, gcur); |
---|
[1237] | 526 | return; // error code set -> stop further cells development |
---|
[196] | 527 | } |
---|
[1229] | 528 | neuclass = gcur->neuclass; |
---|
[1259] | 529 | type = f4_Cell_type::CELL_NEURON; |
---|
[1227] | 530 | // change of type also halts development, to give other |
---|
| 531 | // cells a chance for adjustment. Namely, it is important |
---|
| 532 | // to wait for other cells to turn to neurons before adding connections |
---|
[196] | 533 | gcur = gcur->child; |
---|
[1237] | 534 | return; // error code not set -> halt this development and yield to other cells to develop |
---|
[196] | 535 | } |
---|
| 536 | } |
---|
[193] | 537 | } |
---|
| 538 | |
---|
| 539 | |
---|
[1227] | 540 | int f4_Cell::addConnection(f4_Cell *nfrom, double nweight) |
---|
[193] | 541 | { |
---|
[1227] | 542 | if (nfrom->neuclass->getPreferredOutput() == 0) return -1; // if incoming neuron does not produce output, return error |
---|
| 543 | if (neuclass->getPreferredInputs() != -1 && conns_count >= neuclass->getPreferredInputs()) return -1; //cannot add more inputs to this neuron |
---|
| 544 | if (conns_count >= F4_MAX_CELL_INPUTS - 1) return -1; // over hardcoded limit |
---|
| 545 | conns[conns_count] = new f4_CellConn(nfrom, nweight); |
---|
| 546 | conns_count++; |
---|
[196] | 547 | return 0; |
---|
[193] | 548 | } |
---|
| 549 | |
---|
| 550 | |
---|
[1249] | 551 | void f4_Cell::adjustRecur() |
---|
[193] | 552 | { |
---|
[1249] | 553 | if (recurProcessedFlag) |
---|
[196] | 554 | // already processed |
---|
| 555 | return; |
---|
[193] | 556 | |
---|
[196] | 557 | // mark it processed |
---|
[1249] | 558 | recurProcessedFlag = true; |
---|
[193] | 559 | |
---|
[196] | 560 | // make sure its parent is processed first |
---|
[1227] | 561 | if (dadlink != NULL) |
---|
[1249] | 562 | dadlink->adjustRecur(); |
---|
[193] | 563 | |
---|
[196] | 564 | // count children |
---|
[1249] | 565 | stickchildcount = 0; |
---|
| 566 | for (int i = 0; i < org->cell_count; i++) |
---|
[196] | 567 | { |
---|
| 568 | if (org->C[i]->dadlink == this) |
---|
[1259] | 569 | if (org->C[i]->type == f4_Cell_type::CELL_STICK) |
---|
[1249] | 570 | stickchildcount++; |
---|
[196] | 571 | } |
---|
[193] | 572 | |
---|
[1249] | 573 | if (dadlink == NULL) |
---|
| 574 | P.muscle_bend_range = 1.0; |
---|
| 575 | else |
---|
| 576 | P.muscle_bend_range = 1.0 / std::max(1, dadlink->stickchildcount); //bend range in f1: 0, 1 (line XX[|]) -> 100%, 2 (Y-shape X(X[|],X)) -> 50%, 3 (cross X(X[|],X,X)) -> 33% |
---|
[1259] | 577 | //MacKo 2023-05: but shouldn't this formula ^^ also take commacount into consideration, like in f1? Note: in f0, the range of a newly added muscle has the default value (1.0) until modified by mutation, and the range can be set to any value completely unrelated to the junction where the muscle is located. In f1, the range of a newly added muscle depends on the number of branches (commas) in the junction including empty branches (see also conv_f1_f0_branch_muscle_range), but can be overridden by the genotype due to mutation and any value can be directly set just as in f0 - e.g. X[|,r:0.8] - so the value based on the number of commas only serves as a default. Compared to f0 and f1, f4 enforces a specific range here and this cannot be changed in any way, because as of now (2023-05) there is no support to mutate neural properties except for the N neuron. |
---|
[1249] | 578 | |
---|
[1259] | 579 | if (type == f4_Cell_type::CELL_STICK) |
---|
[196] | 580 | { |
---|
[1227] | 581 | if (dadlink == NULL) |
---|
[196] | 582 | { |
---|
| 583 | //firstend = Pt3D_0; |
---|
| 584 | // rotation due to rolling |
---|
| 585 | xrot = rolling; |
---|
| 586 | } |
---|
[671] | 587 | else |
---|
| 588 | { |
---|
[196] | 589 | //firstend = dadlink->lastend; |
---|
[760] | 590 | GeneProps Pdad = dadlink->P; |
---|
| 591 | GeneProps Padj = Pdad; |
---|
| 592 | Padj.propagateAlong(false); |
---|
[193] | 593 | |
---|
[1249] | 594 | //f4_OrientMat rot = Orient_1; |
---|
[193] | 595 | |
---|
[196] | 596 | // rotation due to rolling |
---|
| 597 | xrot = rolling + |
---|
| 598 | // rotation due to twist |
---|
| 599 | Pdad.twist; |
---|
| 600 | if (dadlink->commacount <= 1) |
---|
| 601 | { |
---|
| 602 | // rotation due to curvedness |
---|
[671] | 603 | zrot = Padj.curvedness; |
---|
[196] | 604 | } |
---|
[671] | 605 | else |
---|
| 606 | { |
---|
| 607 | zrot = Padj.curvedness + (anglepos * 1.0 / (dadlink->commacount + 1) - 0.5) * M_PI * 2.0; |
---|
[196] | 608 | } |
---|
[193] | 609 | |
---|
[196] | 610 | //rot = rot * f4_OrientMat(yOz, xrot); |
---|
| 611 | //rot = rot * f4_OrientMat(xOy, zrot); |
---|
| 612 | // rotation relative to parent stick |
---|
| 613 | //OM = rot * OM; |
---|
[193] | 614 | |
---|
[196] | 615 | // rotation in world coordinates |
---|
| 616 | //OM = ((f4_OrientMat)dadlink->OM) * OM; |
---|
| 617 | } |
---|
| 618 | //Pt3D lastoffset = (Orient)OM * (Pt3D(1,0,0)*P.len); |
---|
| 619 | //lastend = firstend + lastoffset; |
---|
| 620 | } |
---|
[193] | 621 | } |
---|
| 622 | |
---|
| 623 | |
---|
| 624 | |
---|
[1227] | 625 | f4_CellConn::f4_CellConn(f4_Cell *nfrom, double nweight) |
---|
[193] | 626 | { |
---|
[196] | 627 | from = nfrom; |
---|
[1227] | 628 | weight = nweight; |
---|
[193] | 629 | } |
---|
| 630 | |
---|
| 631 | |
---|
| 632 | |
---|
[1231] | 633 | f4_Cells::f4_Cells(f4_Node *genome, bool nrepair) |
---|
[193] | 634 | { |
---|
[196] | 635 | repair = nrepair; |
---|
[1227] | 636 | errorcode = GENOPER_OK; |
---|
[196] | 637 | errorpos = -1; |
---|
| 638 | repair_remove = NULL; |
---|
| 639 | repair_parent = NULL; |
---|
| 640 | repair_insert = NULL; |
---|
| 641 | tmpcel = NULL; |
---|
[1231] | 642 | |
---|
| 643 | // create ancestor cell |
---|
[760] | 644 | C[0] = new f4_Cell(this, 0, genome, genome, NULL, 0, GeneProps::standard_values); |
---|
[1227] | 645 | cell_count = 1; |
---|
[1239] | 646 | development_stagnation = false; |
---|
[193] | 647 | } |
---|
| 648 | |
---|
| 649 | |
---|
| 650 | |
---|
| 651 | f4_Cells::~f4_Cells() |
---|
| 652 | { |
---|
[196] | 653 | // release cells |
---|
[1227] | 654 | if (cell_count) |
---|
[196] | 655 | { |
---|
[1231] | 656 | for (int i = cell_count - 1; i >= 0; i--) |
---|
[196] | 657 | delete C[i]; |
---|
[1227] | 658 | cell_count = 0; |
---|
[196] | 659 | } |
---|
[193] | 660 | } |
---|
| 661 | |
---|
| 662 | |
---|
[1227] | 663 | bool f4_Cells::oneStep() |
---|
[193] | 664 | { |
---|
[1227] | 665 | int old_cell_count = cell_count; //cell_count may change in the loop as new cells may be appended because cells may be dividing |
---|
| 666 | for (int i = 0; i < old_cell_count; i++) |
---|
[1239] | 667 | C[i]->old_gcur = C[i]->gcur; |
---|
| 668 | |
---|
| 669 | for (int i = 0; i < old_cell_count; i++) |
---|
[671] | 670 | { |
---|
[1239] | 671 | C[i]->oneStep(); |
---|
[1237] | 672 | if (errorcode != GENOPER_OK) |
---|
[1239] | 673 | return false; // error -> end development |
---|
[1227] | 674 | } |
---|
[1239] | 675 | |
---|
| 676 | if (cell_count != old_cell_count) //the number of cells changed - something is going on! |
---|
| 677 | return true; //so continue development! |
---|
| 678 | |
---|
| 679 | for (int i = 0; i < old_cell_count; i++) |
---|
| 680 | if (C[i]->old_gcur != C[i]->gcur) // genotype execution pointer changed - something is going on! |
---|
| 681 | return true; //so continue development! |
---|
| 682 | |
---|
[1240] | 683 | //the same number of cells, no progress in development in any cell -> stagnation! |
---|
| 684 | |
---|
| 685 | if (development_stagnation) // stagnation was already detected in the previous step, so end development! |
---|
| 686 | { |
---|
| 687 | for (int i = 0; i < cell_count; i++) |
---|
| 688 | if (C[i]->gcur != NULL) // genotype execution pointer did not reach the end |
---|
| 689 | logPrintf("f4_Cells", "oneStep", LOG_WARN, "Finishing the development of cells due to stagnation, but cell %d did not reach the end of development", i); //let's see an example of such a genotype and investigate... |
---|
| 690 | return false; //end development |
---|
| 691 | } |
---|
[1239] | 692 | else |
---|
| 693 | { |
---|
| 694 | development_stagnation = true; //signal (force) f4_Cell's that wait for neural connection development to make a step, because all cells stagnated and waiting cells cannot hope for new neurons to be created |
---|
[1240] | 695 | return true; //one grace step. If there are some waiting cells, they must move on in the next step and set development_stagnation=false or set error. If development_stagnation is not set to false, we will finish development in the next step. This grace step may be unnecessary if there are no waiting cells, but we have no easy way to check this from here (although we could check if all cells' gcur==NULL... would this be always equivalent? Maybe some cells may stagnate with gcur!=NULL and they are not waiting for neural connections to develop and this does not mean an error? Added LOG_WARN above to detect such cases. Anyway, for gcur==NULL, f4_Cell.oneStep() exits immediately, so one grace step is not a big overhead.) |
---|
[1239] | 696 | } |
---|
[193] | 697 | } |
---|
| 698 | |
---|
| 699 | |
---|
| 700 | int f4_Cells::simulate() |
---|
| 701 | { |
---|
[1234] | 702 | const bool PRINT_CELLS_DEVELOPMENT = false; //print the state of cells |
---|
[1227] | 703 | errorcode = GENOPER_OK; |
---|
[1239] | 704 | development_stagnation = false; //will be detected by oneStep() |
---|
[193] | 705 | |
---|
[1234] | 706 | if (PRINT_CELLS_DEVELOPMENT) f4_Node::print_tree(C[0]->genot, 0); |
---|
| 707 | if (PRINT_CELLS_DEVELOPMENT) print_cells("Initialization"); |
---|
[193] | 708 | |
---|
[1227] | 709 | // execute oneStep() in a cycle |
---|
[1234] | 710 | while (oneStep()) if (PRINT_CELLS_DEVELOPMENT) print_cells("Development step"); |
---|
| 711 | if (PRINT_CELLS_DEVELOPMENT) print_cells("After last development step"); |
---|
[193] | 712 | |
---|
[1227] | 713 | if (errorcode != GENOPER_OK) return errorcode; |
---|
| 714 | |
---|
[196] | 715 | // fix neuron attachements |
---|
[1227] | 716 | for (int i = 0; i < cell_count; i++) |
---|
[671] | 717 | { |
---|
[1259] | 718 | if (C[i]->type == f4_Cell_type::CELL_NEURON) |
---|
[671] | 719 | { |
---|
[1259] | 720 | while (C[i]->dadlink->type == f4_Cell_type::CELL_NEURON) |
---|
[671] | 721 | { |
---|
[196] | 722 | C[i]->dadlink = C[i]->dadlink->dadlink; |
---|
| 723 | } |
---|
| 724 | } |
---|
[671] | 725 | } |
---|
[193] | 726 | |
---|
[196] | 727 | // there should be no undiff. cells |
---|
| 728 | // make undifferentiated cells sticks |
---|
[1227] | 729 | for (int i = 0; i < cell_count; i++) |
---|
[671] | 730 | { |
---|
[1259] | 731 | if (C[i]->type == f4_Cell_type::CELL_UNDIFF) |
---|
[671] | 732 | { |
---|
[1259] | 733 | C[i]->type = f4_Cell_type::CELL_STICK; |
---|
[1227] | 734 | //setError(); |
---|
[196] | 735 | } |
---|
[671] | 736 | } |
---|
[193] | 737 | |
---|
[196] | 738 | // recursive adjust |
---|
| 739 | // reset recursive traverse flags |
---|
[1227] | 740 | for (int i = 0; i < cell_count; i++) |
---|
[1249] | 741 | C[i]->recurProcessedFlag = false; |
---|
[196] | 742 | // process every cell |
---|
[1227] | 743 | for (int i = 0; i < cell_count; i++) |
---|
[1249] | 744 | C[i]->adjustRecur(); |
---|
[193] | 745 | |
---|
[196] | 746 | //DB( printf("Cell simulation done, %d cells. \n", nc); ) |
---|
[193] | 747 | |
---|
[1234] | 748 | if (PRINT_CELLS_DEVELOPMENT) print_cells("Final"); |
---|
[1249] | 749 | if (PRINT_CELLS_DEVELOPMENT) |
---|
| 750 | for (int i = 0; i < cell_count; i++) |
---|
| 751 | printf("%d,%d,dad=%d\tstick_children=%d\tcommas=%d\t|:range=%g\n", i, C[i]->nr, C[i]->dadlink ? C[i]->dadlink->nr : -1, C[i]->stickchildcount, C[i]->commacount, C[i]->P.muscle_bend_range); |
---|
[1227] | 752 | |
---|
| 753 | return errorcode; |
---|
[193] | 754 | } |
---|
| 755 | |
---|
| 756 | |
---|
[1227] | 757 | void f4_Cells::print_cells(const char* description) |
---|
| 758 | { |
---|
| 759 | printf("------ %-55s ------ errorcode=%d, errorpos=%d\n", description, getErrorCode(), getErrorPos()); |
---|
| 760 | for (int i = 0; i < cell_count; i++) |
---|
| 761 | { |
---|
| 762 | f4_Cell *c = C[i]; |
---|
| 763 | string type; |
---|
| 764 | switch (c->type) |
---|
| 765 | { |
---|
[1259] | 766 | case f4_Cell_type::CELL_UNDIFF: type = "undiff"; break; |
---|
| 767 | case f4_Cell_type::CELL_STICK: type = "STICK"; break; |
---|
| 768 | case f4_Cell_type::CELL_NEURON: type = string("NEURON:") + c->neuclass->name.c_str(); break; |
---|
| 769 | default: type = std::to_string(static_cast<int>(c->type)); |
---|
[1227] | 770 | } |
---|
[1239] | 771 | const char *status = c->gcur == c->old_gcur ? (c->gcur != NULL ? "no progress" : "") : (c->gcur != NULL ? "progress" : "finished"); //progress or no progress means the cell is yielding = not finished but decided to halt development and wait for other cells. New cells may be created in case of "no progress" status. |
---|
[1227] | 772 | printf("%2d(%-8s) nr=%d \t type=%-15s \t genot=%s \t gcurrent=%s", i, status, c->nr, type.c_str(), c->genot->name.c_str(), c->gcur ? c->gcur->name.c_str() : "null"); |
---|
| 773 | if (c->gcur && c->gcur->name == "[") |
---|
| 774 | printf("\tfrom=%d weight=%g", c->gcur->conn_from, c->gcur->conn_weight); |
---|
| 775 | printf("\n"); |
---|
| 776 | for (int l = 0; l < c->conns_count; l++) |
---|
| 777 | printf("\tconn:%d from=%d weight=%g\n", l, c->conns[l]->from->nr, c->conns[l]->weight); |
---|
| 778 | } |
---|
| 779 | printf("\n"); |
---|
| 780 | } |
---|
| 781 | |
---|
| 782 | |
---|
[774] | 783 | void f4_Cells::addCell(f4_Cell *newcell) |
---|
[193] | 784 | { |
---|
[1227] | 785 | if (cell_count >= F4_MAX_CELLS - 1) |
---|
[671] | 786 | { |
---|
[196] | 787 | delete newcell; |
---|
| 788 | return; |
---|
| 789 | } |
---|
[1227] | 790 | C[cell_count] = newcell; |
---|
| 791 | cell_count++; |
---|
[193] | 792 | } |
---|
| 793 | |
---|
| 794 | |
---|
| 795 | void f4_Cells::setError(int nerrpos) |
---|
| 796 | { |
---|
[1227] | 797 | errorcode = GENOPER_OPFAIL; |
---|
[196] | 798 | errorpos = nerrpos; |
---|
[193] | 799 | } |
---|
| 800 | |
---|
[1232] | 801 | void f4_Cells::setRepairRemove(int nerrpos, f4_Node *to_remove) |
---|
[193] | 802 | { |
---|
[1232] | 803 | errorcode = GENOPER_REPAIR; |
---|
| 804 | errorpos = nerrpos; |
---|
[671] | 805 | if (!repair) |
---|
| 806 | { |
---|
[196] | 807 | // not in repair mode, treat as repairable error |
---|
| 808 | } |
---|
[671] | 809 | else |
---|
| 810 | { |
---|
[1232] | 811 | repair_remove = to_remove; |
---|
[196] | 812 | } |
---|
[193] | 813 | } |
---|
| 814 | |
---|
[1232] | 815 | int f4_Cells::setRepairInsert(int nerrpos, f4_Node *parent, f4_Node *to_insert) |
---|
[193] | 816 | { |
---|
[1232] | 817 | errorcode = GENOPER_REPAIR; |
---|
| 818 | errorpos = nerrpos; |
---|
[671] | 819 | if (!repair) |
---|
| 820 | { |
---|
[196] | 821 | // not in repair mode, treat as repairable error |
---|
| 822 | return -1; |
---|
| 823 | } |
---|
[671] | 824 | else |
---|
| 825 | { |
---|
[196] | 826 | repair_parent = parent; |
---|
[1232] | 827 | repair_insert = to_insert; |
---|
[196] | 828 | return 0; |
---|
| 829 | } |
---|
[193] | 830 | } |
---|
| 831 | |
---|
[1227] | 832 | void f4_Cells::repairGeno(f4_Node *geno, int whichchild) |
---|
[193] | 833 | { |
---|
[196] | 834 | // assemble repaired geno, if the case |
---|
| 835 | if (!repair) return; |
---|
[1227] | 836 | if ((repair_remove == NULL) && (repair_insert == NULL)) return; |
---|
[196] | 837 | // traverse genotype tree, remove / insert node |
---|
[1227] | 838 | f4_Node *g2; |
---|
| 839 | if (whichchild == 1) |
---|
| 840 | g2 = geno->child; |
---|
| 841 | else |
---|
| 842 | g2 = geno->child2; |
---|
| 843 | if (g2 == NULL) |
---|
[196] | 844 | return; |
---|
[671] | 845 | if (g2 == repair_remove) |
---|
| 846 | { |
---|
[1227] | 847 | f4_Node *oldgeno; |
---|
[196] | 848 | geno->removeChild(g2); |
---|
[671] | 849 | if (g2->child) |
---|
| 850 | { |
---|
[196] | 851 | // add g2->child as child to geno |
---|
[1227] | 852 | if (whichchild == 1) |
---|
| 853 | geno->child = g2->child; |
---|
| 854 | else |
---|
| 855 | geno->child2 = g2->child; |
---|
[196] | 856 | g2->child->parent = geno; |
---|
| 857 | } |
---|
| 858 | oldgeno = g2; |
---|
| 859 | oldgeno->child = NULL; |
---|
| 860 | delete oldgeno; |
---|
[1227] | 861 | if (geno->child == NULL) return; |
---|
[196] | 862 | // check this new |
---|
| 863 | repairGeno(geno, whichchild); |
---|
| 864 | return; |
---|
| 865 | } |
---|
[671] | 866 | if (g2 == repair_parent) |
---|
| 867 | { |
---|
[196] | 868 | geno->removeChild(g2); |
---|
| 869 | geno->addChild(repair_insert); |
---|
| 870 | repair_insert->parent = geno; |
---|
| 871 | repair_insert->child = g2; |
---|
| 872 | repair_insert->child2 = NULL; |
---|
| 873 | g2->parent = repair_insert; |
---|
| 874 | } |
---|
| 875 | // recurse |
---|
| 876 | if (g2->child) repairGeno(g2, 1); |
---|
| 877 | if (g2->child2) repairGeno(g2, 2); |
---|
[193] | 878 | } |
---|
| 879 | |
---|
| 880 | |
---|
| 881 | void f4_Cells::toF1Geno(SString &out) |
---|
| 882 | { |
---|
[196] | 883 | if (tmpcel) delete tmpcel; |
---|
[760] | 884 | tmpcel = new f4_Cell(-1, NULL, 0, GeneProps::standard_values); |
---|
[196] | 885 | out = ""; |
---|
| 886 | toF1GenoRec(0, out); |
---|
| 887 | delete tmpcel; |
---|
[193] | 888 | } |
---|
| 889 | |
---|
| 890 | |
---|
| 891 | void f4_Cells::toF1GenoRec(int curc, SString &out) |
---|
| 892 | { |
---|
[1227] | 893 | if (curc >= cell_count) return; |
---|
[193] | 894 | |
---|
[1259] | 895 | if (C[curc]->type != f4_Cell_type::CELL_STICK) return; |
---|
[193] | 896 | |
---|
[1240] | 897 | f4_Cell *thisti = C[curc]; |
---|
[1227] | 898 | if (thisti->dadlink != NULL) |
---|
[196] | 899 | *tmpcel = *(thisti->dadlink); |
---|
[193] | 900 | |
---|
[1259] | 901 | // Adjust length, curvedness, etc. |
---|
[760] | 902 | tmpcel->P.propagateAlong(false); |
---|
[1259] | 903 | |
---|
| 904 | // The sequence of "while" loops below is a fast and simple heuristic (decrease as long as the value is too big, then increase as long as the value is too small). |
---|
| 905 | // However, since every different sequence of upper- and lower-case modifiers produces a different value of a given property, |
---|
| 906 | // all 2^N sequences should be tested to discover the best approximation of the target value of a given property using N modifiers. |
---|
| 907 | // This issue is TODO if anybody needed this function (and modifier sequences it produces) for any serious use. Also, add support for Qq. |
---|
| 908 | // See also GenoOperators::simplifiedModifiers() and geneprops_test.cpp. |
---|
[671] | 909 | while (tmpcel->P.length > thisti->P.length) |
---|
[196] | 910 | { |
---|
| 911 | tmpcel->P.executeModifier('l'); |
---|
| 912 | out += "l"; |
---|
| 913 | } |
---|
[671] | 914 | while (tmpcel->P.length < thisti->P.length) |
---|
[196] | 915 | { |
---|
| 916 | tmpcel->P.executeModifier('L'); |
---|
| 917 | out += "L"; |
---|
| 918 | } |
---|
[671] | 919 | while (tmpcel->P.curvedness > thisti->P.curvedness) |
---|
[196] | 920 | { |
---|
| 921 | tmpcel->P.executeModifier('c'); |
---|
| 922 | out += "c"; |
---|
| 923 | } |
---|
[671] | 924 | while (tmpcel->P.curvedness < thisti->P.curvedness) |
---|
[196] | 925 | { |
---|
| 926 | tmpcel->P.executeModifier('C'); |
---|
| 927 | out += "C"; |
---|
| 928 | } |
---|
[671] | 929 | while (thisti->rolling > 0.0f) |
---|
| 930 | { |
---|
[196] | 931 | rolling_dec(&(thisti->rolling)); |
---|
| 932 | out += "R"; |
---|
| 933 | } |
---|
[671] | 934 | while (thisti->rolling < 0.0f) |
---|
| 935 | { |
---|
[196] | 936 | rolling_inc(&(thisti->rolling)); |
---|
| 937 | out += "r"; |
---|
| 938 | } |
---|
[193] | 939 | |
---|
[196] | 940 | // output X for this stick |
---|
| 941 | out += "X"; |
---|
[193] | 942 | |
---|
[196] | 943 | // neurons attached to it |
---|
[1240] | 944 | for (int i = 0; i < cell_count; i++) |
---|
[671] | 945 | { |
---|
[1259] | 946 | if (C[i]->type == f4_Cell_type::CELL_NEURON) |
---|
[671] | 947 | { |
---|
| 948 | if (C[i]->dadlink == thisti) |
---|
| 949 | { |
---|
[1240] | 950 | f4_Cell *thneu = C[i]; |
---|
[196] | 951 | out += "["; |
---|
[1240] | 952 | out += thneu->neuclass->name.c_str(); |
---|
| 953 | if (thneu->conns_count > 0) |
---|
| 954 | out += ", "; |
---|
[1227] | 955 | // connections |
---|
[1240] | 956 | for (int j = 0; j < thneu->conns_count; j++) |
---|
[196] | 957 | { |
---|
[1240] | 958 | if (j > 0) out += ", "; |
---|
| 959 | char buf[100]; |
---|
[1227] | 960 | sprintf(buf, "%d", thneu->conns[j]->from->nr - thneu->nr); |
---|
| 961 | out += buf; |
---|
[196] | 962 | out += ":"; |
---|
[671] | 963 | // connection weight |
---|
[1227] | 964 | sprintf(buf, "%g", thneu->conns[j]->weight); |
---|
[196] | 965 | out += buf; |
---|
| 966 | } |
---|
| 967 | out += "]"; |
---|
| 968 | } |
---|
| 969 | } |
---|
[671] | 970 | } |
---|
[193] | 971 | |
---|
[196] | 972 | // sticks connected to it |
---|
| 973 | if (thisti->commacount >= 2) |
---|
| 974 | out += "("; |
---|
[193] | 975 | |
---|
[1240] | 976 | int ccount = 1; |
---|
| 977 | for (int i = 0; i < cell_count; i++) |
---|
[671] | 978 | { |
---|
[1259] | 979 | if (C[i]->type == f4_Cell_type::CELL_STICK) |
---|
[671] | 980 | { |
---|
| 981 | if (C[i]->dadlink == thisti) |
---|
| 982 | { |
---|
| 983 | while (ccount < (C[i])->anglepos) |
---|
| 984 | { |
---|
[196] | 985 | ccount++; |
---|
| 986 | out += ","; |
---|
| 987 | } |
---|
| 988 | toF1GenoRec(i, out); |
---|
| 989 | } |
---|
[671] | 990 | } |
---|
| 991 | } |
---|
| 992 | |
---|
| 993 | while (ccount < thisti->commacount) |
---|
| 994 | { |
---|
[196] | 995 | ccount++; |
---|
| 996 | out += ","; |
---|
| 997 | } |
---|
[193] | 998 | |
---|
[196] | 999 | if (thisti->commacount >= 2) |
---|
| 1000 | out += ")"; |
---|
[193] | 1001 | } |
---|
| 1002 | |
---|
| 1003 | |
---|
| 1004 | |
---|
[671] | 1005 | // to organize an f4 genotype in a tree structure |
---|
[193] | 1006 | |
---|
[1227] | 1007 | f4_Node::f4_Node() |
---|
[193] | 1008 | { |
---|
[760] | 1009 | name = "?"; |
---|
[196] | 1010 | parent = NULL; |
---|
| 1011 | child = NULL; |
---|
| 1012 | child2 = NULL; |
---|
| 1013 | pos = -1; |
---|
[1227] | 1014 | |
---|
| 1015 | reps = 0; |
---|
| 1016 | prop_symbol = '\0'; |
---|
| 1017 | prop_increase = false; |
---|
| 1018 | conn_from = 0; |
---|
| 1019 | conn_weight = 0.0; |
---|
| 1020 | neuclass = NULL; |
---|
[193] | 1021 | } |
---|
| 1022 | |
---|
[1227] | 1023 | f4_Node::f4_Node(string nname, f4_Node *nparent, int npos) |
---|
[760] | 1024 | { |
---|
| 1025 | name = nname; |
---|
| 1026 | parent = nparent; |
---|
| 1027 | child = NULL; |
---|
| 1028 | child2 = NULL; |
---|
| 1029 | pos = npos; |
---|
| 1030 | if (parent) parent->addChild(this); |
---|
[1227] | 1031 | |
---|
| 1032 | reps = 0; |
---|
| 1033 | prop_symbol = '\0'; |
---|
| 1034 | prop_increase = false; |
---|
| 1035 | conn_from = 0; |
---|
| 1036 | conn_weight = 0.0; |
---|
| 1037 | neuclass = NULL; |
---|
[760] | 1038 | } |
---|
| 1039 | |
---|
[1227] | 1040 | f4_Node::f4_Node(char nname, f4_Node *nparent, int npos) |
---|
[193] | 1041 | { |
---|
[196] | 1042 | name = nname; |
---|
| 1043 | parent = nparent; |
---|
| 1044 | child = NULL; |
---|
| 1045 | child2 = NULL; |
---|
| 1046 | pos = npos; |
---|
| 1047 | if (parent) parent->addChild(this); |
---|
[1227] | 1048 | |
---|
| 1049 | reps = 0; |
---|
| 1050 | prop_symbol = '\0'; |
---|
| 1051 | prop_increase = false; |
---|
| 1052 | conn_from = 0; |
---|
| 1053 | conn_weight = 0.0; |
---|
| 1054 | neuclass = NULL; |
---|
[193] | 1055 | } |
---|
| 1056 | |
---|
[1227] | 1057 | f4_Node::~f4_Node() |
---|
[193] | 1058 | { |
---|
[1227] | 1059 | destroy(); |
---|
[193] | 1060 | } |
---|
| 1061 | |
---|
[1227] | 1062 | void f4_Node::print_tree(const f4_Node *root, int indent) |
---|
[193] | 1063 | { |
---|
[1227] | 1064 | for (int i = 0; i < indent; i++) printf(" "); |
---|
[1234] | 1065 | printf("%s%s%s (%d)", root->neuclass != NULL ? "N:" : "", root->name.c_str(), root->name == "#" ? std::to_string(root->reps).c_str() : "", root->count() - 1); |
---|
[1227] | 1066 | if (root->name == "[") |
---|
| 1067 | printf(" from=%-3d weight=%g", root->conn_from, root->conn_weight); |
---|
| 1068 | printf("\n"); |
---|
| 1069 | if (root->child) print_tree(root->child, indent + 1); |
---|
| 1070 | if (root->child2) print_tree(root->child2, indent + 1); |
---|
| 1071 | } |
---|
| 1072 | |
---|
| 1073 | int f4_Node::addChild(f4_Node *nchi) |
---|
| 1074 | { |
---|
| 1075 | if (child == NULL) |
---|
[671] | 1076 | { |
---|
[196] | 1077 | child = nchi; |
---|
| 1078 | return 0; |
---|
| 1079 | } |
---|
[1227] | 1080 | if (child2 == NULL) |
---|
[671] | 1081 | { |
---|
[196] | 1082 | child2 = nchi; |
---|
| 1083 | return 0; |
---|
| 1084 | } |
---|
| 1085 | return -1; |
---|
[193] | 1086 | } |
---|
| 1087 | |
---|
[1227] | 1088 | int f4_Node::removeChild(f4_Node *nchi) |
---|
[193] | 1089 | { |
---|
[671] | 1090 | if (nchi == child2) |
---|
| 1091 | { |
---|
[196] | 1092 | child2 = NULL; |
---|
| 1093 | return 0; |
---|
| 1094 | } |
---|
[671] | 1095 | if (nchi == child) |
---|
| 1096 | { |
---|
[196] | 1097 | child = NULL; |
---|
| 1098 | return 0; |
---|
| 1099 | } |
---|
| 1100 | return -1; |
---|
[193] | 1101 | } |
---|
| 1102 | |
---|
[1227] | 1103 | int f4_Node::childCount() |
---|
[193] | 1104 | { |
---|
[1231] | 1105 | return int(child != NULL) + int(child2 != NULL); //0, 1 or 2 |
---|
[193] | 1106 | } |
---|
| 1107 | |
---|
[1227] | 1108 | int f4_Node::count() const |
---|
[193] | 1109 | { |
---|
[196] | 1110 | int c = 1; |
---|
[1227] | 1111 | if (child != NULL) c += child->count(); |
---|
| 1112 | if (child2 != NULL) c += child2->count(); |
---|
[196] | 1113 | return c; |
---|
[193] | 1114 | } |
---|
| 1115 | |
---|
[1227] | 1116 | f4_Node* f4_Node::ordNode(int n) |
---|
[193] | 1117 | { |
---|
[196] | 1118 | int n1; |
---|
[1227] | 1119 | if (n == 0) return this; |
---|
[196] | 1120 | n--; |
---|
[1227] | 1121 | if (child != NULL) |
---|
[671] | 1122 | { |
---|
[196] | 1123 | n1 = child->count(); |
---|
| 1124 | if (n < n1) return child->ordNode(n); |
---|
| 1125 | n -= n1; |
---|
| 1126 | } |
---|
[1227] | 1127 | if (child2 != NULL) |
---|
[671] | 1128 | { |
---|
[196] | 1129 | n1 = child2->count(); |
---|
| 1130 | if (n < n1) return child2->ordNode(n); |
---|
| 1131 | n -= n1; |
---|
| 1132 | } |
---|
| 1133 | return NULL; |
---|
[193] | 1134 | } |
---|
| 1135 | |
---|
[1227] | 1136 | f4_Node* f4_Node::randomNode() |
---|
[193] | 1137 | { |
---|
[196] | 1138 | int n = count(); |
---|
[1228] | 1139 | // pick a random node between 0 and n-1 |
---|
[896] | 1140 | return ordNode(rndUint(n)); |
---|
[193] | 1141 | } |
---|
| 1142 | |
---|
[1227] | 1143 | f4_Node* f4_Node::randomNodeWithSize(int mn, int mx) |
---|
[193] | 1144 | { |
---|
[196] | 1145 | // try random nodes, and accept if size in range |
---|
| 1146 | // limit to maxlim tries |
---|
| 1147 | int i, n, maxlim; |
---|
[1227] | 1148 | f4_Node *nod = NULL; |
---|
[196] | 1149 | maxlim = count(); |
---|
[671] | 1150 | for (i = 0; i < maxlim; i++) |
---|
| 1151 | { |
---|
[196] | 1152 | nod = randomNode(); |
---|
| 1153 | n = nod->count(); |
---|
[770] | 1154 | if ((n >= mn) && (n <= mx)) return nod; |
---|
[196] | 1155 | } |
---|
| 1156 | // failed, doesn't matter |
---|
| 1157 | return nod; |
---|
[193] | 1158 | } |
---|
| 1159 | |
---|
[1227] | 1160 | void f4_Node::sprint(SString& out) |
---|
[193] | 1161 | { |
---|
[767] | 1162 | char buf2[20]; |
---|
[196] | 1163 | // special case: repetition code |
---|
[760] | 1164 | if (name == "#") |
---|
[196] | 1165 | { |
---|
| 1166 | out += "#"; |
---|
[1227] | 1167 | sprintf(buf2, "%d", reps); |
---|
| 1168 | out += buf2; |
---|
[196] | 1169 | } |
---|
| 1170 | else { |
---|
[1227] | 1171 | // special case: neuron connection |
---|
[760] | 1172 | if (name == "[") |
---|
[671] | 1173 | { |
---|
[196] | 1174 | out += "["; |
---|
[1227] | 1175 | sprintf(buf2, "%d", conn_from); |
---|
[767] | 1176 | out += buf2; |
---|
[1227] | 1177 | sprintf(buf2, ":%g]", conn_weight); |
---|
| 1178 | out += buf2; |
---|
[196] | 1179 | } |
---|
[760] | 1180 | else if (name == ":") |
---|
[671] | 1181 | { |
---|
[1227] | 1182 | sprintf(buf2, ":%c%c:", prop_increase ? '+' : '-', prop_symbol); |
---|
[767] | 1183 | out += buf2; |
---|
[196] | 1184 | } |
---|
[1227] | 1185 | else if (neuclass != NULL) |
---|
[760] | 1186 | { |
---|
[1227] | 1187 | out += "N:"; |
---|
| 1188 | out += neuclass->name.c_str(); |
---|
[760] | 1189 | } |
---|
[671] | 1190 | else |
---|
| 1191 | { |
---|
[767] | 1192 | out += name.c_str(); |
---|
[196] | 1193 | } |
---|
| 1194 | } |
---|
[1227] | 1195 | |
---|
| 1196 | if (child != NULL) |
---|
| 1197 | child->sprint(out); |
---|
[196] | 1198 | // if two children, make sure last char is a '>' |
---|
[1227] | 1199 | if (childCount() == 2) |
---|
| 1200 | if (out[0] == 0) out += ">"; else |
---|
| 1201 | if (out[out.length() - 1] != '>') out += ">"; |
---|
| 1202 | |
---|
| 1203 | if (child2 != NULL) |
---|
| 1204 | child2->sprint(out); |
---|
[196] | 1205 | // make sure last char is a '>' |
---|
[1227] | 1206 | if (out[0] == 0) out += ">"; else |
---|
| 1207 | if (out[out.length() - 1] != '>') out += ">"; |
---|
[193] | 1208 | } |
---|
| 1209 | |
---|
[1227] | 1210 | void f4_Node::sprintAdj(char *& buf) |
---|
[193] | 1211 | { |
---|
[196] | 1212 | unsigned int len; |
---|
| 1213 | // build in a SString, with initial size |
---|
[955] | 1214 | SString out; |
---|
| 1215 | out.reserve(int(strlen(buf)) + 2000); |
---|
[193] | 1216 | |
---|
[196] | 1217 | sprint(out); |
---|
[1235] | 1218 | len = out.length(); |
---|
[193] | 1219 | |
---|
[196] | 1220 | // very last '>' can be omitted |
---|
[1235] | 1221 | // MacKo 2023-05: after tightening parsing and removing a silent repair for missing '>' after '#', this is no longer always the case. |
---|
| 1222 | // For genotypes using '#', removing trailing >'s makes them invalid: /*4*/<X><N:N>X#1>> or /*4*/<X><N:N>X#1#2>>> or /*4*/<X><N:N>X#1#2#3>>>> etc. |
---|
| 1223 | // Such invalid genotypes with missing >'s would then require silently adding >'s, but now stricter parsing and clear information about invalid syntax is preferred. |
---|
| 1224 | // See also comments in f4_processRecur() case '#'. |
---|
| 1225 | //if (len > 1) |
---|
| 1226 | // if (out[len - 1] == '>') { (out.directWrite())[len - 1] = 0; out.endWrite(); }; //Macko 2023-04 "can be omitted" => was always removed in generated genotypes. |
---|
| 1227 | |
---|
[196] | 1228 | // copy back to string |
---|
| 1229 | // if new is longer, reallocate buf |
---|
[671] | 1230 | if (len + 1 > strlen(buf)) |
---|
| 1231 | { |
---|
[196] | 1232 | buf = (char*)realloc(buf, len + 1); |
---|
| 1233 | } |
---|
[348] | 1234 | strcpy(buf, out.c_str()); |
---|
[193] | 1235 | } |
---|
| 1236 | |
---|
[1227] | 1237 | f4_Node* f4_Node::duplicate() |
---|
[193] | 1238 | { |
---|
[1227] | 1239 | f4_Node *copy; |
---|
| 1240 | copy = new f4_Node(*this); |
---|
[196] | 1241 | copy->parent = NULL; // set later |
---|
| 1242 | copy->child = NULL; |
---|
| 1243 | copy->child2 = NULL; |
---|
[1227] | 1244 | if (child != NULL) |
---|
[671] | 1245 | { |
---|
[196] | 1246 | copy->child = child->duplicate(); |
---|
| 1247 | copy->child->parent = copy; |
---|
| 1248 | } |
---|
[1227] | 1249 | if (child2 != NULL) |
---|
[671] | 1250 | { |
---|
[196] | 1251 | copy->child2 = child2->duplicate(); |
---|
| 1252 | copy->child2->parent = copy; |
---|
| 1253 | } |
---|
| 1254 | return copy; |
---|
[193] | 1255 | } |
---|
| 1256 | |
---|
| 1257 | |
---|
[1227] | 1258 | void f4_Node::destroy() |
---|
[193] | 1259 | { |
---|
[196] | 1260 | // children are destroyed (recursively) through the destructor |
---|
[1227] | 1261 | if (child2 != NULL) delete child2; |
---|
| 1262 | if (child != NULL) delete child; |
---|
[193] | 1263 | } |
---|
| 1264 | |
---|
[1234] | 1265 | // scan genotype string and build a tree |
---|
[193] | 1266 | // return >1 for error (errorpos) |
---|
[1234] | 1267 | int f4_processRecur(const char* genot, const int genot_len, int &pos_inout, f4_Node *parent) |
---|
[193] | 1268 | { |
---|
[1234] | 1269 | static const char *all_modifiers_no_comma = F14_MODIFIERS; //I did experiments with added comma (see all_modifiers_for_simplify below) which had the advantage of commas not breaking sequences of modifiers, thus longer sequences of modifiers (including commas) could be simplified and genetic bloat was further reduced. But since we impose a limit on the number of modifier chars in GenoOperators::simplifiedModifiers(), it would also influence commas (e.g. no more than 8 commas per sequence), so in order to leave commas entirely unlimited let's exclude them from simplification. Note that currently 'X' or any other non-F14_MODIFIERS char also separates the sequence to be simplified, so if we wanted a really intensive simplification, it should occur during development, when we know precisely which genes influence each f4_Cell. |
---|
| 1270 | //const char *Geno_f4::all_modifiers_for_simplify = F14_MODIFIERS ",\1"; //'\1' added to keep the number of chars even, avoid exceptions in logic and save the simple rule that the sequence is made of pairs (gene,contradictory gene), where a comma has no contradictory gene and \1 is unlikely to occur in the f4 genotype (and not allowed), so no risk it will cancel out a comma during simplification. |
---|
| 1271 | |
---|
| 1272 | |
---|
[1229] | 1273 | f4_Node *par = parent; |
---|
[193] | 1274 | |
---|
[1234] | 1275 | if (pos_inout >= genot_len) |
---|
| 1276 | return genot_len + 1; |
---|
[1229] | 1277 | |
---|
[1234] | 1278 | while (pos_inout < genot_len) |
---|
[671] | 1279 | { |
---|
[1234] | 1280 | const bool PRINT_PARSING_LOCATION = false; |
---|
| 1281 | if (PRINT_PARSING_LOCATION) |
---|
| 1282 | { |
---|
| 1283 | printf("%s\n", genot); |
---|
| 1284 | for (int i = 0; i < pos_inout; i++) printf(" "); |
---|
| 1285 | printf("^\n"); |
---|
| 1286 | } |
---|
[1230] | 1287 | switch (genot[pos_inout]) |
---|
[671] | 1288 | { |
---|
[196] | 1289 | case '<': |
---|
[760] | 1290 | { |
---|
[1230] | 1291 | f4_Node *node = new f4_Node("<", par, pos_inout); |
---|
[1228] | 1292 | par = node; |
---|
[1230] | 1293 | pos_inout++; //move after '<' |
---|
[1234] | 1294 | int res = f4_processRecur(genot, genot_len, pos_inout, par); |
---|
[196] | 1295 | if (res) return res; |
---|
[1234] | 1296 | if (pos_inout < genot_len) |
---|
[671] | 1297 | { |
---|
[1234] | 1298 | res = f4_processRecur(genot, genot_len, pos_inout, par); |
---|
[196] | 1299 | if (res) return res; |
---|
| 1300 | } |
---|
[671] | 1301 | else // ran out |
---|
| 1302 | { |
---|
[1229] | 1303 | //MacKo 2023-04, more strict behavior: instead of silent repair (no visible effect to the user, genotype stays invalid but is interpreted and reported as valid), we now point out where the error is. For example <X> or <X><X or <X><N:N> |
---|
[1234] | 1304 | return genot_len + 1; |
---|
[1229] | 1305 | //old silent repair: |
---|
[1234] | 1306 | //node = new f4_Node(">", par, genot_len - 1); |
---|
[196] | 1307 | } |
---|
| 1308 | return 0; // OK |
---|
[760] | 1309 | } |
---|
[196] | 1310 | case '>': |
---|
[760] | 1311 | { |
---|
[1230] | 1312 | new f4_Node(">", par, pos_inout); |
---|
| 1313 | pos_inout++; //move after '>' |
---|
[196] | 1314 | return 0; // OK |
---|
[760] | 1315 | } |
---|
[196] | 1316 | case '#': |
---|
[760] | 1317 | { |
---|
[1231] | 1318 | // repetition marker |
---|
| 1319 | ExtValue reps; |
---|
| 1320 | const char* end = reps.parseNumber(genot + pos_inout + 1, ExtPType::TInt); |
---|
| 1321 | if (end == NULL) |
---|
| 1322 | return pos_inout + 1; //error |
---|
[1235] | 1323 | f4_Node *node = new f4_Node("#", par, pos_inout); //TODO here or elsewhere: gene mapping seems to map '#' but not the following number |
---|
[1231] | 1324 | node->reps = reps.getInt(); |
---|
[196] | 1325 | // skip number |
---|
[1230] | 1326 | pos_inout += end - (genot + pos_inout); |
---|
[1234] | 1327 | int res = f4_processRecur(genot, genot_len, pos_inout, node); |
---|
[196] | 1328 | if (res) return res; |
---|
[1234] | 1329 | if (pos_inout < genot_len) |
---|
[671] | 1330 | { |
---|
[1234] | 1331 | res = f4_processRecur(genot, genot_len, pos_inout, node); |
---|
[196] | 1332 | if (res) return res; |
---|
| 1333 | } |
---|
[671] | 1334 | else // ran out |
---|
| 1335 | { |
---|
[1234] | 1336 | return genot_len + 1; //MacKo 2023-04: report an error, better to be more strict instead of a silent repair (genotype stays invalid but is interpreted and reported as valid) with non-obvious consequences? |
---|
[1235] | 1337 | //earlier approach - silently treating this problem (we don't ever see where the error is because it gets corrected in some way here, while parsing the genotype, and error location in the genotype is never reported): |
---|
| 1338 | //node = new f4_Node(">", par, genot_len - 1); // Maybe TODO: check if this was needed and if this was really the best repair operation; could happen many times in succession for some genotypes even though they were only a result of f4 operators, not manually created... and the operators should not generate invalid genotypes, right? Or maybe crossover does? Seemed like too many #n's for closing >'s; removing #n or adding > helped. Examples (remove trailing >'s to make invalid): /*4*/<X><N:N>X#1>> or /*4*/<X><N:N>X#1#2>>> or /*4*/<X><N:N>X#1#2#3>>>> etc. |
---|
| 1339 | // So operators somehow don't do it properly sometimes? But F4_ADD_REP adds '>'... Maybe the rule to always remove final trailing '>' was responsible? (now commented out). Since the proper syntax for # is #n ...repcode... > ...endcode..., perhaps endcode also needs '>' as the final delimiter. If we have many #'s in the genotype and the final >'s are missing, in the earlier approach we would keep adding them here as needed to ensure the syntax is valid. If we don't add '>' here silently, they must be explicitly added or else the genotype is invalid. BUT this earlier approach here only handled the situation where the genotype ended prematurely; what about cases where '>' may be needed as delimiters for # in the middle of the genotype? Or does # always concern all genes until the end, unless explicitly delimited earlier? Perhaps, if the '>' endcode delimiters are not present in the middle of the genotype, we don't know where they should be so the earlier approach would always add them only at the end of the genotype? |
---|
[196] | 1340 | } |
---|
| 1341 | return 0; // OK |
---|
[760] | 1342 | } |
---|
| 1343 | case ' ': |
---|
| 1344 | case '\n': |
---|
| 1345 | case '\r': |
---|
| 1346 | case '\t': |
---|
| 1347 | { |
---|
| 1348 | // whitespace: ignore |
---|
[1230] | 1349 | pos_inout++; |
---|
[760] | 1350 | break; |
---|
| 1351 | } |
---|
| 1352 | case 'N': |
---|
| 1353 | { |
---|
[1230] | 1354 | int forgenorange = pos_inout; |
---|
| 1355 | if (genot[pos_inout + 1] != ':') |
---|
| 1356 | return pos_inout + 1; //error |
---|
| 1357 | pos_inout += 2; //skipping "N:" |
---|
| 1358 | unsigned int neuroclass_begin = pos_inout; |
---|
| 1359 | char* neuroclass_end = (char*)genot + neuroclass_begin; |
---|
| 1360 | NeuroClass *neuclass = GenoOperators::parseNeuroClass(neuroclass_end, ModelEnum::SHAPETYPE_BALL_AND_STICK); //advances neuroclass_end |
---|
[1227] | 1361 | if (neuclass == NULL) |
---|
[1230] | 1362 | return pos_inout + 1; //error |
---|
| 1363 | pos_inout += neuroclass_end - genot - neuroclass_begin; |
---|
| 1364 | string neutype = string(genot + neuroclass_begin, genot + pos_inout); |
---|
[1228] | 1365 | f4_Node *node = new f4_Node(neutype, par, forgenorange); |
---|
| 1366 | node->neuclass = neuclass; |
---|
| 1367 | par = node; |
---|
[1227] | 1368 | // if it continues with a colon that determines a neuron parameter (e.g. N:N:+=: ), then let the switch case for colon handle this |
---|
[196] | 1369 | break; |
---|
[760] | 1370 | } |
---|
[196] | 1371 | case ':': |
---|
[760] | 1372 | { |
---|
[196] | 1373 | // neuron parameter +! -! += -= +/ or -/ |
---|
[1227] | 1374 | // in the future this could be generalized to all neuron properties, for example N:|:power:0.6:range:1.4, or can even use '=' or ',' instead of ':' if no ambiguity |
---|
| 1375 | char prop_dir, prop_symbol, prop_end[2]; // prop_end is only to ensure that neuron parameter definition is completed |
---|
[1241] | 1376 | if (sscanf(genot + pos_inout, ":%c%c%1[:]", &prop_dir, &prop_symbol, prop_end) != 3) |
---|
[196] | 1377 | // error: incorrect format |
---|
[1230] | 1378 | return pos_inout + 1 + 1; |
---|
[1227] | 1379 | if (prop_dir != '-' && prop_dir != '+') |
---|
[1230] | 1380 | return pos_inout + 1 + 1; //error |
---|
[1227] | 1381 | switch (prop_symbol) |
---|
[671] | 1382 | { |
---|
[196] | 1383 | case '!': case '=': case '/': break; |
---|
| 1384 | default: |
---|
[1230] | 1385 | return pos_inout + 1 + 1; //error |
---|
[196] | 1386 | } |
---|
[1230] | 1387 | f4_Node *node = new f4_Node(":", par, pos_inout); |
---|
[1228] | 1388 | node->prop_symbol = prop_symbol; |
---|
| 1389 | node->prop_increase = prop_dir == '+' ? true : false; // + or - |
---|
| 1390 | par = node; |
---|
[1230] | 1391 | pos_inout += 4; //skipping :ds: |
---|
[196] | 1392 | break; |
---|
[760] | 1393 | } |
---|
| 1394 | case '[': |
---|
| 1395 | { |
---|
[1227] | 1396 | double weight = 0; |
---|
| 1397 | int relfrom; |
---|
[1230] | 1398 | const char *end = parseConnection(genot + pos_inout, relfrom, weight); |
---|
[760] | 1399 | if (end == NULL) |
---|
[1230] | 1400 | return pos_inout + 1; //error |
---|
[1227] | 1401 | |
---|
[1230] | 1402 | f4_Node *node = new f4_Node("[", par, pos_inout); |
---|
[1228] | 1403 | node->conn_from = relfrom; |
---|
| 1404 | node->conn_weight = weight; |
---|
| 1405 | par = node; |
---|
[1230] | 1406 | pos_inout += end - (genot + pos_inout); |
---|
[196] | 1407 | break; |
---|
[760] | 1408 | } |
---|
[1234] | 1409 | default: // 'X' and ',' and all modifiers and also invalid symbols - add a node. For symbols that are not valid in f4, the cell development process will give the error or repair |
---|
[760] | 1410 | { |
---|
[1230] | 1411 | //printf("any regular character '%c'\n", genot[pos_inout]); |
---|
[1240] | 1412 | #define F4_SIMPLIFY_MODIFIERS //avoid long, redundant sequences like ...<X>llmlIilImmimiimmimifmfl<fifmmimilimmmiimiliffmfliIfififlliflimfliffififmiffmflllfflimlififfiiffifIr<r<... |
---|
[1234] | 1413 | #ifdef F4_SIMPLIFY_MODIFIERS |
---|
| 1414 | char *ptr = (char*)(genot + pos_inout); |
---|
[1241] | 1415 | string original = ""; |
---|
| 1416 | while (GenoOperators::strchrn0(all_modifiers_no_comma, *ptr)) //only processes a section of chars known in all_modifiers_no_comma, other characters will exit the loop |
---|
[1234] | 1417 | { |
---|
[1241] | 1418 | original += *ptr; |
---|
[1234] | 1419 | GenoOperators::skipWS(++ptr); //advance and ignore whitespace |
---|
| 1420 | } |
---|
| 1421 | int advanced = ptr - (genot + pos_inout); |
---|
| 1422 | if (advanced > 0) //found modifiers |
---|
| 1423 | { |
---|
[1241] | 1424 | string simplified = GenoOperators::simplifiedModifiers(original); |
---|
[1234] | 1425 | // add a node for each char in "simplified" |
---|
| 1426 | for (size_t i = 0; i < simplified.length(); i++) |
---|
| 1427 | { |
---|
| 1428 | int pos = GenoOperators::strchrn0(genot + pos_inout, simplified[i]) - genot; //unnecessarily finding the same char, if it occurrs multiple times in simplified |
---|
| 1429 | f4_Node *node = new f4_Node(simplified[i], par, pos); //location is approximate. In the simplification process we don't trace where the origin(s) of the simplified[i] gene were. We provide 'pos' as the first occurrence of simplified[i] (for example, all 'L' will have the same location assigned, but at least this is where 'L' occurred in the genotype, so in case of any modification of a node (repair, removal, whatever... even mapping of genes) the indicated gene will be one of the responsible ones) |
---|
| 1430 | par = node; |
---|
| 1431 | } |
---|
| 1432 | pos_inout += advanced; |
---|
| 1433 | } |
---|
| 1434 | else // genot[pos_inout] is a character not present in all_modifiers_no_comma, so treat it as a regular individual char just as it would be without simplification |
---|
| 1435 | { |
---|
| 1436 | f4_Node *node = new f4_Node(genot[pos_inout], par, pos_inout); |
---|
| 1437 | par = node; |
---|
| 1438 | pos_inout++; |
---|
| 1439 | } |
---|
| 1440 | #else |
---|
[1230] | 1441 | f4_Node *node = new f4_Node(genot[pos_inout], par, pos_inout); |
---|
[1228] | 1442 | par = node; |
---|
[1230] | 1443 | pos_inout++; |
---|
[1234] | 1444 | #endif // F4_SIMPLIFY_MODIFIERS |
---|
[196] | 1445 | break; |
---|
| 1446 | } |
---|
[760] | 1447 | } |
---|
[196] | 1448 | } |
---|
[760] | 1449 | |
---|
[196] | 1450 | // should end with a '>' |
---|
[1229] | 1451 | if (par && par->name != ">") |
---|
[671] | 1452 | { |
---|
[1234] | 1453 | //happens when pos_inout == genot_len |
---|
[1230] | 1454 | //return pos_inout; //MacKo 2023-04: could report an error instead of silent repair, but repair operators only work in Cells (i.e., after the f4_Node tree has been parsed without errors and Cells can start developing) so we don't want to make a fatal error because of missing '>' here. Also after conversions from Cells to text, trailing '>' is deliberately removed... and also the simplest genotype is officially X, not X>. |
---|
[1234] | 1455 | new f4_Node('>', par, genot_len - 1); |
---|
[671] | 1456 | } |
---|
| 1457 | |
---|
[1230] | 1458 | return 0; // OK |
---|
[193] | 1459 | } |
---|
| 1460 | |
---|
[1231] | 1461 | int f4_process(const char *genot, f4_Node *root) |
---|
| 1462 | { |
---|
| 1463 | int pos = 0; |
---|
[1234] | 1464 | int res = f4_processRecur(genot, (int)strlen(genot), pos, root); |
---|
[1231] | 1465 | if (res > 0) |
---|
[1232] | 1466 | return res; //parsing error |
---|
| 1467 | else if (genot[pos] != 0) |
---|
| 1468 | return pos + 1; //parsing OK but junk, unparsed genes left, for example /*4*/<X>N:N>whatever or /*4*/<X>X>>> |
---|
| 1469 | else |
---|
| 1470 | return 0; //parsing OK and parsed until the end |
---|
[1231] | 1471 | } |
---|
| 1472 | |
---|
[760] | 1473 | const char* parseConnection(const char *fragm, int& relfrom, double &weight) |
---|
| 1474 | { |
---|
| 1475 | const char *parser = fragm; |
---|
| 1476 | if (*parser != '[') return NULL; |
---|
| 1477 | parser++; |
---|
| 1478 | ExtValue val; |
---|
| 1479 | parser = val.parseNumber(parser, ExtPType::TInt); |
---|
| 1480 | if (parser == NULL) return NULL; |
---|
| 1481 | relfrom = val.getInt(); |
---|
| 1482 | if (*parser != ':') return NULL; |
---|
| 1483 | parser++; |
---|
| 1484 | parser = val.parseNumber(parser, ExtPType::TDouble); |
---|
| 1485 | if (parser == NULL) return NULL; |
---|
| 1486 | weight = val.getDouble(); |
---|
| 1487 | if (*parser != ']') return NULL; |
---|
| 1488 | parser++; |
---|
| 1489 | return parser; |
---|
| 1490 | } |
---|
[193] | 1491 | |
---|
[1228] | 1492 | /* |
---|
| 1493 | f4_Node* f4_processTree(const char* geno) |
---|
[760] | 1494 | { |
---|
[1227] | 1495 | f4_Node *root = new f4_Node(); |
---|
[1228] | 1496 | int res = f4_processRecur(geno, 0, root); |
---|
[196] | 1497 | if (res) return NULL; |
---|
| 1498 | //DB( printf("test f4 "); ) |
---|
| 1499 | DB( |
---|
[671] | 1500 | if (root->child) |
---|
| 1501 | { |
---|
[853] | 1502 | char* buf = (char*)malloc(300); |
---|
| 1503 | DB(printf("(%d) ", root->child->count());) |
---|
| 1504 | buf[0] = 0; |
---|
| 1505 | root->child->sprintAdj(buf); |
---|
| 1506 | DB(printf("%s\n", buf);) |
---|
| 1507 | free(buf); |
---|
[196] | 1508 | } |
---|
| 1509 | ) |
---|
| 1510 | return root->child; |
---|
[193] | 1511 | } |
---|
[1228] | 1512 | */ |
---|