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_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
