specification
sorts
Queue
constructors
make: -->Queue;
enqueue: Queue Element --> Queue;
observers
front: Queue -->?Element;
dequeue:Queue--> Queue;
isEmpty: Queue;
domains
...
axioms
Q: Queue; E: Element;
front (enqueue(Q,E))= E when is Empty(Q) else front (Q);
...
isEmpty(make());
not isEmpty(enqueue(Q,E));
end specification
Olá a todos, alguém me podia ajudar neste exericicio? não consigo fazer
Completar a secção axioms e a domains…
Abraço
