<?php

class WDEV_4162 extends Wdoc
{
    public $attrPrefix = "WAD";

    const e1 = "dev_4162_e1";
    const e2 = "dev_4162_e2";
    const e3 = "dev_4162_e3";
    const e4 = "dev_4162_e4";

    const t1 = "dev_4162_t1";
    const t2 = "dev_4162_t2";
    const t3 = "dev_4162_t3";

    public $firstState = self::e1;
    
    public $transitions = array(
        self::t1 => array(),
        self::t2 => array(),
        self::t3 => array()
    );
    
    public $cycle = array(
        array(
            "e1" => self::e1,
            "e2" => self::e2,
            "t" => self::t1
        ),
        array(
            "e1" => self::e2,
            "e2" => self::e3,
            "t" => self::t2
        ),
        array(
            "e1" => self::e3,
            "e2" => self::e4,
            "t" => self::t3
        )
    );
    
    public $stateactivity = array(
        self::e1 => "Dev 4162 E1",
        self::e2 => "Dev 4162 E2",
        self::e3 => "Dev 4162 E3",
        self::e4 => "Dev 4162 E4"
    );
}