update hyper graph & logic data structure