DSpace

   DSpace constructor.

   Defines a discrete space (a space where only a discrete number of
   values are possible).

   Parameters:
     dim: Dimensinality of the space. Number of elements in the discrete
          set of values.
     values: [optional] A discrete set (cell array) of values. If not
             given values are assumed the cardinals (1 to dim).

0001 function DS=DSpace(varargin)
0002 %   DSpace constructor.
0003 %
0004 %   Defines a discrete space (a space where only a discrete number of
0005 %   values are possible).
0006 %
0007 %   Parameters:
0008 %     dim: Dimensinality of the space. Number of elements in the discrete
0009 %          set of values.
0010 %     values: [optional] A discrete set (cell array) of values. If not
0011 %             given values are assumed the cardinals (1 to dim).
0012 %
0013 
0014   switch nargin
0015     case 1
0016       if isa(varargin{1},'DSpace')
0017         DS=varargin{1};
0018       else
0019         if isa(varargin{1},'double')
0020           DS.max=varargin{1};
0021           % Default values
0022           DS.values=cell(1,DS.max);
0023           for i=1:DS.max
0024             DS.values{i}=i;
0025           end
0026           DS=class(DS,'DSpace');
0027         else
0028           if isa(varargin{1},'cell')
0029             DS.max=size(varargin{1},2);
0030             DS.values=varargin{1};
0031             DS=class(DS,'DSpace');
0032           else
0033             error('Wrong type of parameters in DSpace constructor');
0034           end
0035         end
0036       end
0037     case 2
0038       if isa(varargin{1},'double') && isa(varargin{2},'cell')
0039         DS.max=varargin{1};
0040         DS.values=varargin{2};
0041         if size(DS.values,2)~=DS.max
0042           error('Size missmatch in DSpace constructor');
0043         end
0044         DS=class(DS,'DSpace');
0045       else
0046         error('Wrong type of parameters in DSpace constructor');
0047       end
0048     otherwise
0049       error('Wrong number of parameters in DSpace constructor');
0050   end
0051