Unary rules#6

Open

davidweichiang wants to merge 1 commit intoslavpetrov:masterfrom

Commits on May 20, 2016

fix bug in Grammar.computePairsOfUnaries that caused some sum-closed unary rules to be added as real unary rules; change Grammar.writeData to write real unary rules instead of max-closed unary rules
davidweichiang
committed