def test_hcons(self): x = Xmrs() assert len(x.hcons()) == 0 x.add_hcons([('h0', 'qeq', 'h1')]) hcs = x.hcons() assert len(hcs) == 1 assert hcs[0] == ('h0', 'qeq', 'h1') x.add_hcons([('h3', 'qeq', 'h5')]) hcs = sorted(x.hcons()) # hcons are not stored in sorted order assert len(hcs) == 2 assert hcs[1] == ('h3', 'qeq', 'h5')
def test_add_hcons(self): x = Xmrs() with pytest.raises(XmrsError): x.add_hcons([('h0')]) # only hi x.add_hcons([('h0', 'qeq')]) # only hi and relation # hi, relation, and lo (the minimum, but probably max, too) x.add_hcons([('h0', 'qeq', 'h1')]) assert len(x.hcons()) == 1 hc = x.hcon('h0') assert hc[0] == 'h0' assert hc[1] == 'qeq' assert hc[2] == 'h1' # cannot have more than one hcons with the same hi variable with pytest.raises(XmrsError): x.add_hcons([('h0', 'qeq', 'h2')]) assert len(x.hcons()) == 1
def test_empty(self): x = Xmrs() assert x.top is None assert x.index is None assert x.xarg is None assert len(x.eps()) == 0 assert len(x.hcons()) == 0 assert len(x.icons()) == 0 assert len(x.variables()) == 0
def test_empty(self): x = Xmrs() assert x.top is None assert x.index is None assert x.xarg is None assert len(x.nodeids()) == 0 assert len(x.eps()) == 0 assert len(x.hcons()) == 0 assert len(x.icons()) == 0 assert len(x.variables()) == 0