Warning: session_start(): open(/var/lib/php/sessions/sess_8gu3dkk8ne78in36pv6nv7ff5g, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
!7
concept TitleSeen {
S title;
}
cmodule OperationGroupSpike > DynPrintLog {
L theories = syncList();
// a theory here is a list of things
class Theory {
Set examples;
}
class PrefixTheory {
S prefix;
}
class SuffixTheory {
S suffix;
}
start-thread {
dbIndexing(TitleSeen, 'title);
doEvery(3.0, rEnter gather);
}
void gather {
L l = dm_windows();
LS titles = collect windowTitle(l);
uniq(TitleSeen, +title);
theories.add(titles);
}
}