Hallo,

ist eine Variablenordnung in der Form x1 < x2 angegeben, so bedeutet dies, dass x1 VOR x2 im BDD abgefragt wird, d.h. "x1 steht weiter oben als x2".

Grüße
Christian