All Classes and Interfaces

Class	Description
GasCostModel	A specification of the cost of gas.
InstrumentationFields	Constants about fields used for instrumentation of Takamaka classes.
InstrumentedClass	An instrumented class file.
InstrumentedJar	An instrumented (and hence verified) jar file.