Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## demos
Class CoffeeMachine_Test

    java.lang.Object
      demos.CoffeeMachine_Test

    public class CoffeeMachine_Test

extends java.lang.Object

A DE model of a user and a TFSM coffee machine. The user is modeled by a DEScenario. He inserts a coin at time 1.0 and pushed the coffee button at time 3.0. The machine becomes ready when the user inserts a coin. It goes into preparing mode when he presses the coffee button. 4 TFSM units of time later, the machine delivers the coffee. Because of the time scale relation between DE and TFSM (time in TFSM is 2 times the time in DE plus 1), the coin is inserted at 2*1+1 = 3 in TFSM, the coffee button is pressed at 2*3+1 = 7 in TFSM time. 4 TFSM time units later, the coffee is served at 11 in TFSM time, which is 5 in DE time. By setting the "verbose" property of the TFSM model to true, you can display messages when states are entered.

Author:
  boulange

Constructor Summary
`CoffeeMachine_Test()`

Method Summary
`static void` | `main(java.lang.String[] args)`

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Constructor Detail

### CoffeeMachine_Test

    public CoffeeMachine_Test()

Method Detail

### main

    public static void main(java.lang.String[] args)

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD