96979899100101102103
public Iterator<? extends GraphElement> iterator() { return emptyIterator; } public boolean unifies(Proposition proposition) { Unifier un = new UnifierImpl(); return un.unifies(this, proposition); }