code: @Override public void addMaxCardinalityRestriction(Class<? extends D> domain, int max)
  	{
  		if (multipleCardinality)
  		{
  			this.maxCardinalities.put(domain, max);
  		} else
  		{
  			if (max == 1)
  			{
  				if (log.isInfoEnabled())
  				{
  					log.info("unnecessary use of cardinality restriction. " +
  					         "Maybe you want to use functional instead?");
  				}
  			} else if (max == 0)
  			{
  				this.maxCardinalities.put(domain, max);
  			} else
  			{
  				assert false;
  			}
  		}
  	}
docs: -------------------------- OTHER METHODS --------------------------