Rename Domain.project_out() into Domain.project()
authorVivien Maisonneuve <v.maisonneuve@gmail.com>
Fri, 4 Jul 2014 19:19:50 +0000 (21:19 +0200)
committerVivien Maisonneuve <v.maisonneuve@gmail.com>
Fri, 4 Jul 2014 19:22:21 +0000 (21:22 +0200)
commit40d0f350adb81eb15adb3aa68867aaf768358550
tree19388c62687b026c732b86413fafc27f0dcec6c8
parentd2ec7dd24a7eeab018d12e3ae27d2d1c7226a7f3
Rename Domain.project_out() into Domain.project()
examples/diamond.py
examples/nsad2010.py
examples/squares.py
pypol/domains.py
pypol/tests/test_domains.py