t != element
and is there an edge from element
to t
?var pos = new POSet[String]
pos.add_chain(["A", "B", "C", "D"])
assert pos["B"] < "D"
assert pos["B"] < "C"
assert not pos["B"] < "B"
assert not pos["B"] < "A"
# Is `t != element` and is there an edge from `element` to `t`?
#
# ~~~~
# var pos = new POSet[String]
# pos.add_chain(["A", "B", "C", "D"])
# assert pos["B"] < "D"
# assert pos["B"] < "C"
# assert not pos["B"] < "B"
# assert not pos["B"] < "A"
# ~~~~
fun <(t: E): Bool
do
return t != self.element and self.tos.has(t)
end
lib/poset/poset.nit:606,2--619,4