[−][src]Type Definition ascesis::Capacity
type Capacity = Multiplicity;
A maximum number of tokens a node may hold.
This is the type of values of the function capU, which maps nodes in the carrier of a c-e structure U to their capacities.
type Capacity = Multiplicity;
A maximum number of tokens a node may hold.
This is the type of values of the function capU, which maps nodes in the carrier of a c-e structure U to their capacities.