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);
    }
}