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.

Parameters:

begin_seqnum

The seqnum the model had before the transaction was applied
end_seqnum

The seqnum the model has now