# IntegerSet.class.php

Go to the documentation of this file.

    00001 <?php
    00002 /***************************************************************************
    00003  *   Copyright (C) 2007 by Denis M. Gabaidulin                             *
    00004  *                                                                         *
    00005  *   This program is free software; you can redistribute it and/or modify  *
    00006  *   it under the terms of the GNU Lesser General Public License as        *
    00007  *   published by the Free Software Foundation; either version 3 of the    *
    00008  *   License, or (at your option) any later version.                       *
    00009  *                                                                         *
    00010  ***************************************************************************/
    00011
    00017     final class IntegerSet extends Range
    00018     {
    00019         public static function create(
    00020             $min = PrimitiveInteger::SIGNED_MIN,
    00021             $max = PrimitiveInteger::SIGNED_MAX
    00022         )
    00023         {
    00024             return new IntegerSet($min, $max);
    00025         }
    00026
    00027         public function contains($value)
    00028         {
    00029             if (
    00030                 $this->getMin() <= $value
    00031                 && $value <= $this->getMax()
    00032             )
    00033                 return true;
    00034             else
    00035                 return false;
    00036         }
    00037     }
    00038 ?>