public class Zonation extends Object
Zonation(StmtBody body)
int
getZoneCount()
Zone
getZoneOf(Unit u)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public Zonation(StmtBody body)
public Zone getZoneOf(Unit u)
public int getZoneCount()