Add Clock class

This is useful if we were to encode the partial order as a Boolean matrix.