basic framework for entanglement in place
entanglement add-dom case tests
fix some bugs, update-dom case for entangled vars tests
fixup tests
fix typo
Merge branch 'master' into entanglement
remove redundant test
tests checking that entanglement works even with aliased vars
Merge branch 'master' into entanglement
Merge branch 'master' into entanglement
fix to-subst-val, should be ::unbound
add some more entanglement tests
fix subst-val to accept eset
merge-subst-vals -> merge-with-root. this fn now returns substitutions
in prep for entanglement related changes.
because of var repointing eset may not reflect latest, account for
this when updating entangled vars.
thread substitutions through merge-with-root loop
full support for entanglement. merge-with-root now ensures that any
vars entangled by the root and the repointed var will have their
domains updated to the merged domains of the root. we could probably
make this a bit more efficient but this is enough to remove any
reference from nominal.clj of FD or any other constraint domain like it.
quick fix, don't penalize update-dom usage in nominal.clj. It's not
clear to me that ::nom information needs to be in the var dom info.
Merge branch 'master' into nominal-rel-reif