class.ilADTFloat.php

Go to the documentation of this file.

<?php

require_once "Services/ADT/classes/Types/Integer/class.ilADTInteger.php";

class ilADTFloat extends ilADTInteger
{       
        // definition
        
        protected function isValidDefinition(ilADTDefinition $a_def)
        {
                return ($a_def instanceof ilADTFloatDefinition);
        }
}

?>