public class VendingMachine implements AtomicModel<VMInputSet, VMOutputSet> {
  public VMOutputSet lambda() {
	  //implementation
  }

  public void delta(VMInputSet input) {
	  //implementation
  }
}