function varargout = and(varargin)
%AND (overloaded)
% 
% z = and(x,y)
% z = x & y
%
% It is assumed that x and y are binary variables (either explicitely
% declared using BINVAR, or constrained using BINARY.)
%
% See also SDPVAR/OR, SDPVAR/XOR, SDPVAR/NOT, BINVAR, BINARY

switch class(varargin{1})
 case 'char'
 
 z = varargin{2}; 
 xy = []; 
 for i = 3:nargin 
 xy = [xy varargin{i}];
 end

 varargout{1} = (xy >= z) + (length(xy)-1+z >= sum(xy)) + (binary(z));
 varargout{2} = struct('convexity','none','monotonicity','none','definiteness','none','model','integer');
 varargout{3} = xy;

 case {'sdpvar','double','logical'} 
 
 varargout{1} = vectorizedlogic(@and,varargin{:});

 otherwise
end