ProductionEnded

case ProductionEnded(productionID: ProductionID)

Fired when a production is terminated by a smart machine.

Value members

Inherited methods

def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product