code: @Override
  	public boolean satisfies(Match match, int... ind)
  	{
  		int x = -1;
  		for (MappedConst mc : con)
  		{
  			if (mc.satisfies(match, ind)) x *= -1;
  		}
  		return x == 1;
  	}
docs: Checks if constraints satisfy in xor pattern.
  @param match match to validate
  @param ind mapped indices
  @return true if all satisfy