Constraints for C

A

B

C

D

E

F

G

B: ((> + >) (> - >))

Before:

After:

D: ((- + -) (> + >) (+ - +)

(+ + +)(- - - )(- < <)(> - >)(< < -)

(< - <)(< + <)(< > <)(< < <))

C: ((< <)(> >)(> +) (+ >)(< -)(->))

C: ((> >))

Backup to B produces no changes.

Previous slide

Next slide

Back to first slide

View graphic version