Class.WTestInvisible.php

Go to the documentation of this file.

<?php
/*
 * @author Anakeen
 * @package FDL
*/

include_once ("FDL/Class.WDoc.php");

class WTestFourStates extends WDoc
{
    var $attrPrefix = "WINV";
    
    const E1 = "E1";
    const E2 = "E2";
    const E3 = "E3";
    const E4 = "E4";
    const T1 = "T1";
    var $firstState = self::E1;
    var $transitions = array(
        self::T1 => array()
    );
    
    var $cycle = array(
        array(
            "e1" => self::E1,
            "e2" => self::E2,
            "t" => self::T1
        ) ,
        
        array(
            "e1" => self::E2,
            "e2" => self::E3,
            "t" => self::T1
        ) ,
        
        array(
            "e1" => self::E3,
            "e2" => self::E4,
            "t" => self::T1
        )
    );
}
?>