test_mu_hierarchy.py 文件源码

def test1(self):
        """r2 does not verify the formula."""
        assert_equals(self.hierarchy.check_all_ancestors("g2"),
                      {'g1':
                       {'f1': "['r2']"}})

    # def test2(self):
    #     """after adding an edge all the node are valid"""
    #     self.hie2.add_edge("r2", "a1")
    #     assert_equals(self.hie2.check(),
    #                   {'g1': {'or(not cnt(Region),<1<=Adj>cnt(Agent))': "[]"}})