rename to avoid confusions with logical constraints

This commit is contained in:
Val Erastov 2019-05-22 16:02:03 -07:00
parent f1ee1ba20a
commit f325a875c1