diff options
| author | graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-07-07 21:26:51 +0000 |
|---|---|---|
| committer | graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-07-07 21:26:51 +0000 |
| commit | 6b19aa3fa80b6ce0c6b9e6e26ca4a8fcfc41c4fb (patch) | |
| tree | 3e3b5048ae2f850f52fe7123e4032a7b5b928c6f /tests/system_tests/australia/input.txt | |
| parent | 40bc789dae572c3aa73171c3083326963fe41ffc (diff) | |
safe hg pruning without needing additional inside reachability pass (max margin tightness is less at bottom of derivation tree)
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@181 ec762483-ff6d-05da-a07a-a48fb63a330f
Diffstat (limited to 'tests/system_tests/australia/input.txt')
0 files changed, 0 insertions, 0 deletions