/** * Returns the state machine's logical clock. * * @return The state machine's logical clock. */ protected LogicalClock getLogicalClock() { return context.logicalClock(); }
/** * Returns the state machine's logical clock. * * @return The state machine's logical clock. */ protected LogicalClock getLogicalClock() { return context.logicalClock(); }