end_transaction

Description:

public signal void end_transaction (uint64 begin_seqnum, uint64 end_seqnum)

Emitted right after a remote transaction has been committed to the model.

begin_seqnum	The seqnum the model had before the transaction was applied
end_seqnum	The seqnum the model has now