Warning: session_start(): open(/var/lib/php/sessions/sess_843dmp8i4kd4ssr7nljvldus90, 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
static Collection web_transitiveForwardRelated(WebNode node) {
new HashSet seen;
new HashSet nu;
nu.add(node);
while (nempty(nu)) {
WebNode n = first(nu);
nu.remove(n);
seen.add(n);
for (WebNode x : web_forwardRelated(n))
if (!seen.contains(x))
nu.add(x);
}
ret seen;
}