Commit Graph

6 Commits

Author SHA1 Message Date
Hieu Hoang
9f5f729c19 create hypos 2016-05-06 15:41:50 +01:00
Hieu Hoang
e6096aa8bf format 2016-03-31 21:00:16 +01:00
Hieu Hoang
52b4d094bf fix mem leak 2016-03-31 20:00:55 +01:00
Hieu Hoang
45bb10ace3 normal and cube pruning use the same methods in HypoColl 2016-03-31 19:54:08 +01:00
Hieu Hoang
62a7896f6f use HypothesisColl in Normal algorithm 2016-02-29 13:47:05 +00:00
Hieu Hoang
71b8ca7b1e add HypothesisColl 2016-02-29 13:10:55 +00:00