Interface DistribStateManager