postconditions


Description:

public WorldState postconditions { set; get; }