<?php

/**
 * NO_NOV_TIPO_HORARIOTable
 * 
 * This class has been auto-generated by the Doctrine ORM Framework
 */
class NO_NOV_TIPO_HORARIOTable extends Doctrine_Table
{
    /**
     * Returns an instance of this class.
     *
     * @return object NO_NOV_TIPO_HORARIOTable
     */
    public static function getInstance()
    {
        return Doctrine_Core::getTable('NO_NOV_TIPO_HORARIO');
    }
}