correct encoding of Marina predicate bits
authormegacz <adam@megacz.com>
Fri, 20 Mar 2009 02:10:33 +0000 (19:10 -0700)
committermegacz <adam@megacz.com>
Fri, 20 Mar 2009 02:10:33 +0000 (19:10 -0700)
commit197cece1073d289013bed8585d401f0d3b998a46
treec6c10f7aac958098d1f724eda33fbd660f605cae
parent6dfcbfcead5c0d6ad932a09adbb6def32d9a61fd
correct encoding of Marina predicate bits
src/edu/berkeley/fleet/two/FleetTwoFleet.java