6日目にして全く実装ならず

先週はサイト作っててだいぶお休みになってしまったNVDLのつづき。

PlanElem = { (v, e) | (s, v, e) in Z, if (s, v, e’) is in Z then |e| >= |e’|}

どういう意味だコレ…orz 仕様書4.にあるa set of attributesとは違うはずだし。

…nm. 分かった気がしてきた。